Francesco Ranzato
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@aseconf.bsky.social
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@plrg-bristol.bsky.social
This is the account of the Programming Languages Research Group at the University of Bristol. https://plrg-bristol.github.io/
@mattthieulemerre.bsky.social
Researcher at CEA LIST, working on abstract interpretation of systems language
@albertobaccini.bsky.social
Professor of Quantitative studies of science, University of Siena, Italy. One of the founders of http://roars.it
@carlbergstrom.com
UW biology prof. I study how information flows in biology, science, and society. Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b LLM course: https://thebullshitmachines.com Corvids: https://tinyurl.com/mr2n5ymk I don't like fascists. he/him
@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, 🌹 🇺🇦 🟣
@emanueledosualdo.com
TT Professor in Computer Science @unikonstanz.bsky.social formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social. Music enthusiast
@yoshuabengio.bsky.social
Full professor at UdeM, Founder and Scientific Advisor at Mila - Quebec AI Institute, A.M. Turing Award Recipient. Working towards the safe development of AI for the benefit of all. Website and blog: https://yoshuabengio.org/
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@icseconf.bsky.social
ICSE is the premier conference in software engineering Other social media accounts: X: https://x.com/icseconf (but you need to be logged in to X) Facebook: https://www.facebook.com/icseconf/ Main website: https://conf.researchr.org/home/icse-2025
@drfeifei.bsky.social
Prof (CS @Stanford), Co-Director @StanfordHAI, Cofounder/CEO @theworldlabs, CoFounder @ai4allorg #AI #computervision #robotics #AI-healthcare
@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/
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@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
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@liblit.bsky.social
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@normalesup.bsky.social
Compte officiel de l'École normale supérieure | PSL - Membre de l'Université PSL
@yzfang.bsky.social
Program verification/analysis, software engineering, and programming languages. PhD Student at University of Southern California. Opinions are my own.
@naumsmogers.bsky.social
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@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
@onierstrasz.bsky.social
OO Evangelist since 1981. Soul polisher at feenk.com. Emeritus professor at www.oscar.nierstrasz.org
@etanter.bsky.social
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@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.
@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
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM