Eran Yahav

@yahave

Professor @TechnionLive & CTO @Tabnine

+ Follow

Moshe Vardi

@vardi

My mastodon account: @[email protected]

+ Follow

Nate Foster

@natefoster

professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.

+ Follow

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

+ Follow

Elena Glassman

@roboticwrestler

Human. Asst Professor of CS at Harvard University @HSEAS. @RadInstitute Fellow '21-22. MIT EECS PhD'16. hci.social/@eglassman @elglassman.bsky.social

+ Follow

Ben Delaware

@ghostofbendy

Professor at @PurdueCS; dad; occasional cancer fighter🎗️. Tweets about programming languages and formal methods, but mostly bird pictures.

+ Follow

Aws Albarghouthi 🍉 أوس

@awsto

computer scientist, professor, palestinian

+ Follow

Derek Dreyer

@herrdreyer

Get used to disappointment.

+ Follow

Loris D'Antoni

@lorisdanto

A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.

+ Follow

TU Wien

@tu_wien

Mit rund 26.000 Studierenden ist die TU Wien Österreichs führende Bildungsinstitution auf den Gebieten Naturwissenschaft und Technik.

+ Follow

ACM SIGSOFT

@sigsoft

The ACM Special Interest Group on Software Engineering provides a forum to discuss principles, practices, and new research results in software engineering.

+ Follow

Dan Grossman

@djg98115

Advocate of oh pun science

+ Follow

Jürgen Cito

@citostyle

Visiting Researcher @Google, CS Professor @tu_wien, previously @Meta, @MIT_CSAIL @UZH_ch, research on explainability and programming methodology

+ Follow

SPLASH Conference

@splashcon

SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25

+ Follow

Ranjit Jhala

@ranjitjhala

curmudgeon

+ Follow

Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵

@rgiacobazzi

Professor of Computer Science: Theory of computation, computers, languages and their semantics

+ Follow

Hasan F. Enişer

@hfeniser

Applied Scientist @AmazonAlexa PhD from @mpi_sws_ AI Safety, Program Analysis, LLM4Code

+ Follow

Matteo Maffei

@matteo_maffei

Professor @SecPrivTUWien @tu_wien, Codirector @CSecCenter and @SecInt_at, Coordinator @SpyCoDe_At @FWF_at, and PI at @SBA_Research. @ERCGrantees, @ERC_Research

+ Follow

Isa

@ailpaca

+ Follow

European Research Council (ERC)

@erc_research

European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue ideas at the frontiers of knowledge. 🦋erc.europa.eu.

+ Follow

Lingming Zhang

@lingmingzhang

Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4Code

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

+ Follow

Numair Mansur

@numair_mansur

Applied scientist at @AWS | Interests: AI, Automated Reasoning, Formal Methods, Static Analysis, Software Eng., Testing, & Security | PhD in CS from @mpi_sws_

+ Follow

Jonathan Aldrich

@jaldrichpl

Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.

+ Follow

Alastair Donaldson

@afd_icl

Professor of Programming Languages at Imperial College London

+ Follow

Guido Salvaneschi

@guidosalva

Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.

+ Follow

Laura Titolo

@laura_titolo

Research Scientist At NIA/NASA Langley👩🏻‍💻 ~ Mum of 2 👨‍👩‍👧‍👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸

+ Follow

Burcu Kulahcioglu Ozkan

@burcu_at_world

Assistant Professor in Software Engineering at @serg_delft at TU Delft.

+ Follow

Michael Schwarz

@93mschwarz

PhD Student in Computer Science @TU_Muenchen working on Static Program Analysis. Also at: bsky.app/profile/93msch…

+ Follow

ISSTA Conference

@issta_conf

The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis

+ Follow

Suguman Bansal

@sugumanbansal

Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci

+ Follow

ECOOP’24 Conference

@ecoopconf

European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24

+ Follow

Manuel Rigger

@riggermanuel

bsky.app/profile/mrigge… Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.

+ Follow

Arthur Correnson

@corrensonarthur

PhD Student at CISPA. On a mission to verify program verifiers in Coq 🐓

+ Follow

Talia Ringer 🟣 🎗️

@taliaringer

Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

+ Follow

Satnam Singh

@satnam6502

Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}

+ Follow

Nikolaj Bjorner

@bjornernikolaj

+ Follow

Peter O'Hearn

@peterohearn12

Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.

+ Follow

Static Analysis Symposium

@symposiumsas

31th International Static Analysis Symposium, co-located with @splashcon #SAS2024

+ Follow

NSAD at SPLASH 2024

@nsad_workshop

The 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD), co-located with @splashcon

+ Follow

Jordan Samhi

@jordansamhi

Research Scientist at the University of Luxembourg 🎓🇫🇷 Software Engineering and Software Security

+ Follow

Programming Languages Mentoring Workshop

@plmentoring

PL Mentoring Workshop at POPL, PLDI, ICFP, and SPLASH.

+ Follow

Christoph Hochrainer

@hochra1ner

ZK crusher at @tu_wien

+ Follow

Dorra BEN KHALIFA

@dbenkhal

Associate Professor in Computer Science at ENAC

+ Follow

ASE 2024

@ase_conf

The 39th IEEE/ACM International Conference on Automated Software Engineering | #ASE2024 | CORE A* | #SoftwareEngineering

+ Follow

Type Theory Forall

@ttforall

Making Type Theory, Programming Languages and Formal methods more accessible! typetheoryforall.com

+ Follow

ivangavran

@ivan00gavran

+ Follow

VCLA at TU Wien

@vclatuwien

Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * vcla.at

+ Follow

Tobias Nießen

@tniessen_

PhD student @tu_wien, TSC member @nodejs, prev @Cloudflare @UNB @UniHannover, born at 362ppm, he/him

+ Follow

anjali

@fakeagnu

🏳️‍🌈 she/her PhD student @uwcse

+ Follow

Rosa Abbasi

@rosaabbasi

Ph.D. student at MPI-SWS

+ Follow

Ryan Tjoa

@ryantjoa

+ Follow

Greta Dolcetti

@greta_dolcetti

+ Follow

Alex Kavvos

@lambdabetaeta

computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni

+ Follow

kangheep

@kanghee_p

+ Follow

Hadar Frenkel 🎗

@frenkel_hadar

senior lecturer @ubarilan formal methods & logics u.cs.biu.ac.il/~frenkeh3/

+ Follow

Yannick Forster

@yforster_cs

@[email protected]

+ Follow

Artem Sevastopolsky

@asevastopolsky

PhD student @ TUM visual computing & articifial intelligence lab, working on digital humans, ex-{Samsung AI, Skoltech}

+ Follow

Igor Konnov | konnov.phd | security*formal 🧐

@k0nn0v

independent security and formal methods researcher

+ Follow

Maria Christakis

@mchri5taki5

professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!

+ Follow