Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Talia Ringer @taliaringer.bsky.social 
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Michael McLoughlin @mmcloughlin.com Mathematical Software Engineer- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social 
Jocelyn Chen @jqchen.bsky.social 
Ilya Sergey @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
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Maurice Herlihy @mauriceh.bsky.social Prof at Brown CS. 
Sibin @sibin.bsky.social Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Opinions/RTs personal.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Boris Köpf @socialboris.bsky.social Researcher at Microsoft Azure
boriskoepf.de
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
@rpiskac.bsky.social @rpiskac.bsky.social 
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "Yam Yam" by No Vacation
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Jeff Belgum @belgum.bsky.social Engineering at OpenAI. Formerly working on Fuschia at Google
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
@mwwhalen.bsky.social @mwwhalen.bsky.social 
Ezio Bartocci @eziobartocci.bsky.social Prof. @ TU Wien, Cyber-Physical Systems,
Chair of TrustACPS Doctoral College
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Toby Murray @tobycmurray.bsky.social 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
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Shriram Krishnamurthi @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.
Jonathan Aldrich @jonathanaldrich.bsky.social 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.
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Rahul Gopinath @rahul.gopinath.org Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Necmiye Ozay @necozay.bsky.social Professor of EECS and Robotics at University of Michigan. Control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy. More info @ http://web.eecs.umich.edu/~necmiye/
Emery Berger @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. 
@berndfinkbeiner.bsky.social @berndfinkbeiner.bsky.social Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
@myvardi.bsky.social @myvardi.bsky.social 
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Swarat Chaudhuri @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
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Somesh Jha @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.
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app