Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS & RPTU /
Computer Science /
Interested in Formal Methods / Distributed Systems / Concurrency Theory
Germany
KishoreGanesh
kishore-ganesh
Tearing down pillars of abstraction | @MLH Fellow
University of Southern California
Guannan Wei
Kraks
Assistant professor at Tufts; programming languages, formal methods, compilers
Tufts University
Lucas C. Cordeiro
lucasccordeiro
Lucas C. Cordeiro is a Full Professor in the Department of Computer Science at the University of Manchester/UK and an Associate Professor at UFAM/Brazil.
The University of Manchester, UK Manchester
Alex Reinking
alexreinking
Research Scientist/Engineer @adobe. Halide maintainer. Build systems masochist. Views are my own.
@adobe Cambridge, MA
Numair Mansur
numairmansur
Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems
Amazon Web Services Berlin, Germany
Carlos Toxtli
toxtli
PhD, Prof, Director of the Human-AI Empowerment Lab at Clemson University, Dad
Microsoft, Google, Amazon, Snapchat, GitHub, United Nations, Freelancer United States
Vinu
vinutah
NVIDIA Research. CS PhD.
Programming Systems + FHE + LLM Machine Learning Research.
NVIDIA Grad Fellow, Priviously ARM
NVIDIA Salt Lake City
Pantazis Deligiannis
pdeligia
Principal Software Engineer at Microsoft CoreAI • PhD from Imperial College London • Previously R&D at Microsoft Research
Microsoft Seattle, WA