37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
PhD student working on program synthesis. https://ziteng.wang/
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Associate Professor of Computer Science at Michigan State University
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
