Barry Jay
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
@casillic.bsky.social
Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
@teuber.bsky.social
Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
@xmal.bsky.social
Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023) Web: https://cbaquero.github.io/web/
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@colinhales.bsky.social
Neuroscientist/Engineer. Researcher at the University of Melbourne. Mission: the creation of inorganic brain technology for machines that learn and handle novelty in the manner of natural intelligence. Main expertise: Brain electromagnetism.
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@caterinaurban.bsky.social
@aslanix.bsky.social
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@azhenley.bsky.social
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft https://austinhenley.com/
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@vineethk.bsky.social
Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@davidjustodavid.bsky.social
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.
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@shriram.bsky.social
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.
@roydanroy.bsky.social
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst. Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@steven.murdoch.is
Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/