Discover users based on their interests
Lecturer at LFCS, University of Edinburgh. I leave these toots, I do not know for whom. I no longer know what they are about.
Formal Methods, Verification, Concurrency, etc.
i like topology, tea and type theory
Christian, FP/formal verification enthusiast, and friendly neighborhood nerd. CS ‘23 at Caltech. axellang.github.io
PhD student in logic. Isabelle/HOL user. Lean dabbler. she/her
the ACM Special Interest Group on Programming Languages
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
Math / Socialism / Computers / Gender Abolition / Baths
Trying to graduate before I end up in the psych ward again.
Hmu if you're in LA <3
Lecturer in Computing, University of Kent. FP and compilers.
Γ, me ⊢ simps(type systems)
Γ ⊢ me
Plays Factorio, Noita, Diplomacy, Tetris, Rhythm games
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.
Interested in logic, type theory, proof assistants and formal methods
World Builder, Programmer, Type Theory Tinkerer. ✨
typesetting my epitaph in latex but it won't compile >:(
colouring outside the lines
Doing ecological MINTy things for a living, and Haskell for fun.
Haskell-themed shitposting alt for @turion. Don't believe anything I write. You're welcome to laugh out loud wherever you are though.
Ph.D. candidate at Penn. Incoming assistant professor at Portland State University. Programming Languages, Formal Verification, Interactive Theorem Proving.
Vellvm 'n stuff.
ask for twitter!
21 • He/Him • Computer Scientist @ UCL PPLV