Robert Zhang @0xrobertzhang
CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource robertzhang.vercel.app Austin, TX Joined April 2020-
Tweets199
-
Followers262
-
Following344
-
Likes692
CRUST-bench was accepted to @COLM_conf #COLM2025!
CRUST-bench was accepted to @COLM_conf #COLM2025!
You can read the complete citation (which is very big to paste here) at the SIGPLAN website: sigplan.org/Awards/Milner/!
An excerpt from the award citation: Her work is distinguished by extraordinary technical depth, breadth, and originality. She has repeatedly anticipated emerging trends, notably pioneering the integration of machine learning with formal methods.
Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl Dillig (@IsilDillig), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️
Just learned that @IsilDillig won the #SIGPLAN Robin Milner Junior researcher award this year! 🎈 🍾 The award goes to one outstanding mid-career PL researcher each year, and it’s hard to think of a more deserving candidate for it. Congratulations, Isil! sigplan.org/Awards/Milner/
@vardi nails it in this article: cacm.acm.org/opinion/big-te… Big Tech owes much of its success to decades of public investment in research, which is now under serious threat. Please speak up in whatever way you can: reach out to your representatives, write an op-ed, post, share...
Revoking visas to Chinese PhD students is economically shortsighted and inhumane. Most Chinese PhD students stay in the U.S. after graduation (first image, stats from 2022). They're staying and building technology in the U.S., not taking it to China. Immigrant students create…
@gregd_nlp put it so well. My sentiments exactly
@gregd_nlp put it so well. My sentiments exactly
3/3 If you’ve built a company, a career, or a product on top of that system, now is the time to speak up -- before the damage is irreversible.
2/3 Now, with Congress moving to slash NSF funding, that very foundation is at risk. CISE, the directorate that funds computing research, is facing a 65% cut. The US research ecosystem cannot survive cuts like this.
1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on.
It's been a real honor and privilege to be your PhD advisor @ShankaraPailoo2 and Ben Mariano! I am truly so proud of everything you both have accomplished.
The FY26 budget slashes NSF by 55%, which directly threatens basic research in the United States. Please call your reps NOW and tell them to reject these cuts and protect science funding. You can find them here : congress.gov/members
For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!
For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!
🚀Introducing CRUST-Bench, a dataset for C-to-Rust transpilation for full codebases 🛠️ A dataset of 100 real-world C repositories across various domains, each paired with: 🦀 Handwritten safe Rust interfaces. 🧪 Rust test cases to validate correctness. 🧵[1/6]
For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-res…
Special recognition goes to the amazing @ShankaraPailoo2 for tirelessly improving the tool over the last two years to get it to where it is today!
Super excited about this verification work that we've been doing with @RiscZero! They've using our tool to prove the determinism of circuits in their ZKVM -- it's truly exciting to see formal methods having real-world impact!!
Super excited about this verification work that we've been doing with @RiscZero! They've using our tool to prove the determinism of circuits in their ZKVM -- it's truly exciting to see formal methods having real-world impact!!
We're excited to announce that we've been awarded a grant from the @ethereumfndn to build an open-source Intermediate Representation (IR) for ZK circuit languages. We call this LLZK. Thread (1/8) 🧵

Moovee @Moovee192367
0 Followers 92 Following
Micron Notes @NotesMicron
0 Followers 1 Following
B. Northern @ZeroDarkDev
554 Followers 1K Following 🎓 CS PhD student | HPC surgeon: cut runtimes, not corners 📈 Swing trader with a compiler brain 🐧 Linux-bro warning: side effect = optimizing random parts
Biekall @Biekall4256
39 Followers 2K Following
Charlotte Gottlieb @CharlotteG77407
36 Followers 3K Following
RitaBecky @0k2yGFghUDMKM
142 Followers 3K Following
McTerte @McTertezgvN_2b
31 Followers 1K Following
Jintao Huang @JintaoHuang9
49 Followers 680 Following PhD student working on blockchain security. Views are mine.
Jinjing Liang @JinjingLiang
865 Followers 777 Following Building @stably_ai and sharing 10x engineering tips | @ycombinator @Google @cornell
Ofir Press @OfirPress
15K Followers 6K Following I build tough benchmarks for LMs and then I get the LMs to solve them. SWE-bench & SWE-agent. Postdoc @Princeton. PhD @nlpnoah @UW.
SusanHubbard @v3j8XmONEx8O0
83 Followers 2K Following
かどまつゆき @kadomatsuy30409
57 Followers 3K Following
Dong Chen @jameschennerd
85 Followers 1K Following Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
primary @primary16098765
59 Followers 4K Following
Hiroki Chen @Clap4daniel
234 Followers 715 Following Systems, Security, Formal methods. 2nd-year Ph.D. student
Yihong Zhang @yihongz_bot
741 Followers 737 Following PhD student at @uwplse and @uw_db . Also on 🦋.
Karen Schroeder @schroeder_ke
587 Followers 586 Following Operations @BasisOrg, building a new kind of research org. Neuroscientist and engineer 🧠🔧 AI, BCIs, comp neuro. @ https://t.co/oDAu03oqSL
Matt Keenan @negabinary_
28 Followers 106 Following
Usman Ahmad @usmanahmaad50
162 Followers 225 Following FHEA | Lecturer | Computer Sciences | Machine Learning
クマムシ.exe @SugarHigh_bin
385 Followers 5K Following
休 @realBigTreeLeaf
0 Followers 2K Following
Cong Ma @ponyponymm
38 Followers 646 Following PhD student at the University of Waterloo. https://t.co/53B7z56iTO
Ore @orembbbb
2 Followers 394 Following
Mobina Khademi @Mobinakhademi
4K Followers 8K Following Sr. Data Scientist and AI Researcher 👩💻 | Geek and Tech enthusiast🚀 | SFF fan | Learn, Share and Grow!🌱 #ai #machinelearning #deeplearning
Daniel Suarez Dev👨... @DanielSuarezDev
487 Followers 873 Following 👨💻Developer & Entrepreneur. 💜 https://t.co/oPJsWWNL57 🧶 https://t.co/SR20ZBG5pI 🎉 https://t.co/l1zD7NP4LN
odammmmd @odmfnaaae
5 Followers 170 Following A passionate young student of CS and Logic is excited to share their learnings from books. :))
Leo @leotaozeng
6 Followers 123 Following
Rodrigo Mahlmeister @ro_mahl
3K Followers 606 Following PhD student in Political Science at Duke University – via BSc Economics (FEA-USP) & MSc Political Science (DCP-USP) | political economy of inequality
wuc9521 @wuc9521
84 Followers 1K Following
walison matheus ferre... @math_soon3
0 Followers 262 Following
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Sean Paul Payne Dinwi... @sdin_dev
0 Followers 63 Following
Guannan Wei @GuannanWei
1K Followers 959 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Nicholas Lourie @NickLourie
1K Followers 866 Following Better empirical methods for deep learning. PhD at @nyuniversity (@CILVRatNYU). Advised by @kchonyc and @hhexiy. Prev: @allen_ai. I build things. 🤖
Kaiyu Yang @KaiyuYang4
4K Followers 2K Following Research Scientist at @Meta Fundamental AI Research (FAIR), New York. Previously: Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
Balogun Murtadho @BalogunMurtadho
544 Followers 2K Following Software Engineer || Mobile App Developer || Dart || Flutter || Manchester United
fiiiish @csfiiish
1 Followers 757 Following
Betty 🐦 @bzbetty
112 Followers 260 Following Application Development Practice Lead @ Enlighten Designs
D_abderrahmene @deffaf_ab
11 Followers 253 Following computer science student | frontend web developer
Mofei Zhang @zmofei
1K Followers 74 Following software engineer @ meta, compiling your @reactjs code so you can forget it
Conference on Languag... @COLM_conf
5K Followers 6 Following https://t.co/GhGCMEoHU8 Abstract submission: March 20, 2025
Ofir Press @OfirPress
15K Followers 6K Following I build tough benchmarks for LMs and then I get the LMs to solve them. SWE-bench & SWE-agent. Postdoc @Princeton. PhD @nlpnoah @UW.
RISC Zero @RiscZero
49K Followers 362 Following Building high-performance ZK systems to power the next era of computing. Building @boundless_xyz
MSR 2025 @msrconf
3K Followers 257 Following 22nd Working Conference on Mining Software Repositories
Vinod Grover @vinodg
3K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Emily Mackevicius @e_mackevicius
825 Followers 518 Following @BasisOrg co-founder & Collaborative Intelligent Systems team lead | PhD @mitbrainandcog | sister @c_mackevicius
Yihong Zhang @yihongz_bot
741 Followers 737 Following PhD student at @uwplse and @uw_db . Also on 🦋.
Karen Schroeder @schroeder_ke
587 Followers 586 Following Operations @BasisOrg, building a new kind of research org. Neuroscientist and engineer 🧠🔧 AI, BCIs, comp neuro. @ https://t.co/oDAu03oqSL
Kevin Ellis @ellisk_kellis
2K Followers 176 Following Cornell Computer Science, Assistant Professor. Program synthesis, AI
Eric Hayden Campbell @EricTheWry
294 Followers 303 Following Formal Methods Researcher at UT Austin PL, Verification, Synthesis, Networking, Databases Cornell PhD, 2024
Programming Languages... @ProgPapers
83 Followers 3 Following Programming languages: object-oriented programming, functional programming, logic programming. (new submissions to https://t.co/Fb8gxovwu3, not affiliated with arXiv)
Maddy Bowers @mattlbowers
386 Followers 619 Following PhD Student at MIT working in program synthesis. Interested in abstraction learning, probabilistic programming, and cognitive science. she/her
Shraddha Barke @shraddha_96
677 Followers 887 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
Sophia Andren @razorbelle
972 Followers 2K Following co-founder and technical director of https://t.co/sAtgSap1Y6, “the alternative agency”
Matt Keenan @negabinary_
28 Followers 106 Following
VeTSS @VetSS_RI
80 Followers 124 Following Research Institute on Verified Trustworthy Software Systems (VeTSS) at University of Surrey (director: B. Dongol) & Imperial College (director: @azalearaad)
Isaac Newton Institut... @NewtonInstitute
15K Followers 410 Following News from the UK's premier mathematical institute. We bring the world's top scientists together to collaborate in advanced research programmes.
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Atharva Sehgal @atharva_sehgal
101 Followers 249 Following PhD Student at @UTAustin. Visiting Student Researcher at @Caltech
Shankara Pailoor @ShankaraPailoo2
86 Followers 56 Following UT Phd + Head of ZK Tooling at @VeridiseInc
Zayne Sprague @ZayneSprague
376 Followers 181 Following Ph.D. student NYU. My interest is in NLP, RL and CogSci research focusing on reasoning in AI models. (he/him)
Guardrails AI @guardrails_ai
3K Followers 4 Following Building the guardrails around large language models. Discord: https://t.co/PkSO3mMUvH
OCaml @ocaml_org
2K Followers 16 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
Ankush Desai @ankushpd
2K Followers 778 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Microsoft PROSE Team @ProseMsft
719 Followers 19 Following Official account for the ⚡ PROSE research/engineering team at @Microsoft. PROSE ships in Excel (Flash Fill), Visual Studio (IntelliCode), and more. 🚀
Robert Balicki (👀 ... @StatisticsFTW
2K Followers 1K Following @isographlabs framework author. Currently @Pinterest. Ex-React Data Team @Facebook. Co-organizer of #RustNYC. I like Rust, Relay, stats, GraphQL, React, JS
Yuka Ikarashi @c20
3K Followers 648 Following PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
Kuldeep S. Meel @ksmeel
2K Followers 320 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
Anish Athalye @anishathalye
4K Followers 226 Following cto @cleanlabai • prev phd @mit_csail • research at https://t.co/MdknnUE4C6 • blog at https://t.co/oGOMQyhxv5 • open-source at https://t.co/VawMWMr84F
Tom Silver @tomssilver
3K Followers 334 Following Assistant Professor @Princeton. Developing robots that plan and learn to help people. Prev: @Cornell, @MIT, @Harvard.
Infer @fbinfer
1K Followers 10 Following A static analysis platform for Java, Kotlin, C, C++, Objective-C, Erlang, C# (via Infer#), and Hack.
Nicholas Lourie @NickLourie
1K Followers 866 Following Better empirical methods for deep learning. PhD at @nyuniversity (@CILVRatNYU). Advised by @kchonyc and @hhexiy. Prev: @allen_ai. I build things. 🤖
Veridise @VeridiseInc
5K Followers 473 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Yann LeCun @ylecun
949K Followers 764 Following Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
Institute for Foundat... @MLFoundations
1K Followers 2K Following NSF AI Institute with researchers from @UTAustin, @UW, @WichitaState, @MSFTResearch, @UCBerkeley, @UCLA, @sfiscience, @Stanford, @Caltech, @ASU
Kaiyu Yang @KaiyuYang4
4K Followers 2K Following Research Scientist at @Meta Fundamental AI Research (FAIR), New York. Previously: Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
Rosanne Liu @savvyRL
46K Followers 1K Following (On mat leave.) Cofounded & running @ml_collective. Host of Deep Learning Classics & Trends. Research at Google DeepMind. DEI/DIA Chair of ICLR & NeurIPS.
Wenxi Wang @WenxiWang4
892 Followers 270 Following Assistant Professor@UVA CS, PhD@UT Austin; Research: Software Engineering and Security, Formal Methods and Machine Learning;
University of Alberta @UAlberta
99K Followers 478 Following We are #UAlberta! Always seeking, always challenging and, most of all, always leading with purpose. This account is monitored Monday - Friday, 8 a.m. - 5 p.m.
Jack Jingyu Zhang @jackjingyuzhang
481 Followers 692 Following PhD student @jhuclsp | student researcher @AIatMeta | AI alignment & safety🪢 Previously: @Microsoft intern, @JHUCompSci undergrad.