Olivia Weston
Surobaki
Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and behavioural types.
University of Glasgow United Kingdom
Stefan Marr
smarr
Investigating concurrency, language implementation, and VM technology.
University of Kent Canterbury, UK
Fangyi Zhou
fangyi-zhou
Software Engineer | Programming Language Researcher
en.pronouns.page/she&they
@facebook London, UK
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
Sergey Tihon
sergey-tihon
Father. Husband. Developer. Microsoft MVP. Likes F#, 🦀 and OSS.
@epam Gdańsk, Poland
Chris Cummins
ChrisCummins
Member of Technical Staff @ Axiom Math. Previously Meta FAIR, DeepMind, Google, Intel.
Palo Alto, California
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
PreviousNext