Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Fernando Pérez-García
fepegar
Senior Research Machine Learning Engineer
at Microsoft Research Health Futures.
@microsoft Cambridge, United Kingdom