Explore types.pl
Discover users based on their interests
CS Prof. at IST, University of Lisbon / Researcher at INESC-ID
Postdoc@Purdue, PhD@IISc, lover PL, Verification, and Synthesis. Has opinions which are personal.
PhD Student at UC San Diego. 🏳️🌈
Program Synthesis 🤝 Human-Centered Design
🇫🇷 PhD candidate in Bergen 🇳🇴
Programming Languages, Generic Programming, Array Programming, Compilers.
Retired Go player, but always up for a game!
Software dev and PL nerd, lover of Asian cuisine, heel hooks, storytelling. Cycling advocate. I lived in Taipei🇹🇼 for 10 years.
I am a Senior Lecturer (Associate Professor) in the School of Computing Science at the University of Glasgow.
phd student @ mit, interested in probabilistic programming! 🏳️🌈
You like types, I like types, everybody likes types (for president)
