Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
Emre Can Sertöz
emresertoz
Assistant professor of mathematics at Leiden University.
Leiden University Leiden, Netherlands
Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
Alex Wendland
AlexWendland
Python developer, Mathematician and Data specialist. I am currently an engineer at Man Group and I am a student a Georgia Tech on the OMSCS course.
Man Group London
PreviousNext