Valeria de Paiva
vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.
@ToposInstitute Cupertino, CA
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
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
Peter Trommler
trommler
Professor of Theoretical Computer Science at Technische Hochschule Nuernberg - Georg Simon Ohm.
Technische Hochschule Nuernberg Nuernberg, Germany
Will Yager
wyager
I do hardware (circuitry, embedded systems, FPGAs, fabrication), security (reversing, cryptography), and CS (type theory, automata theory, formal verification)
Dominic Orchard
dorchard
Co-director of Institute of Computing for Climate Science,
University of Cambridge and
Senior Lecturer at the School of Computing,
University of Kent
Canterbury, UK