Mathematical logic, software safety, static typing down under. Worked on seL4.
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG| Allergic to syntax without semantics
University of Paderborn Paderborn
Alexander Praetorius
serapath
Gradually migrating away from Microsoft GitHub due to their efforts to centralize (i.e. concentrate power) development tools and the open source community
DatDot & WizardAmigos UK & Nomading
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK