Noam Zilberstein @NZComplete
Recovering tech worker turned PhD student @CornellCIS. PL, Logic, Formal Verification cs.cornell.edu/~noamz Joined April 2014-
Tweets131
-
Followers192
-
Following91
-
Likes681
The Call for Presentations of TPSA26 colocated with @poplconf is open popl26.sigplan.org/home/tpsa-2026 Come and present your work, even in progress, whether you are an academic or in industry!
On my way to POPL! Excited to meet many people I haven’t seen in some time and to hear @NZComplete’s talk on Demonic Outcome logic, joint work with me, D Kozen, and J Tassarotti! Noam will be on the academic market next year, come listen to some of the cool stuff he’s been doing!
Consider submitting to the *first* POPL workshop on the theory and practice of static analysis: popl25.sigplan.org/home/tpsa-2025 h/t @NZComplete @AzaleaRaad This should be a lot of fun.
The list of talks for the Formal Methods for Incorrectness workshop (co-located with POPL in Jan) is now available! We have a really great program spanning logics, program analysis, types, security/hyper-properties, and more. Hope to see you there! popl24.sigplan.org/home/incorrect…
Institutions are making 10x returns in crypto. How? They have elite tooling. Now, you do too. Presenting RAINMAKER. DeFi, Supercharged. ✅ never pay ANY gas ✅ 3-4x more yield ✅ pro-grade MPC security ✅ on the go, MOBILE ✅ auto-airdrop farming Exclusive rewards w/code RAIN
@ilyasergey Only if you can prove that they’re incorrect!
@mgrnbrg I'm really happy with my Uplift desk and haven't had any malfunctioning issues after 2+ years. It wasn't cheap, but they gave me a discount just because I emailed and asked (YMMV)
I'm excited to be organizing a workshop on incorrectness reasoning with @AzaleaRaad at POPL this year. If you work on incorrectness, consider submitting a talk! popl24.sigplan.org/home/incorrect…
That was quite the fun day in London at the incorrectness logic workshop in @ucl . Thanks @NZComplete @alexandra8silva for organizing this! Jules is assuring post-workshop activities very vigorously at the local pub. cc: @AzaleaRaad @HerrDreyer @carolin2_718281 @benno_stein
@HilaCodes Thank you for inviting me!
@rgiacobazzi @alexandra8silva @AmazonScience We're familiar with this work and are definitely interested to see if there are overlaps! We have so far not explored connections between our approach and abstract interpretation, but would like to do so in the future and local completeness will probably we central!
I am very excited about working on developing new program logics to reason about correctness and incorrectness with @NZComplete, supported by a gift from @AmazonScience! #AmazonResearchAwards
Two faculty members, Fred Schneider, the Samuel B. Eckert Professor of Computer Science, and Alexandra Silva, professor of computer science (@cs_cornell), have received Amazon Research Awards (ARA) (@AmazonScience). Read more: bit.ly/3LschKb
@alpha_convert This is pretty much what I used to do as my day job dl.acm.org/doi/10.1145/34…
@satnam6502 @HerrDreyer Well, you know, that’s just like their opinion, man
@HerrDreyer @alexandra8silva Many new requirements for program analysis have arisen in the time since Hoare Logic was introduced including the need to reason about computational effects and incorrectness (programs with bugs). Outcome Logic makes all of this possible in a single logical foundation.
I'm pleased to announce that our paper "Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning" (with @HerrDreyer and @alexandra8silva) has been accepted to OOPSLA! Preprint: cs.cornell.edu/~noamz/files/p…
@jvanegue @AzaleaRaad Sounds great!
@jvanegue Makes sense! The examples in the paper have each write paired with a unique read, so the bad outcome occurs in every interleaving and therefore under-approximation is not needed. Do you have other examples where the bad outcome only occurs in some interleavings?
Omar Jatoi @omarjatoi
12 Followers 465 Following Software Engineer @NVIDIA. Previously @GroqInc, @recursecenter, @Lyft.
Lone Elm @loneelmcapital
3K Followers 2K Following
Katherine Mohr @kmohr_
129 Followers 321 Following MIT BS '23 and MEng '24, Stanford PhD '?? your friendly neighborhood PL enjoyer she/her
Leo Lampropoulos @LeoLambro
1K Followers 614 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Hedy Jim @JoaquinaCa33693
43 Followers 918 Following
levyn @vernallworks
1K Followers 7K Following going all-in on ai. running towards asi. not stopping till we get there. tank vIlIgh, qama’wIj nI’be’mo’
keesha @KeeshaBrown96
547 Followers 6K Following The wind is free to come and go, and we will meet when we are supposed to meet. If you decide to be brilliant, there is no mountain to block you, and no sea to
Fahim Hamid @fahimhamid_
4 Followers 150 Following cs student working on simulation, compilers and graphics
Isabella Johnson mia @bellaJohnsonmia
131 Followers 706 Following 📯 CEO of my own life 🗂️Account Manager ⌛️Financial Coach 🚀95% winning rate
Tunort @Tunort33M_zX
43 Followers 1K Following
Tosyshe @TosysheK7M
44 Followers 4K Following
Rohit Dhawan @dhawan_rohit
103 Followers 438 Following Technologist, passionate about API’s, speaks about regulation and Fintech, writes on LinkedIn
Mooly Sagiv @SagivMooly
3K Followers 4K Following CEO of @Certora and a chair of software systems at @TelAvivUni, Co-Founder of @Summit_Defi
Amirali Ebrahim-zadeh @ZadehAmirali
15 Followers 107 Following Researcher at University of Michigan, CSE Sharif University of Tech Graduate Love Formal Methods, Programming Languages, and Analytic Philosophy :")
Chad Brewbaker @SMT_Solvers
2K Followers 2K Following Any sufficiently advanced technology is indistinguishable from magic. - Arthur C. Clarke #ChadDrivenDevelopment
Tristian Tanner @mfhbauhfk
255 Followers 273 Following Life has taught us that love does not consist in gazing at each other but in looking outward together in the same direction. Interests: diving.and traveling.
naughtyslave @naughtysla40868
7 Followers 244 Following I could be your naughty slave here🥰🥰😘💦🍆💦 Just DM for Fun
Readwithaziz @ilovetotrave
223 Followers 5K Following
SusieJudith @wgIwAluHT55YJ1
67 Followers 7K Following
ax @AosenX
12 Followers 536 Following
guru @guruprerana
198 Followers 658 Following phd student at penn - concerned about all forms of synthesis and verification for autonomous agents
Marios Papachristou @papachristoum
675 Followers 1K Following Assistant Professor at @ASU @WPCareySchool PhD from Cornell CS ex: @msftresearch, @twitter/@x, @ntua
Manu Sridharan @rakingleaves
2K Followers 1K Following Professor @UCR_CSE doing research in programming languages and software engineering. https://t.co/8YGA4y2NaS BSky: @manu.sridharan.net
Loris D'Antoni @lorisdanto
9K Followers 776 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
wuc9521 @wuc9521
85 Followers 1K Following
chrisyoon @chrisy__n
0 Followers 256 Following
Alperen Keleş @Keleesssss
9K Followers 2K Following METU CENG 21' | PhD @umdcs | (incoming) Research Scientist @datadoghq | Writing at https://t.co/O7d6OIVJ5C | Testing compilers, type systems, databases...
Toby Murray @tobycmurray
1K Followers 642 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Sam Westrick @shwestrick
1K Followers 599 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Graham Hutton @haskellhutt
9K Followers 698 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Jade Martin @Jade34528538
344 Followers 4K Following project analyst,Life is short, this sentence should remind everyone, energy lovers, like to pay attention to energy issues.
Xuejing, aka Snow @hxjxsnow
379 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Raquel @rasofema
152 Followers 287 Following Computing PhD Student @ Imperial College London • she/her
alpharush @0xalpharush
9K Followers 2K Following
Ilya Sergey @ilyasergey
8K Followers 980 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Loris D'Antoni @lorisdanto
9K Followers 776 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Sacha-Élie Ayoun @SachaAyoun
213 Followers 260 Following CTO of Soteria Tools, making reasoning scale at the age of AI
Judea Pearl @yudapearl
84K Followers 370 Following Student of causal inference, human reasoning, and history of ideas, all viewed through the sharp lens of artificial intelligence.
Thomas L. Friedman @tomfriedman
875K Followers 57 Following NY Times columnist and Pulitzer Prize winning author of Lexus and the Olive Tree and From Beirut to Jerusalem.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Kaitlan Collins @kaitlancollins
1.5M Followers 1K Following Chief White House Correspondent and Anchor of The Source at 9 p.m., @CNN
Joe Biden @JoeBiden
37.9M Followers 46 Following Husband to @DrBiden, proud father, grandfather, and great grandfather.
David Marcus @davidmarcus
197K Followers 1K Following CEO & co-founder @Lightspark ➡️ building the open Money Grid on Bitcoin + @spark. Ran Payments/Crypto & @Messenger at @Meta, led @PayPal + 3 startups.
UCL-CS PPLV @ucl_pplv
256 Followers 154 Following Programming Principles, Logic and Verification group at University College London
Shaanan Cohney @shaananc
1K Followers 3K Following Systems Security, Applied Crypto, Public Policy, Choral music, Senior Lecturer (US Assoc. Prof) @unimelb — tweets used to delete after two weeks?
Programming Languages... @PLMentoring
878 Followers 68 Following PL Mentoring Workshop at POPL, PLDI, ICFP, and SPLASH.
Boaz Barak @boazbaraktcs
33K Followers 820 Following Computer Scientist. See also https://t.co/EXWR5k634w . @harvard @openai opinions my own.
Morabbin @morabbin
797 Followers 724 Following Haskeller @ GitHub; ex-Meta; Ex-Head of SCB Strats; Galois Co-Founder; Husband; Dad; vintage geek. Views my own. He/him. #BlackLivesMatter
Caroline Cronjaeger @carolin2_718281
56 Followers 128 Following she/her 🏳️🌈 literature @VUamsterdam research @nlenvironagency maths with cs @RuhrUniBochum author @ClimateScience recurring character @ImperialCollege
Julien Vanegue @jvanegue
6K Followers 988 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
Benno Stein @benno_stein
109 Followers 326 Following program analysis, incremental computation, good/correct takes. past lives: static analysis at Meta London, PhD at CU Boulder
Jules Jacobs @JulesJacobs5
1K Followers 3K Following
Shachar Itzhaky 🗜�... @existsShachar
651 Followers 569 Following Technion | Computer Science | לא קצין ולא דוקטור ◦ אַ שטורעמדיקן פאַרבריינגען
Saikat Dutta @saikatdutta2012
1K Followers 707 Following Assistant Professor @CornellCIS Research: Software Testing | Program Analysis | SExAI PhD: @IllinoisCS
Roberto Giacobazzi�... @rgiacobazzi
830 Followers 651 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Benjamin Kaminski @Kaminski_BL
60 Followers 182 Following Theoretical computer scientist. Professor at Saarland University, Lecturer at University College London.
Inna Lin @iwylin
1K Followers 1K Following Final-year PhD Student in AI/NLP @uwcse @uwnlp | Visiting Researcher @Meta Superintelligence Lab | Prev: @jpmorgan @cornell_tech @columbia
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Max Willsey @mwillsey
825 Followers 201 Following asst prof @Berkeley_EECS. he/him. i no longer use this account. find me elsewhere. @[email protected]
Rob Dahm @robdahm
12K Followers 61 Following I own a computer business and my dream car: 2001 Lamborghini Diablo. I am obsessed with my 20b RX-7
Nando's @NandosUK
1.1M Followers 8K Following The home of legendary, Afro Portuguese flame-grilled PERi-PERi Chicken. Here between 9:00am & 17:30pm, Monday to Friday. Contact us - https://t.co/3idDR1yEPG
Celine Lee @celine_ylee
42 Followers 56 Following
F1 Portrayed By Top G... @TopGearFormula1
115K Followers 187 Following Formula 1 portrayed by the Top Gear/Grand Tour trio / DMs open for suggestions / Making fun of everything F1, 1 Top Gear clip at a time.
pepe Iborra @IborraPepe
579 Followers 433 Following Haskell enabler @Facebook, all views expressed are my own
Michael Greenberg @mgrnbrg
964 Followers 154 Following
Lef @elefthei
1K Followers 1K Following Proofs @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
Katherine Lee is at N... @katherine1ee
6K Followers 951 Following understanding ourselves and our models @openai
CSrankings @CSrankings
1K Followers 66 Following Rankings of computer science departments around the world.
Yaron (Ron) Minsky @yminsky
22K Followers 367 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Cornell Computer Scie... @Cornell_CS
2K Followers 70 Following Founded in 1965, as one of the first of its kind – the department of computer science in @CornellCIS explores theory, programming, languages, AI, and more.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Simon Marlow @simonmar
8K Followers 246 Following Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician
Priya Srikumar @priyasrikumar_
420 Followers 661 Following PhD student @CornellCIS Passionate about math, programming languages, and JUSTICE!
Andrew K. Hirsch @andrewkhirsch
582 Followers 918 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Jeremy Clarkson @JeremyClarkson
7.5M Followers 204 Following I am a still small voice of calm and reason.
Ian Arawjo @IanArawjo
3K Followers 1K Following Asst Prof @UMontreal, PhD @CornellInfoSci. Creator of @chainforge_ai. Programming and culture, intercultural CS, LLM evaluation. Prev: Postdoc @HarvardHci
joomy @joomy
4K Followers 973 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷





















