@xkcd.com
@izzywestbury.bsky.social
Calling the shots for @triplemcricket while on leave from @RoyalAirForce | Ex- @Middlesex_CCC skipper | @LordsTaverners 🏃🏻♀️
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@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.
@geomblog.bsky.social
Director, Center for Tech Responsibility@Brown. FAccT OG. AI Bill of Rights coauthor. Former tech advisor to President Biden @WHOSTP. He/him/his. Posts my own.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@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/
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@vaishs.bsky.social
Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
@ccanonne.github.io
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@johanjeuring.bsky.social
Professor of Software technology for learning and teaching, Utrecht University
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@emeryberger.bsky.social
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.
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@onierstrasz.bsky.social
OO Evangelist since 1981. Soul polisher at feenk.com. Emeritus professor at www.oscar.nierstrasz.org
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@markguzdial.bsky.social
Professor in CSE, Information, and Education at U-Michigan. Director of PCAS https://lsa.umich.edu/computingfor. Computing Ed Researcher, blogger, dad. https://computinged.wordpress.com/
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@arunab.bsky.social
Associate Professor of Computer Science at Stony Brook, here for academic chatter but also memes and snark.
@andygillku.bsky.social
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@rsidd120.bsky.social
Computational biology at IMSc Chennai. Regulatory genomics, chromatin, evolution, ML and health.
@rrwilliams.bsky.social
professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc. i'll let you know when P != NP is proved (and when it's not)
@mnemonic.bsky.social
Lawyer, author, EFF's first hire, Godwin's Law creator (he/him). Retweeting!=endorsing. I tell jokes here, mostly. My opinions here don't necessarily represent any employer or any client. You may have known me as @sfmnemonic on Twitter.
@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.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app