Aoyang Yu
permui
Senior in Computer Science, interested in programming language theory.
Zhejiang University Hangzhou, China
Ulrik Buchholtz
UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham.
❤️ Homotopy Type Theory/Univalent Mathematics
University of Nottingham
Joey Eremondi
JoeyEremondi
Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.
University of Regina Regina, Saskatchewan, Canada
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
finch
plaidfinch
founder & director @starlingcyber; previously: @penumbra-zone, @boltlabs-inc, @GaloisInc, ABD PhD in PL @ UPenn
@starlingcyber
Patrick Bahr
pa-ba
Associate Professor in Programming Languages
IT University of Copenhagen Copenhagen, Denmark
Frederik Hanghøj Iversen
fredefox
Languages, functional programming, type theory and logic.
Penneo Copenhagen, Denmark
Martin Escardo
martinescardo
Professor of Theoretical Computer Science
University of Birmingham United Kingdom
PreviousNext