
Rohan Padhye
@moarbugs
Assistant Professor at @S3DatCMU @SCSatCMU. PhD from @Berkeley_EECS. Connessiur of hot sauce.
ID: 1042652616650502144
http://rohan.padhye.org 20-09-2018 05:52:10
1,1K Tweet
2,2K Followers
527 Following

Yoram Bachrach
@yorambac
Research Scientist at Meta
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
billions of packets
@justinesherry
Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Andreas Zeller
@andreaszeller
Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
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)
Alexander Serebrenik
@aserebrenik
Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
Swarat Chaudhuri
@swarat
Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
Aws Albarghouthi 🍉 أوس
@awsto
computer scientist, professor, palestinian
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Tianyin Xu
@tianyin_xu
Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Praveen
@spandoz

Neeraj Pal
@_neerajpal
product security @Qualcomm. previously @sony_india, @iiscbangalore. Opinions are mine only. 0x74C8853A777E0EAB
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Zhijie Wang
@paul_wzj
Ph.D. candidate @UAlberta and @AmiiThinks . Working on Software Engineering and HCI. Prev. @UWaterloo . Sports Fan. Opinions are my own.
Dan G
@dangillis

Sebastiano Panichella
@spanichella
Computer Science Researcher | Teacher | Philanthropist | Free-time Actor | Tennis Lover | Storyteller. Projects: spanichella.github.io/projects.html
Lingming Zhang
@lingmingzhang
Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4Code
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Aayush Shah
@aayush_shah15
Co-founder @useblacksmith | Building the fastest way to run your CI.
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
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
Akshat Sharma
@akshat2602
hum safar main toh hai par humsafar nahi
XuX
@yufanxu
@uutah, @uf @ohiostate alumni. Go Gators! Go Bucks! Go Utes!
Shurui Zhou
@shuishuiblue
Assistant Professor @eceuoft @UofT; Ph.D @S3DatCMU
신명진
@magan2160

Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Marcel Böhme👨🔬
@mboehme_
Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
HH Sheikh Mohammed
@hh_sheikh75715

0jaswi Kumar Mishra🕊️
@0xojaxwi
Old-school Malware & Offensive Security Researcher | ⚡Kernel Pwner⚡ | Research IPv6 Blog: kr1m1nal.net
ankithooda
@ah_code_
Programmer github.com/ankithooda/ ankithooda.com
Hannah Jessica
@hannahjess47590

云微
@yunwei37
Love @xxy0xxy | Stupid, but try to keep Learning, curiosity and Courage | Creator eunomia.dev | eBPF & AI | Bring new orders and chaos!
Mansi Goyal
@mansiigoyal
ML @apple | AI @CarnegieMellon | Founder at The One in Asankhya Project | Former SDE @westerndigital Views my own.
Joseph Bejjani
@jbejjani2022
CS & Stats @ Harvard. Researching and engineering multi-agent AI systems.
favourjacob
@favourjaco81872

Hill Loveth
@lovethhill73514
Let's they be pace ❤️🫂
Valentina Tardelli
@valentinat32922

Jintao Huang
@jintaohuang9
Computer Security & Blockchain
Daeshon Jones
@daeshondjones

i
@the15thprophet

Jifeng Wu
@jifengwu2k

Lautu
@lautu937746

Truth_Sets_You_Free🇵🇸🇺🇸
@muhannedk7
humanitarian, advocates for muslim lives, and Prays for peace…
Rerjoj
@rerjoj22905

Steven greg
@stevengreg1245
I’m a Golf player
Haibin Lai
@b0ccitherock
An undergraduate student interested in HPC
Awmouvak
@awmouvak8946

aksh1618
@aksh1618
Tech Lead @ 99Acres. Interested in all things Spring, Kotlin & Android. Excited about Rust & Wasm. #BackendDev #SpringBoot #AndroidDev #Java #Kotlin #Rust
Aaron Eline
@aaroneline
Automated Reasoning Group at AWS. Working on programming languages, testing, and security. he/him
박명훈
@mhun512

Xuan XIE
@xuanxie17

Sharven Wong
@sharvenw
Assistant Professor in Software Engineering. Once a visiting scholar at Southern University of Science and Technology (Shenzhen).
lkztej
@kesjetson

!.!
@xypyth

r41zor
@r41zor

Abhishek R
@weird_ar
🔋 at ARM. Previously Adobe Inc, PhD💻 at @ETH 📚, @IITGuwahati, Ex Competitive coder. Opinions are my own
박상준
@5angjun_

Nernuj
@nernuj937

Prahaladh Chandrahasan
@pralichan
Privacy Engineering @scsatcmu.
Zelda Lockman
@lockmanzel58967

Type Theory Forall
@ttforall
Making Type Theory, Programming Languages and Formal methods more accessible! typetheoryforall.com
Sairxirsh
@sairxirsh98074
You can't be my poem, just as I can't be your dream.
Piotr
@piotr_bl
„Podróżować, doznawać wrażeń i uczyć się - znaczy żyć.”
Raveendra Kanagaratnm
@raveendra727

siddharth
@avgspacelover
sic parvis magna open.spotify.com/user/udxzcdtam…