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
jhemann
@jhemann
Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | jhemann.bsky.social
Bill Pugh
@wpugh
Professor, software developer, maker, mentor, fire eater. Pronouns: he, him, his.
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
Nate Foster
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Bala
@balakc
Interested in Networked Systems. He/him.
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Sungdo Moon (문승도)
@sungdomo
EVP, MX System R&D Team lead @Samsung
Aslan Askarov
@aslanix
G K
@gauravkaul
VLSI|RTL|Computer Architecture| AI
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
∬ Nazif Berat
@nazifberat
Expert Generalist, a Polymath, AI-Human Interaction Designer, #DeepLearning
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.
Srinikhil Naravamakula
@manchicoffee
Builds, breaks things for @AzureCosmosDB.
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Ranjit Jhala
@ranjitjhala
curmudgeon
Sydney Gibson 🚛 🤖
@sydgibs
Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
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
Mateusz Sobieszek
@m5zs7k
@[email protected]
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
先智带动后障
@jsyczzh
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Alexa VanHattum
@avanhatt
Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] avh.bsky.social
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!
grief topos
@usetheforcing
all the things shining
Claire
@lambdaclaire
Isha Chaudhary
@ish_cha_
Ph.D. student in CS at UIUC, IITD'22, Working on making foundation models trustworthy.
Tao Lyu (Tao Lv)
@sec_tao
Ph.D. student @EPFL_en | Researching computer security
Reto Achermann
@achreto
Assistant Prof @UBC_Systopia. Former @SystemsGroupETH kms.kinesis.money/signup?referre…
afeizzzz
@xuefei1zhang
life is eat and drink
Shreeyash Pandey
@b0jle
building instruction-less, non-von-neumann, reconfigurable computers @Vicharak_In github.com/bojle
Rolph Recto
@rolphrecto
computer
Sai
@v_svk97
System security, PL
Abraham A
@codingtreats
Sasio
@sasio0oq
If a woman does not suffer from earning money, she must suffer from marriage
Zuoyan Zhang
@zuoyanzhang
Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMind
Joe Sanchez
@joesanchez1213
Peterson Nyarkoh
@nyarkohpet40976
Criepou
@criepou63109
Aron B
@724365e
Gustavus Adolphus
@__adolphus__
r41zor
@r41zor
Linda
@linda3494715506
presnel
@sport35561
Logan’s Lakers
@lakeshow_royco
Tianyi Wu
@tianyi_wu_
Ucokjui
@ucokjui7868
Bob
@zibokapi
just a geohot stan
Cryptogirl888
@cryptowolf888
Filipe Viotto
@flipviott
Ciência da computação - UEL
Utility Research Lab
@utilitylabcu
We invent and investigate digital fabrication technology with sustainability in mind as part of @cuatlas and @cuengineering. Directed by @mriveralee.
Pursuit
@pursuit227787
Daneshvar Amrollahi
@amrollahid
Computer Science PhD student @Stanford | Automated Reasoning، Formal Verification
OriginCode
@_origincode_
B.S. in Informatics @UW | Software Engineer | Chinese Linguistics | @aosc_dev
Floyd
@fumihirafu4242
Haoyu Wu
@chriswuyyy
Leesmeet
@leesmeetgicviq
Max Fan
@maxfan8
CS & Philosophy at UIUC. Proofs, types, and more!
Anders Møller
@amoellercsaudk
Co-founder @ Coana | Professor at Aarhus University ⇒ bsky.app/profile/anders…
Mohammad Rifat Arefin
@mo_rifat
CS PhD Student at @utarlington | Software Engineering | Program Analysis
Ino
@zar123612
swe, unemployed