Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.

site reliability engineer, little guy with a piano

I make machines learn real good.

GHC developer. PhD in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. all views and claims are my own. (he/him)

'puter things. Average Lisp enjoyer. Disgruntled software minimalist.
 In search of the ultimate epic bee metaphor.

Researcher in Computer Science at MPI-SWS, formerly Marie Curie fellow at Imperial College. Verification, concurrency, looking at things from different angles. Music enthusiast.

Computer Scientist @Inria FP and type theory enthusiast Coq/Rocq lead dev

Conference for fans of the Racket programming language and language-oriented programming

Fourth-year CS undergrad at the Johns Hopkins University. Interested in language semantics, program analysis, formal verification, etc. Personal website: [url=https://robertzhang.vercel.app]https://robertzhang.vercel.app[/url] LinkedIn: [url=https://www.linkedin.com/in/~rz]https://www.linkedin.com/in/~rz[/url] Twitter: [url=https://twitter.com/jiaxuanzhang01]https://twitter.com/jiaxuanzhang01[/url]

Hi! I'm Izzy! I'm a genderfluid neurodivergent fox girl. Fuck you, I’m valid, and I’m fucking awesome! And if you wanna tell me I’m fucking awesome go right ahead, I’d love that! God gave me ADHD because he knew I'd climb to the heavens and kill him.

Research Institute on Verified Trustworthy Software Systems (VeTSS) jointly hosted by the University of Surrey and Imperial College London.

likes (homotopy, cubical) type theory and category theory. PhD student at Chalmers

Rust, Linux

CS PhD student at Northeastern in formal methods / security

Undergrad at CMU! Interested in formal methods with an emphasis on SAT Solving, Type Theory, and Category Theory! (They/Them)

Software engineer in NYC into types/functional programming/etc. Dad, poodle dad, runner, mathemagician (∂∂ = 0), cinephile, uplifting gourmandizer.

Verification of concurrent systems in Coq @{Penn, MPI, AWS}