Mathieu Fehr
math-fehr
PostDoc at the University of Cambridge. Working on compilers and formal verification.
University of Cambridge Cambridge, UK
Vojtech Cima
vojtechcima
Artificial Intelligence; Machine Learning; HPC; Cloud & Virtualization
@It4innovations @substantic
Emery Berger
emeryberger
Professor of Computer Science, UMass Amherst; Amazon Scholar. Co-director of @plasma-umass, Scalene, Slipcover, Coz, Hoard, and more. Creator of CSrankings.
University of Massachusetts Amherst Amherst, MA
Chris Cummins
ChrisCummins
Member of Technical Staff @ Axiom Math. Previously Meta FAIR, DeepMind, Google, Intel.
Palo Alto, California
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Saurabh Raje
smr97
PhD student working on High Performance Computing (HPC)
University of Utah Salt Lake City
Jan Gaura
geordi
I work with bunch of people @mrlvsb on computer vision stuff.
VŠB - Technical University of Ostrava Ostrava
Tomáš Gavenčiak
gavento
Researcher at @acsresearch working on AI theory of alignment, game theory, and complex LLM agent interactions.
Alignment of Complex Systems Prague