Jinhua Wu
Hua-hana
PL | Formal Verification | Working on Rust verified compiler
Shanghai Jiao Tong University
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS & RPTU /
Computer Science /
Interested in Formal Methods / Distributed Systems / Concurrency Theory
Germany
Arindam Das
arindas
Specializes in distributed systems, deep learning inference and AI SaaS at scale.
@claritas-healthtech India
Jigar
jigargandhi
.NET Developer learning how to develop scalable web applications and distributed systems
Omnissa India
Antonios Katsarakis
akatsarakis
Principal Researcher @ Huawei. PhD from University of Edinburgh.
Huawei Research Edinburgh
Jorge A. Garcia
jagg-ix
Engineer, Quantum Gravity, Physics, Linux and Open Source believer. Keyboard lover.
Known universe, Solar System, Third planet
Nuno Edgar Nunes Fernandes
nunofernandes-plight
I am aformer Physics Engineer. I have a healthy passion for Computers, Computing and all related subjects. Eager to learn and help with programming skills.
Photonics Precision Technologies, The Intelligence of Information & FasterCapital Lisbon, Portugal
Margery J Doyle
astramia
Lead high-performance teams working on advanced applied research in AI/ML. While also supporting next-gen rapid acquisition methods.
Intelligent Systems Architects and Engineers, LLC San Antonio TX
PreviousNext