Maksim Levental
makslevental
DSLs, compilers, accelerator architectures, and math.
AMD Boston, Massachusetts
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London