@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@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
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@zkproofs.bsky.social
Current: Asst Professor at Penn CIS Past: Cryptographer at Aleo Crypto and computer security PhD, UC Berkeley he/him
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@akhirsch.bsky.social
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @rntz@recurse.social 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
@sainati.bsky.social
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@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.
@aaroth.bsky.social
Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
@ryanmarc.us
Assistant professor at UPenn. Database systems. https://RyanMarc.us I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus
@elefthei.bsky.social
PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@tov.bsky.social
californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@andrewhead.bsky.social
Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable. Read about my group's work at https://andrewhead.info
@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
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@taliaringer.bsky.social
@dangrossmanseattle.bsky.social
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@sholtzen.bsky.social
I like computers. assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
@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
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements