Anastasia Isychev
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
@niklasmetzger.bsky.social
@aseconf.bsky.social
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@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/
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@icseconf.bsky.social
The premier International Conference on Software Engineering. April 18-26, 2026. Official hashtag: #icse2026. https://conf.researchr.org/home/icse-2026
@abhikrc.bsky.social
Professor of Computer Science at National University of Singapore https://abhikrc.com
@yannherklotz.com
Postdoc at EPFL working with interactive theorem provers for hardware design.
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @[email protected]
@arpanbg.bsky.social
Assistant Professor at @csubc.bsky.social | Formerly at #MPI-SWS Germany, #BITS-Pilani India | arpangujarati.github.io
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@dangrossmanseattle.bsky.social
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@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.
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@caterinaurban.bsky.social
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@mlbowers.bsky.social
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
@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
@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
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@monniauxd.bsky.social
"Uncultured researcher in computer science, completely banal and mainstream." affilié à France Points Fixes he/him/whatever https://social.sciences.re/@MonniauxD https://cv.hal.science/david-monniaux
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@elglassman.bsky.social
Assistant Professor @ Harvard SEAS specializing in human-computer and human-AI interaction. Also interested in visualization, digital humanities, urban design.
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social
@kasraferdowsi.bsky.social
Senior Software Engineer @ Cubist Building robust and secure software in Rust
@taliaringer.bsky.social
@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.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@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/