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
Associate Professor of Computer Science at Michigan State University
aka. Hengcheng Zhu | Incoming PostDoc @cispa.de | Software Engineering Researcher | https://scholar.henryhc.net
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
The Next 700 Programmers.
A little constraint logic programming language and associated community of researchers!
(he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
https://ionathan.ch
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Incoming tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
I work on Programming Languages at Microsoft Research
Researcher at CEA LIST, working on abstract interpretation of systems language
Lecturer (Assistant Professor) at Loughborough University.
Working on Software Engineering, Programming Languages, and Formal Methods.
🙌 Looking for PhD and visiting students.
Official Bluesky page of the Computer Science Department at ETH Zurich. Collected media and news from and about the department.
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/
Likely just stalking people for doomscrolling content, and posting 😺s
Algorithmist | CS Prof. @ IISc Bangalore | Past: Georgia Tech, IIT Kharagpur
Algo-rindam Youtube: https://www.youtube.com/@ArindamKhan
LinkedIn: https://www.linkedin.com/in/arindam-khan-445ab615/
Working towards the safe development of AI for the benefit of all at Université de Montréal, LawZero and Mila.
A.M. Turing Award Recipient and most-cited AI researcher.
https://lawzero.org/en
https://yoshuabengio.org/profile/
Professor a NYU; Chief AI Scientist at Meta.
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
PhD student working on program synthesis. https://ziteng.wang/
Assistant Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture.
Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
Sr. Distinguished Engineer @nvidia
Assistant Professor @ Harvard SEAS specializing in human-computer and human-AI interaction. Also interested in visualization, digital humanities, urban design.
Research Scientist, Google DeepMind / Ex-academic / Deep learning to help people write code / ❤️s:🐱🐶☕️🍕
PL and Security research at VU Amsterdam https://gleissen.github.io
⚠️I’m on the job market for 2026!⚠️
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Presidential Young Professor at the National University of Singapore.
https://www.comp.nus.edu.sg/~umathur/
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
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 🫡
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Asst. Prof. Drexel Dept. Of Computer Science @drexeluniv | Research on mining software repositories, empirical software engineering
https://preethac.github.io/
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
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.
Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security.
https://gowthamk.github.io
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Internet measurement, tech policy, and privacy researcher. Asst. Prof. at UIowa.
Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
CS professor at UT Austin, does research in programming languages & formal methods.
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Computer Friend, Not a Bird
www.philipzucker.com
Principal Scientist at Stealth Software.
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Professor at Aarhus University
https://cs.au.dk/~amoeller
Assistant Prof. at UC San Diego. Helping people write better software.
Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia.
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
PhD Student in CMU in Societal Computing
https://jpolitz.github.io
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Assistant Professor, Software Engineering, UMass Amherst! madelineendres.com
Automated reasoning @ AWS.
https://dddejan.github.io/
https://andrewblinn.com
abstractJuiceFactory
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
CTO at Databricks and CS professor at UC Berkeley. https://people.eecs.berkeley.edu/~matei/
Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
Human-centered AI #HCAI, NLP & ML. Director TRAILS (Trustworthy AI in Law & Society) and AIM (AI Interdisciplinary Institute at Maryland). Formerly Microsoft Research NYC. Fun: 🧗🧑🍳🧘⛷️🏕️. he/him.
Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Associate Prof. of Databases @ Carnegie Mellon.
Interpreters, compilation, concurrency, and debugging tools.
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
