Neil Adit @neiladit.bsky.social Research @ Meta. PhD @ Cornell.
www.neiladit.com
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Peli de Halleux @pelikhan.bsky.social Working on genaiscript / LLM / GenAI . Formerly DeviceScript, JACDAC, MakeCode for micro:bit and others. Opinions are my own.
Rohan Baijal @rohanblueboybaijal.bsky.social Robotics PhD @ UW | IITK, CMU
Wandering musician with a beach ball
Tyler Han @thanandnow.bsky.social PhD @ UW
Yuzhou Fang @yzfang.bsky.social Program verification/analysis, software engineering, and programming languages.
PhD Student at University of Southern California.
Opinions are my own.
andrew! @ancheung.bsky.social he/him
i study programming languages @ ucsd cse.
trans rights forever! 🏳️⚧️
ninehusky.github.io
Andre Ye @andreiskiii.bsky.social Incoming PhD @ MIT EECS. ugrad philosophy & CS @ UWa
Kabir Ahuja @kabirahuja2431.bsky.social PhD student @uwnlp.bsky.social
Yihong Zhang @yihozhang.bsky.social Programming languages and database systems.
Safwan Diwan @safwandiwan.bsky.social a human on planet earth (hopefully in space one day 🚀)
cs ms/phd student @ the university of washington doing some pretty cool protein stuff
occasional science fiction writer
(the alya initiative coming eventually)
Neela Kausik @neelakausik.bsky.social comp arch phd @uwcse.bsky.social
Harine Ravichandiran @harineravi.bsky.social Robotics PhD @uwcse | Formerly Overland AI, @Waymo & @Stanford
Mikey Saugstad @ismikey.bsky.social Research Scientist, UW CS
Lead developer, projectsidewalk.org
rosario scalise @romesc.bsky.social UW robotics // Learning & Control
this account exists for me to give more visibility to the work my friends do
Taylor Sorensen @taylor-sorensen.bsky.social NLP PhD Candidate at UW
Jonathan Hayase @jon.jon.ke 5th year PhD student at UW CSE, working on Security and Privacy for ML
Ashton Larkin @adlarkin.bsky.social Robotics PhD student at @utah.edu - https://adlarkin.github.io/
Ian Magnusson @ianmagnusson.bsky.social Science of language models @uwnlp.bsky.social and @ai2.bsky.social with @PangWeiKoh and @nlpnoah.bsky.social. https://ianmagnusson.github.io
@guilinhu.bsky.social @guilinhu.bsky.social 
Interactive Data Lab @idl.uw.edu Visualization & data analysis research at the University of Washington. In a prior life was the Stanford Vis Group. https://idl.uw.edu
UW CREATE @uwcreate.bsky.social Center for Research and Education on Accessible Technology and Experiences at the University of Washington. CREATE's mission is to make technology accessible and to make the world accessible through technology.
Zhaofeng Wu @zhaofengwu.bsky.social PhD student @ MIT | Previously PYI @ AI2 | MS'21 BS'19 BA'19 @ UW | zhaofengwu.github.io
Xinyan Velocity Yu @velocityyu.bsky.social NLP/ML @usc, @uwcse. she/her.🏹🤖👩🏻🍳. velocitycavalry.github.io. Multilinguality, retrieval, refining LLMs…
Sean Munson @smunson.com Professor of Human Centered Design & Engineering at the University of Washington, co-Director of UW ALACRITY Center. Personal informatics & design of collaborative health interventions. Mountains, nature, & casual photography. Views my own. smunson.com
@patrickyin.bsky.social @patrickyin.bsky.social robotics & ai phd uwcse, undergrad berkeley, patrickyin.me
Nabil Omi @nabo.dev PhD Student @UWCSE. Formerly @MSFTResearch
Mo Zhou @mozhou7.bsky.social Postdoc at University of Washington, PhD at Duke University. Working on deep learning theory.
Xiang Fan @xiangfan.bsky.social https://xiangfan.io/
Mateo Guaman Castro @mateoguaman.bsky.social Working on robot learning @uwcse. https://mateoguaman.com/
Miranda Wei @mirandawei.bsky.social recent @uwcse phd grad. digital security, privacy, safety, and how all of the above are sociotechical. she/they.
Rock Pang @rockpang.bsky.social CS PhD @UWCSE | hci, human-ai, accessibility, the societal impact of tech | Prev @MSFTResearch Intern, @Macalester
Website: https://homes.cs.washington.edu/~ypang2/
Anshul Nasery @anshulnasery.bsky.social PhD student at UW CSE | Prev PreDoc at Google, Undergrad at IIT Bombay
Advait Bhat @advaitmb.bsky.social PhD student @uwcse.bsky.social ⁕ I work in HCI and NLP :)
» advaitmb.com
Jared Hwang @jaredhwang.bsky.social PhD Student at UW CSE @makeabilitylab.bsky.social @uwcse.bsky.social
🚃 Working on urban informatics
🔗 https://jared-hwang.github.io
Makeability Lab @makeabilitylab.bsky.social Human-AI research lab directed by Jon E. Froehlich in the UW Allen School of Computer Science. We specialize in HCI & applied ML for high-impact problems in accessibility, computational urban science, & augmented reality. makeabilitylab.cs.washington.edu
Tsvetshop NLP @tsvetshop.bsky.social Yulia Tsvetkov’s Group at the University of Washington @uwnlp.bsky.social
@labinthewild.bsky.social @labinthewild.bsky.social 
UW Robotics @uwrobotics.bsky.social https://robotics.cs.washington.edu/
Abhilasha Ravichander @lasha.bsky.social Tenure-track faculty at the Max Planck Institute for Software Systems
Previously postdoc at UW and AI2, working on Natural Language Processing
Recruiting PhD students!
🌐 https://lasharavichander.github.io/
Ben Shapiro (he/him) @benshapi.ro Prof @ University of Washington
Social Futures Lab @socialfutureslab.bsky.social We are the Social Futures Lab at UW CSE! We are reimagining social and collaborative systems to empower people and improve society.
https://social.cs.washington.edu/
Ravi Mangal @ravimangal.bsky.social Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
Gabriel Vivas @gabssnake.bsky.social Web platform, static analysis
Shashank Kirtania @shashankkirtania.bsky.social
https://5hv5hvnk.github.io/
Bill Pugh @bill-pugh.bsky.social Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Gowtham Kaki @gowthamkaki.bsky.social Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security.
https://gowthamk.github.io
Luke Zettlemoyer @lukezettlemoyer.bsky.social Professor at UW; Researcher at Meta. LMs, NLP, ML. PNW life.
Sam Madden @samrmadden.bsky.social MIT Professor in EECS, Co-Founder Cambridge Mobile Telematics, Dad
Ananya Harsh Jha @ananyahjha93.bsky.social https://ananyahjha93.github.io
Second year PhD at @uwcse.bsky.social with @hanna-nlp.bsky.social and @lukezettlemoyer.bsky.social
Mego Tan @tannal.github.io 💻 Programming 💿 Free software 🎹Music
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Ethan Cecchetti @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
Aditya Parameswaran @adityagp.bsky.social Prof @ UC Berkeley. Codirector @ EPIC data lab. Cofounder @ Ponder (Acq. Snowflake). Interested in data, systems, and people. More at: adityagp.net
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
MeTaMiNd 🧬⚙️🧠⚛️🎨🧘♂️🧙♂️ @metamind.bsky.social AI+XR+BCI+ML, hax0r, CogSci, Science, Philosophy, Biology, Physics, Psychology, Databionics, TechWizard, Futurist, SpaceRanger, ArT, Meditation, Visionary, Inventor, Technology, Computer, Neuroscience, Machine Learning, Transhumanism, TaiChi Yoga QiGong
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Sammy Thomas @sgt-pl.com 
Michael Hind @michaelhind.bsky.social IBM Distinguished RSM, working on AI transparency, governance, explainability, and fairness. Proud husband & dad, Soccer lover. Posts are my own.
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Tom Magrino, PhD @tommagrino.com My day job is making arbitrary sequences of bits others told a computer reappear on command, quickly and at scale.
@tmagrino@discuss.systems
https://threads.net/t.magrino
Tiago @tiferrei.com he/him • Computer Scientist @ Radboud University
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Amanda @amanda.systems I’m usually on @amanda@social.spejset.org (Mastodon).
PhD student of programming languages working on the Polonius borrow checker for Rust. Terrible philosopher. Mid Marxist. Technically a librarian.
Yann Herklotz @yannherklotz.com Postdoc at EPFL working with interactive theorem provers for hardware design.
Katherine Mohr @kmohr.bsky.social mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater. 
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-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
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Mike Samuel 🟣 @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
@aishwarya2.bsky.social @aishwarya2.bsky.social phd student at stanford ai lab, working on reinforcement learning for healthcare. 🐶 and 🏃🏽♀️ enthusiast
Abhinav Gyawali @abhizer.com Engineer @ Feldera
Incoming CS PhD Student at UT Austin
https://abhizer.com
Robert Zhang @robertzhang.bsky.social CS PhD student @ UT Austin
robertzhang.vercel.app
ellie without an 'e' @eleftasia.bsky.social Eleftheria Anastasia Beres | she/her/hers
PhD Student @uwcse.bsky.social
Pinglay Lab
http://eleft.asia
Adriana Sejfia @adrianasejfia.bsky.social Assistant Professor in Software Engineering at the University of Edinburgh. CS PhD from University of Southern California. She/her.
👩🏻💻 asejfia.github.io
Sri @nsri.bsky.social Math. Haskell. Program Analysis.
Henry W. @discountdimsum.bsky.social Ph.D Student @ University of Washington
Cybersecurity & Molecular Biology
I dabble in AML sometimes
henrycwong.com
Manish Shetty @slimshetty.bsky.social PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
Stefano Tessaro @stefanotessaro.bsky.social Professor at the University of Washington, Paul G. Allen School of Computer Science & Engineering @uwcse.bsky.social
Working on cryptography, theoretical computer science, and computer security.
https://homes.cs.washington.edu/~tessaro/- D Stefan Savage @docsavage.bsky.social
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Praharsh Suryadevara @praharsh.bsky.social Physics PhD Student @ NYU
Tom Henzinger @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 
Jeff Belgum @belgum.bsky.social Engineering at OpenAI. Formerly working on Fuschia at Google- Y Yining Zhang @yining.me PhD student @vtcomputerscience.bsky.social
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Bandhav Veluri @bandhav.bsky.social PhD @uwcse.bsky.social, Visiting @AIatMeta, IIT Roorkee, Open to full-time research positions starting Spring/Summer 2025
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Lef Ioannidis @elefthei.bsky.social PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Su-In Lee @suinlee.bsky.social Boeing Endowed Professor in the Allen School of Computer Science & Engineering at the University of Washington. Interested in AI/ML, computational biology, and AI in medicine. https://suinlee.cs.washington.edu/
Xinyi Zhou @xinyizhouxz.bsky.social PostDoc @uwcse.bsky.social; ✨ Trustworthy, multimodal, human-centered AI; 🌐 https://xinyizhou.xyz/
Samantha Dreussi @sdreussi.bsky.social professional silly goose 🪿 PhD student at UW in computer architecture 👩💻 Purdue bscmpe '23 🚂