Nikolaj Bjorner (@bjornernikolaj) Twitter Followers • TwiCopy

Brendan Dolan-Gavitt

@moyix

Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net

+ Follow

Nate Foster

@natefoster

professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.

+ Follow

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

+ Follow

Andreas Zeller

@andreaszeller

Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].

+ Follow

Ella Hernandez

@ella000_ella

+ Follow

Jevin Sweval

@jevinskie

KEYWORDS ➡︎ cats, hacking, reverse engineering, LLVM, binary analysis, side channel analysis, FPGAs, NFC/EMV tricks Previously Pay Security he/him

+ Follow

Zhendong Su

@zhendongsu

Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)

+ Follow

Sriharsha M S

@sriharshams

Learner and Tinkerer, #AI & #MachineLearning Specialist @awscloud. Opinions are my own.

+ Follow

Andrew Bonello

@andrewbonello

AI & Software. Comedy, Voice, Acting & Improv. Film Analysis & Reviews @FilmTagger_com. @Google @DWAnimation @Cinesite @StHughsCollege alum. Love #Golang.

+ Follow

Andrew Myers

@andrewcmyers

Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.

+ Follow

Aws Albarghouthi 🍉 أوس

@awsto

computer scientist, professor, palestinian

+ Follow

Kapil Jain

@jnkapil

building large scale distributed systems at Bloomberg , enjoy spending time with my daughter and wife! coffee lover

+ Follow

Loris D'Antoni

@lorisdanto

A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.

+ Follow

fathead

@jo_cl06

PL and Comp. Intelligence. I write software for tablets in your fav hotels

+ Follow

Fritz Obermeyer

@ftzo

Inference engineer @Positron_AI. Maintains @PyroAi. Bayesian pragmatist

+ Follow

Kristopher Micinski

@krismicinski

@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.

+ Follow

Ranjit Jhala

@ranjitjhala

curmudgeon

+ Follow

belly

@homeroharo

I love when people talk about me

+ Follow

Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵

@rgiacobazzi

Professor of Computer Science: Theory of computation, computers, languages and their semantics

+ Follow

H. M. B.

@love2read2end

CompilersOptimisation•Ontologies•DSLs(LanguageEngineering)•Scala•PhilosophyOfMath&Logic(Intuitionistic)•TypeTheories&Semantics•WebSite👇🏻LivingWittgensteinian•

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

+ Follow

Johnny Pig

@the_johnny_pig

+ Follow

Alastair Donaldson

@afd_icl

Professor of Programming Languages at Imperial College London

+ Follow

Joe Cutler

@alpha_convert

CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)

+ Follow

Denis Golovin

@backendguy

dad; 1st principle thinker; computer scientist; co-founder of automaited; backed by various VCs

+ Follow

Elias Kuiter

@ekuiter

Software Engineering Researcher at @dbsegroup

+ Follow

Suguman Bansal

@sugumanbansal

Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci

+ Follow

Jeremy Cheng

@jerrawik

+ Follow

Talia Ringer 🟣 🎗️

@taliaringer

Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

+ Follow

Satnam Singh

@satnam6502

Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}

+ Follow

Marcel Böhme👨‍🔬

@mboehme_

Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io

+ Follow

Ningning Xie

@xnningxie

Having fun with types! @UofTCompSci @GoogleDeepMind

+ Follow

Lawrence Paulson

@lawrpaulson

Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.

+ Follow

THE ROCKET MAN🌏🚀

@rocket_man_11

+ Follow

Carol

@kelly988987

#AmericanFirst #Golf #Fitnes #Yoga I'm an Asian woman, I hope you all do not discriminate against me

+ Follow

Kate Matson

@kaye_matb

Fun girl || MAGA || 🚫crypto 🚫Spamming || Pronouns are BE, REAL!

+ Follow

Michael Edward

@michael25661234

+ Follow

FLoC2026

@floc2026

+ Follow

Shreeyash Pandey

@b0jle

building instruction-less, non-von-neumann, reconfigurable computers @Vicharak_In github.com/bojle

+ Follow

Kate Evans992

@kateevans1992

I’m honest lady I’m a billionaire I came from a wealthy family I came here to help the poor people in any situation 💯🆗

+ Follow

Marian Hermiston

@hermistonm15203

+ Follow

Godha Pallavi

@godhapallavib

+ Follow

Steven greg

@stevengreg1245

I’m a Golf player

+ Follow

Ebrima

@ebrima999481

+ Follow

hao sun

@ha0_sun

Linux, eBPF verifier, PhD student@ETH Zürich

+ Follow

wangjingyi

@arkseus

I am a fan of Trump. I like to read news about Trump here. Are you also a fan of Trump?

+ Follow

unknown

@unknownnil

+ Follow

Patinnn

@saccomoney2

@elfsweetymoon ❤️

+ Follow

Jai Prakash Veerla

@jp_veerla

Google Student Researcher, PhD Candidate in Computer Science at UTA

+ Follow

sagnik

@sagnikcw

pl and compilers enthusiast | some maths and category theory on the side please

+ Follow

heydar alavi

@valker_alone

+ Follow

Satoshi Jr.

@btcgenz

Founder @bitcoingenz

+ Follow

Gabby Rose

@gabrielmar90397

hello friend's video games is the best....fun to chat with 🤩🤩🥰🥰🥰 love my country 🇺🇸

+ Follow

Dara

@dara_tourt

+ Follow

ዐውደ-ቀለም

@userresu353329

ዐውደ-ቀለም በማስሊያ የታገዘ የጽሑፍ ማምረቻ መግበር ለዐማርኛ÷ ግእዝ÷ እንግሊዝኛ÷ ፈረንሳይኛ እና ሶማልኛ ለዊንዶውዝ AWDE-QELEM Text processing tool for Amharic-G'z-English-French-Somali (Windows OS)

+ Follow