Aarne Ranta
aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.
University of Gothenburg Gothenburg, Sweden
Robert Krook
Rewbert
PhD student at Chalmers University of Technology.
Compilers, IoT, Languages, Testing
Chalmers University of Technology Gothenburg
Jacob Jonsson
Jassob
Software engineer at @einride by day.
Hobby functional programmer and linux user by night.
@dtekcth @einride Gothenburg
Andrew Hirsch
akhirsch
Assistant Professor of Computer Science and Engineering at University at Buffalo, SUNY. I focus on programming-language techniques for concurrency and security.
University at Buffalo, SUNY Buffalo, NY
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA