RiSE Team @ MSR (@rise_msr) Twitter Followers • TwiCopy

Mike Dodds

@miike

Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.

+ Follow

Reyhan

@reyhaneh

Assistant Professor of @plfmse at @IllinoisCS, Director of Intelligent CAT Lab (go.illinois.edu/IntelligentCAT), PhD @UCIbrenICS, @Google PhD Fellow

+ Follow

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

Sam Tobin-Hochstadt

@samth

Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]

+ Follow

Neha

@neharungta

Applied Science Director, AWS @[email protected]

+ 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

Thomas Zimmermann

@tomzimmermann

Chancellor's Professor and Bren Chair at UC Irvine. ACM Fellow. IEEE Fellow. Previously at Microsoft Research.

+ Follow

Loris D'Antoni

@lorisdanto

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

+ Follow

Panagiotis Mpakos

@pmpakos14

Good Kid, M.A.A.D City

+ Follow

Austin Henley

@austinzhenley

Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft

+ Follow

marcelo

@mnaeraxr

Not too high entropy, not too low entropy, just complex enough.

+ Follow

Kristopher Micinski

@krismicinski

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

+ Follow

cλbai

@_cybai

Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him

+ Follow

Kirshanthan Sundararajah

@kirshanthan

Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC

+ Follow

Jooyong Yi

@jooyong_yi

+ Follow

🥢 Jon 🍲

@ionathanch

Jon(athan)? Chan 🏳️‍🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @ionchy.ca on bsky

+ Follow

ナベリーヌ

@napoleon_na

フリーランスのWebプログラマー / フルリモート / 最近は PHP・React・Flutter・GraphQL をメインで使っています。馬が好き。社会人院生。

+ Follow

Guannan Wei

@guannanwei

Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social

+ Follow

Abolfazl Karimi

@karimiabolfazl

+ 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

Victor Olet

@victorolet

#ChemEng #Chemistry #CompChem PhD Candidate @CurtinUni | Generating green liquid #biofuels | Gold Microsoft Student Ambassador | 2023 @windowsinsider MVP

+ Follow

pzdrk

@pzdrki

+ Follow

KC Sivaramakrishnan

@kc_srk

Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.

+ Follow

Alexa VanHattum

@avanhatt

Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] avh.bsky.social

+ Follow

Shaswat Prabhat

@shaswatprabhat

Coder, Reader, Writer

+ Follow

Anush Krishna V

@anush_krishna_v

ML Engineer @Metabob | MLOps | AI Researcher (AI4SE) | MS Data Science @RIT

+ Follow

Talia Ringer 🟣 🎗️

@taliaringer

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

+ Follow

Nikolaj Bjorner

@bjornernikolaj

+ Follow

Ningning Xie

@xnningxie

Having fun with types! @UofTCompSci @GoogleDeepMind

+ Follow

Nikhil Swamy

@lambdanik

+ Follow

Jeff Dean

@jeffdean

Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...

+ Follow

Mehmet Keçeci, Physicist

@mkecheci

Physicist (Completed the dissertation phase of the Ph.D. in Physics) 🧑‍🔬, Reviewer, Author 📚, Teacher & Lecturer 👨‍🏫, Occupational Safety Specialist (OSS)

+ Follow

Parsa

@sighpaaa

+ Follow

Tolalp

@tolalp3988

+ Follow

Frilaul

@frilaul87445

+ Follow

Godha Pallavi

@godhapallavib

+ Follow

Alehanderoo

@traderverdi

+ Follow

Zhe Ye

@0xlf_

PhD student @BerkeleyRDI | CN @LEAFERx

+ Follow

Tuirxea

@tuirxea24792

+ Follow

Andrew Kato

@kahhhto

Student and researcher in linguistics @ UC Santa Cruz.

+ Follow

Sirius Jiang

@kylstfhik4xnfuz

+ Follow

Olive

@olive778271

+ Follow

Infinity

@c0limit

Mathematics and computer science enthusiast

+ Follow

Jiahao Zhang

@jiahaozhang2002

CS PhD student @Vanderbilt Prev. @SUSTechSZ @notredame

+ Follow

Eleni T

@elenit75778706

+ Follow

Gloytiski

@gloytiski70869

It is better to chase after the wind than to wait for the wind to come

+ Follow

私は私のために泣く

@toniatomorrow

我一直觉得人是活在额外里的无论是性学业事业是这些以外的东西才能构筑一个真实的自我似乎只有在这以外的时刻自我那家伙才肯露面否则只会淹没在无数的生存中一旦收集的足够多那些声称找到自我的名字都会模糊到一块去

+ Follow

MichMach

@mich0_0mach

Just here for cool stuff

+ Follow

babysbreath

@babysbreat95651

+ Follow

clhong1248

@carinalhong

to love math is to see the face of God AMS Morgan & Schafer Prize; KHS & Rhodes Scholar Math PhD+JD @ Stanford Law; Neuro @ Oxford & Gatsby; Math+Physics @ MIT

+ Follow