Ivan Perez, PhD
ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker
@NASA Ames Research Center / KBR San Jose, CA
Schuyler Eldridge
seldridge
Hardware compiler hacker. Sometimes RISC-V accelerator builder. PhD from @bu-icsg.
@SiFive New York, NY
Jason Gross
JasonGross
Machine Intelligence Research Institute Berkeley, California, United States
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK