Hila Peleg
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@ofsevit.bsky.social
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@mjskay.com
Assoc Prof Computer Science and Communication Studies at Northwestern. Infovis, HCI. Author of tidybayes & ggdist R pkgs. he/him. 🏳️🌈 https://mjskay.com/ Co-director https://mucollective.northwestern.edu Co-founder https://journalovi.org
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@gabriel-sherman.bsky.social
Ph.D. Student at the University of Utah | Computer Security https://gabe-sherman.github.io/
@keheliya.github.io
❤️ developer tools + empirical software engineering + programming languages. Pronouns: he/him. #MTL #YVR #LKA 🇱🇰🇨🇦 keheliya.github.io
@sigplan-av.bsky.social
We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences. https://sigplan.org/AV Every event we cover is available on YouTube: https://youtube.com/@acmsigplan
@vaishs.bsky.social
Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
@gok99.bsky.social
Undergrad @ NUS and walkable city enthusiast doing Programming Languages research
@aseconf.bsky.social
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@jahrim.bsky.social
PhD Student in Programming Languages at the University of St. Gallen (HSG)
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@elglassman.bsky.social
Assistant Professor @ Harvard SEAS specializing in human-computer interaction. Also interested in visualization, digital humanities, urban design.
@danielamyot.bsky.social
Software Engineering Professor, and Director of the Online Master of Digital Transformation and Innovation, University of Ottawa. Loves his family, Requirements Engineering / Modelling, Process Mining, soccer, teaching, and good craft beer.
@93mschwarz.bsky.social
PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
@r4ghav.bsky.social
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
@robertoverdecchia.bsky.social
Assistant Professor in Software Engineering. University of Florence, Italy. Empirical Research, Software Architecture, Technical Debt, Green Software, Software Testing, Life, the Universe, and Everything.
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@codyjrivera.bsky.social
Ph.D. Student doing verification research, particularly in the concurrent and systems code settings. (he/him)
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@bournez.bsky.social
Prof @Polytechnique Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@intellijidea.com
IntelliJ IDEA – the IDE for Professional Development in Java and Kotlin, by @jetbrains.com Tips: #IntelliJIDEATips New Features: #NewInIntelliJIDEA Our YouTube channel: http://jb.gg/video
@etapsconf.bsky.social
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. ETAPS 2025: May 3–8, Hamilton, Canada https://etaps.org/
@handle.invalid
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@nedsummers.bsky.social
computer scientist/mathematician at the University of Oxford amongst other things Berlin-based | he/him
@mihai.page
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@ayaankazerouni.bsky.social
I teach computer science at Cal Poly. I mostly post about research in computing education. https://ayaankazerouni.org
@ancheung.bsky.social
he/him i study programming languages @ ucsd cse. trans rights forever! 🏳️⚧️ ninehusky.github.io
@guipsp.bsky.social
PhD Student at the University of Lisbon Working on Static Resource Analysis and Probabilistic Programming Mastadon: @GUIpsp@types.pl Dorothy is my bestie
@jsimmond.bsky.social
Associate prof. at the University of Chile, interested in MDE, SW product lines, and computer science education .. feminist and Latinity co-founder https://users.dcc.uchile.cl/~jsimmond/