From engineering to abstract mathematics and back
-
Jane Street
- UK
- https://blogs.ncl.ac.uk/andreymokhov/
- @andreymokhov
Neil Mitchell
ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.
Meta Cambridge, UK
Daniel Martí
mvdan
@cue-lang @cue-labs London, United Kingdom
Ghaith Tarawneh
gtarawneh
Software Engineering, Formal Methods, Verification, EDA Tools, Computational Neuroscience
Newcastle University Newcastle upon Tyne, UK
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh