Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
Samuel Teuber @ PLDI @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
Rameez @rameezwm.bsky.social Computer scientist
Niklas Metzger @niklasmetzger.bsky.social 
Mohammad Rezaalipour @mohrez25.bsky.social Postdoc @unipassauresearch.bsky.social
PhD in Informatics from @usi.ch
Homepage: mohrez86.github.io
LinkedIn: https://www.linkedin.com/in/m-rezaalipour
Mastodon: https://mastodon.acm.org/@mohrez
X: https://x.com/mohrez2019
@jdemuijnck.bsky.social @jdemuijnck.bsky.social Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
Patinnn @patinnn.bsky.social 
@heyheiko.bsky.social @heyheiko.bsky.social 
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
@ondralengal.bsky.social @ondralengal.bsky.social 
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
USI Faculty of Informatics @inf.usi.ch News and events from the Faculty of Informatics of the Università della Svizzera italiana (USI) - Lugano, Switzerland
Christoph Laaber @christoph.laaber.net Software Engineer at Telenor Linx | PhD in Computer Science
https://laaber.net
Robert Zhang @robertzhang.bsky.social CS PhD student @ UT Austin
robertzhang.vercel.app
Altin Arapi @altinarapi.bsky.social Hi I’m Altini Arapi I’m from Albania 🇦🇱 25 years old. Im gay
Erika @rrika9.bsky.social GPU compiler dev, reverse engineer, mostly in Glasgow
@rakamaric.bsky.social @rakamaric.bsky.social 
guru @shabadi.bsky.social phd student at penn | intersecting and bridging theory and practice of formal system design and autonomous agents
https://guruprerana.github.io/
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
naufalauddin @naufalauddin.bsky.social A bimbo learning programming, Haskell, Purescript and Lean4
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Filip Niksic @fniksic.bsky.social Software Engineer @ Google
Previously @ UPenn, MPI-SWS
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
David Justo @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.
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Ashish Mishra @ashishindia.bsky.social Assistant Professor @IITH | Earlier Postdocing @Purdue |
PhD, Computer Science @IIScCSA
Interested in Programming Languages, Politics, and Philosophy.
Jorge A. Pérez @perezjorgea.bsky.social Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Tiago @tiferrei.com he/him • Computer Scientist @ Radboud University
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Sasha Knop @sashaknop.bsky.social 
Haniel Barbosa @hbarbosa.bsky.social SMT solving for fun and profit. https://hanielbarbosa.com/
Also, movies. https://hanielbarbosa.com/filminhos/
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
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
maniagnosis @maniagnosis.bsky.social Tommy M. McGuire (Not that one. Nor that one.)
Coding bum, tetrapod. (he/him)
Bitterly cynical misanthrope. It's always more complicated. I apologize in advance; I tend to get too comfortable.
Called 'weird' by Kevin Kruse.
Guy Van den Broeck @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/
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
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- B . - @bakirtzisg.bsky.social https://bakirtzis.net
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Josef Widder @josef-widder.bsky.social Computer Science. Socialism. Vienna AT. Previously Paris FR, and College Station TX.
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Cedric Richter @cedrichter.bsky.social Research scientist at University of Oldenburg.
Interested in teaching machines the art of debugging.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
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
Fabio Mogavero, Ph.D. 🌍🇪🇺🇮🇹 @fabiomog.bsky.social A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
Dominic Orchard @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
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
Pinhan Zhao @pinhanzhao.com PhD Student @ UMich. Programming Languages and Automated Reasoning.
pinhanzhao.com
Luís Caires @lmcaires.bsky.social I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
Yann Herklotz @yannherklotz.com Postdoc at EPFL working with interactive theorem provers for hardware design.
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@soosmate.bsky.social @soosmate.bsky.social 
Bruce Kapron @bmkapron.bsky.social Theoretical computer scientist at University of Victoria
www.cs.uvic.ca/~bmkapron
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
WeetHet @weethet.eurosky.social Developer, researcher, programming language theory nerd
Charles Southerland @proidiot.bsky.social Like most of our world, computers don't have to suck, but we must choose improvement.
Formal Methods, F(L)OSS, math memes, general nerdiness.
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Cody Rivera @codyjrivera.bsky.social Ph.D. Student doing verification research, specializing in concurrent and systems code.
(he/him)
Yuzhou Fang @yzfang.bsky.social Program verification/analysis, software engineering, and programming languages.
PhD Student at University of Southern California.
Opinions are my own.
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
VCLA | TU Wien @vclatuwien.bsky.social The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
@rpiskac.bsky.social @rpiskac.bsky.social 
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app