Robert Zhang @0xrobertzhang
CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource robertzhang.vercel.app Austin, TX Joined April 2020-
Tweets199
-
Followers261
-
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) 🧵
🧷🧷 @APaucek27406
1 Followers 234 Following
Ashley @Ashley87228
8 Followers 459 Following I’m Dutch, now a U.S. citizen, MAGA supporter, and also a fashion designer
Diana Chen @crm1104
186 Followers 5K Following
Moovee @Moovee192367
0 Followers 150 Following
Micron Notes @NotesMicron
0 Followers 1 Following
McTerte @McTertezgvN_2b
34 Followers 1K Following
Jintao Huang @JintaoHuang9
61 Followers 710 Following PhD student working on blockchain security. Views are mine.
Jinjing Liang @JinjingLiang
928 Followers 786 Following Building @stably_ai and sharing 10x engineering tips | @ycombinator @Google @cornell
Ofir Press @OfirPress
15K Followers 7K 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.
Josh @JoshPurtell
2K Followers 5K Following Ars longa Reinforcement learning as a service. We’re hiring
SusanHubbard @v3j8XmONEx8O0
84 Followers 2K Following
かどまつゆき @kadomatsuy30409
57 Followers 3K Following
Dong Chen @jameschennerd
88 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
235 Followers 714 Following Systems, Security, Formal methods. 2nd-year Ph.D. student
Yihong Zhang @yihongz_bot
742 Followers 741 Following PhD student at @uwplse and @uw_db . Also on 🦋.
Karen Schroeder @schroeder_ke
589 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 223 Following FHEA | Lecturer | Computer Sciences | Machine Learning
クマムシ.exe @SugarHigh_bin
383 Followers 5K Following
休 @realBigTreeLeaf
0 Followers 2K Following
Cong Ma @ponyponymm
39 Followers 648 Following PhD student at the University of Waterloo. https://t.co/53B7z56iTO
Ore @orembbbb
2 Followers 393 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 872 Following 👨💻Developer & Entrepreneur. 💜 https://t.co/oPJsWWNL57 🧶 https://t.co/SR20ZBG5pI 🎉 https://t.co/l1zD7NP4LN
odammmmd @odmfnaaae
5 Followers 169 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 603 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 268 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 956 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; Bluesky @guannanwei.bsky.social
Nicholas Lourie @NickLourie
1K Followers 867 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
547 Followers 2K Following Software Engineer || Mobile App Developer || Dart || Flutter || Manchester United
fiiiish @csfiiish
1 Followers 757 Following
Betty 🐦 @bzbetty
114 Followers 262 Following Application Development Practice Lead @ Enlighten Designs
D_abderrahmene @deffaf_ab
12 Followers 256 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
Jack Jingyu Zhang @jackjingyuzhang
484 Followers 701 Following PhD student @jhuclsp | student researcher @AIatMeta | AI alignment & safety🪢 Previously: @Microsoft intern, @JHUCompSci undergrad.
Math, Inc. @mathematics_inc
6K Followers 0 Following A new company dedicated to autoformalization and the creation of verified superintelligence.
Conference on Languag... @COLM_conf
5K Followers 6 Following https://t.co/GhGCMEoHU8 Conference: October 7, 2025
Ofir Press @OfirPress
15K Followers 7K 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
48K Followers 361 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
827 Followers 521 Following @BasisOrg co-founder & Collaborative Intelligent Systems team lead | PhD @mitbrainandcog | sister @c_mackevicius
Yihong Zhang @yihongz_bot
742 Followers 741 Following PhD student at @uwplse and @uw_db . Also on 🦋.
Karen Schroeder @schroeder_ke
589 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 178 Following Cornell Computer Science, Assistant Professor. Program synthesis, AI
Eric Hayden Campbell @EricTheWry
293 Followers 303 Following Formal Methods Researcher at UT Austin PL, Verification, Synthesis, Networking, Databases Cornell PhD, 2024
Programming Languages... @ProgPapers
89 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
390 Followers 620 Following PhD Student at MIT working in program synthesis. Interested in abstraction learning, probabilistic programming, and cognitive science. she/her
Shraddha Barke @shraddha_96
678 Followers 889 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
Sophia Andren @razorbelle
974 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
2K Followers 118 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Atharva Sehgal @atharva_sehgal
103 Followers 253 Following PhD Student at @UTAustin. Visiting Student Researcher at @Caltech
Shankara Pailoor @ShankaraPailoo2
88 Followers 57 Following UT Phd + Head of ZK Tooling at @VeridiseInc
Zayne Sprague @ZayneSprague
375 Followers 180 Following Ph.D. student at 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 777 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Microsoft PROSE Team @ProseMsft
720 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 646 Following PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
Kuldeep S. Meel @ksmeel
2K Followers 322 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 229 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 335 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 867 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 480 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
955K Followers 765 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
900 Followers 271 Following Assistant Professor@UVA CS, PhD@UT Austin; Research: Advancing Neural–symbolic approaches for software reliability
University of Alberta @UAlberta
98K Followers 477 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
484 Followers 701 Following PhD student @jhuclsp | student researcher @AIatMeta | AI alignment & safety🪢 Previously: @Microsoft intern, @JHUCompSci undergrad.Trends for United States
You might like
