Zachary Tatlock
@ztatlock
Finding nails, building hammers.
Prof at UW Allen School (CSE)
@[email protected]
ID: 332999427
https://ztatlock.net 10-07-2011 20:10:46
1,1K Tweet
1,1K Followers
478 Following
Anup Rao
@anuprao
Professor of Computer Science at University of Washington
Washington State DOT
@wsdot
Official Washington State Department of Transportation Twitter account. For road hazards and emergencies, please call 911.
Dr. Lauren Bricker, at my cat’s service
@brickware
Geek Generator and bike rider among other things.
Aggelos Biboudis
@biboudis
Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Nate Foster
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Carlo Angiuli
@carloangiuli
Beware of the Cantor tar-pit. he/him
Rodrigo Fonseca
@rodrigo_fonseca
@[email protected] on mastodon. Sr Principal Research Manager at Azure Research; Adjunct Associate CS prof, Brown; RT does not mean endorsement. Views my own.
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Jan Gray
@jangray
Joseph Darcy
@jddarcy
OpenJDK developer at Oracle, floating-point fancier, marathoner, fast walker, episodic photographer. Views expressed may or may not be held by any person or org
Azalea Raad
@azalearaad
Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.
Haichen Shen 📜 🦇🔊
@shenhaichen
Co-founder @Scroll_ZKP | We are hiring!
Elba Garza
@heyelbs
Latina 🇲🇽🇺🇸 Assistant Teaching Prof @uwcse. Computer Architect. ADHD-PI wrangler. Veteran. Former DREAMer. Subtitles user 24/7. Personal opinions, obvs.
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
Wim Vanderbauwhede
@wim_v12e
Functional programmer, Perl/Raku hacker, FPGA/GPU/Manycore compiler writer, Professor in Computing Science at Glasgow University he/they [email protected]
Aws Albarghouthi 🍉 أوس
@awsto
computer scientist, professor, palestinian
ashish mishra
@aegisashish
Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
Derek Dreyer
@herrdreyer
Get used to disappointment.
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Ardi Madadi
@swissardi
PhD Student @ Software Security @maxplanckpress (#MPI_SP), Obi-Wan to @samkaufman's Qui-Gon Jinn #3 @ben_kushigian fan
max.rss
@tekknolagi
Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd proud owner of shru.gg mastodon.social/@tekknolagi
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Andrew K. Hirsch
@andrewkhirsch
Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Ranjit Jhala
@ranjitjhala
curmudgeon
Kirshanthan Sundararajah
@kirshanthan
Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
James Larus
@jameslarus
Off Twitter for the foreseeable future @[email protected]
Guannan Wei
@guannanwei
Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Azadeh Farzan
@azadehfarzan
Computer Science Professor
Duckki Oe
@duckkioe
Static Code Analysis Software Engineer. I developed security vulnerability detectors for many programming languages like C/C++/Java/JavaScript/PHP/Solidity/etc.
Saikat Dutta
@saikatdutta2012
Asst. Prof. @CornellCIS Past: Postdoc UPenn @CIS_Penn PhD UIUC @IllinoisCS @plfmse
Sydney Gibson 🚛 🤖
@sydgibs
Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Justin Becker
@geekmantheboss
I fiddle with computers for money.
NWS Seattle
@nwsseattle
Official Twitter account for the National Weather Service Seattle. Details: weather.gov/nws_x
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Maya Cakmak
@mayacakmak
Dan Petrisko
@pencan94
PhD student @UW CSE via UIUC. Passionate about open-source ASIC design, cute animals and board games
Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
david cao
@cao_sh
he/him
Ben Greenman
@ben_greenman
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Gül Calikli
@gulcalikli
Lecturer (Assistant Prof.) in Software Engineering, (Empirical SE, Human Aspects in SE, Program Comprehension) University of Glasgow. @UofGlasgow @GlasgowCS
Alexa VanHattum
@avanhatt
Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] avh.bsky.social
Eli Rosenthal
@ezrosent
I work at Google, views are my own | hobby projects at github.com/ezrosent | he/him
Yao Li
@lastland0
He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Nikolaj Bjorner
@bjornernikolaj
Ben L. Titzer
@titzerbl
Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Marisa "Long Middle Name Looks Cool" Kirisame
@marisaverymoe
github.com/MarisaKirisame
Reto Achermann
@achreto
Assistant Prof @UBC_Systopia. Former @SystemsGroupETH kms.kinesis.money/signup?referre…
FPTalks
@fptalksannounce
Pang Wei Koh
@pangweikoh
Assistant professor at @uwcse and visiting research scientist at @allen_ai. Formerly @StanfordAILab @GoogleAI @Coursera. 🇸🇬
Anders Møller
@amoellercsaudk
Co-founder @ Coana | Professor at Aarhus University ⇒ bsky.app/profile/anders…
Poorva Garg
@poorvagarg11
Computer Science Ph.D. student at UCLA
The Thinking Monkey 🇮🇱
@abu_al_banat
Kong. Silverback. Thinker. More human than you realize. #apewisdom #animalrights #planetoftheapes
Jake Vossen
@jakevossen5
visionOS UI Frameworks Engineer @ Apple
Sangeeta Chowdhary
@schowdhary02
Researcher @AMD. Ph.D. @Rutgers. Compilers and Runtimes for accelerators.
Max Slater
@the_numbat
Computer Graphics, Programming, Math, OCaml, C++
Ruijie Fang
@ruijiefang
To Mastodon: @[email protected] and back. X-denialist and Twitter-luddite. Tweets locked to avoid bots.
Vishal Canumalla
@vcanumalla
phd at stanford, prev at uw cse
Saul Shanabrook
@sshanabrook
Starting PL PhD at UW in 2025. Python OS scientific computing world @ Quansight and Lineapy open for consulting
Varun
@varun10p
@uwcse bs/ms | 20
David H Bailey
@math_scholar
I research mathematics, computer science, finance and the mysteries of the universe.
Sam Westrick
@shwestrick
assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler github.com/mpllang/mpl :: shwestrick.bsky.social
David Tarditi
@davetarditi
Compiler and programming languages researcher. Working on quantum compilers at IonQ. Side gig making C programs safer with Checked C. All opinions my own.
Bo-Yuan Huang
@b_y_huang
Dorra BEN KHALIFA
@dbenkhal
Associate Professor in Computer Science at ENAC
MaPLE Lab (Applied PL)
@appliedpl
Methods and Programming Languages Lab. Tweets about: research practice, culture, and findings; higher education; tech.