Associate Professor in Logical Foundations and Formal Methods
-
University of Cambridge
- Cambridge, Cambridgeshire, UK
- http://www.jonmsterling.com
- @jonmsterling@mathstodon.xyz
Highlights
- Pro
The Links Programming Language
links-lang
Links is a functional programming language designed to make web programming easier.
J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
Jason Hu
HuStmpHrrr
PhD student at McGill University
https://gitlab.com/JasonHuZS
McGill University Montreal, QC
Aarne Ranta
aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.
University of Gothenburg Gothenburg, Sweden
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Mario Guzman
marioaguzman
Maker of Music Widget, Music MiniPlayer, Music Remote & QuickTune for Apple Music on macOS.
Maker of PDX Transit for macOS, iOS, and watchOS.
Portland, Oregon
Paul Lessard
PaulLessard
Currently based in San Francisco, CA, USA.
I'm an Honorary post-doctoral researcher at the Centre of Australian Category Theory.
USA
Lisa Hofmann
lihofmann
I'm a theoretical linguist in Stuttgart, working in formal semantics, with interest in experimental and computational pragmatics.
Uni Stuttgart
Dominic Verity
dom-verity
Category Theorist and programmer by day, bad drummer by night.
Macquarie University North Ryde, Sydney, NSW 2109, Australia
Niek Veldhuis
niekveldhuis
Professor of Assyriology at UC Berkeley; member of the @oracc steering committee; senior fellow of the Berkeley Institute of Data Science.
UC Berkeley
Institute of Computing for Climate Science
Cambridge-ICCS
Institute of Computing for Climate Science at the University of Cambridge
PreviousNext