Nathaniel (Nate) Yazdani @nate_yazdani
PL/FM researcher @this_is_STR and PhD student @neu_prl. Former BS/MS student @uwplse, intern @bedrocksystems, intern @IMDEA_Software. @[email protected] nyazdani.com Boston, MA Joined December 2015-
Tweets271
-
Followers276
-
Following422
-
Likes3K
Nathaniel (Nate) Yazdani retweeted
Mike just casually dropped the following on github last night, which is a new proof assistant that implements a type theory that is a common generalisation of dTT and HOTT! github.com/mikeshulman/na…
2
28
111
11K
44
Nathaniel (Nate) Yazdani retweeted
Objection! A Language Lawyer Story 🔊 for my awful voice acting
Nathaniel (Nate) Yazdani retweeted
I'm happy to announce a new release of Functional Programming in Lean, a free book on programming in the Lean theorem prover. A number of mistakes have been fixed and the text has been brought up to date with the changes in Lean version 4.1.0. It's here: lean-lang.org/functional_pro…
Nathaniel (Nate) Yazdani retweeted
Hey corporate/lab folks: anyone looking to hire strong graduating undergrads interested in PL and verification? Here's a blurb I asked them to write about themselves.
Nathaniel (Nate) Yazdani retweeted
The ESOP 2024 deadline is in a little over one month (Oct 12th). Note the new submission categories (experience reports and fresh perspectives) and lack of formatting requirements for the research papers submission category. More info at: etaps.org/2024/conferenc…
Nathaniel (Nate) Yazdani retweeted
pliss.org/2023/ PLISS the language implementation summer school will have talks from @AntonyHosking @smarr @drossopoulou @Felienne @philwadler @tobiaswrigstad @davidpichardie and more... It is open to all students interested in PL, there is still time to register...
Nathaniel (Nate) Yazdani retweeted
With the help of a wonderful team @WIRED, I recently had the chance to try to explain how mathematicians think about infinity at five levels of increasing complexity. You can see our conversations at the link below:
With the help of a wonderful team @WIRED, I recently had the chance to try to explain how mathematicians think about infinity at five levels of increasing complexity. You can see our conversations at the link below:
I find this chart delightful.
Nathaniel (Nate) Yazdani retweeted
Computing weakest precondition of Imp programs directly in Z3. Requires reflection of smtlib expressions into expression datatypes and representing the variable store as an array. In principle, smtlib is it's own macro system.
Nathaniel (Nate) Yazdani retweeted
Illinois Theorem Provers, 2022 update
Nathaniel (Nate) Yazdani retweeted
The @ECOOPconf proceedings are officially out. 36 papers full of objects, functions and other fun PL thingies. Check it out. dagstuhl.de/dagpub/978-3-9…
Nathaniel (Nate) Yazdani retweeted
The fellowship for industry-independent transitional funding for PhD students to get out of unhealthy environments I want to start has a name now: Computing Connections Fellowship. And I've got a president and a vice president, and a host 501(c)(3) pending some paperwork.
Exciting news: I’m joining STR (str.us) as a Programming Languages Researcher, working with their growing team of stellar folks in formal methods! @this_is_STR
Nathaniel (Nate) Yazdani retweeted
stolen from the University of Utah slack
A tweet thread by one of the actual authors of that link (prefetchers.info) shared earlier!
A tweet thread by one of the actual authors of that link (prefetchers.info) shared earlier!
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Guannan Wei @GuannanWei
1K Followers 960 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Tzu-Han👩🏻�... @TzuHanH
2K Followers 1K Following CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Matthew Kolosick @mkolosick
290 Followers 389 Following PhD student at @ucsd_cse, former undergrad at @neu_prl. Researching PL, security, and verification with @RanjitJhala and @deiandelmars. https://t.co/Xw0b8zmo4d
Colin Barrett (NEET a... @cbarrett
5K Followers 4K Following Unemployed tech worker. Ex @Apple @Mozilla et al. 🏳️🌈 (any/all)
¬¬Mike (Deyuan) He @1SHL10
1K Followers 573 Following 3rd-year PhD @PrincetonCS PL Group; PL/Systems; Prev @AWSCloud @Intel @Taichi_Lang @uwplse
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
joomy @joomy
2K Followers 957 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Max Willsey @mwillsey
846 Followers 204 Following asst prof @Berkeley_EECS. he/him. i no longer use this account. find me elsewhere. @[email protected]
arwr @arwr520505
0 Followers 3K Following
EleanorePope @1HodH6MXd2HgE
70 Followers 3K Following Coming from Malaysia, I like to make friends from all over the world
Pursuit @Pursuit227787
44 Followers 4K Following
Kareem @Kareem484272093
10 Followers 281 Following
Krismile @Krismile47069
38 Followers 3K Following
Ailura @Ailura24
1 Followers 56 Following
ElsaLawson @40uF3Bdeag2CeQ
34 Followers 2K Following
MurielCrichton @V4Ar20o2sYyGh
73 Followers 7K Following
Harold @haroldmoma
561 Followers 6K Following Solutions Architect at @AWSCloud. I read RFCs for fun. musings about tech,music,politics,books and others. Opinions here my own.
V. Gurucharan @DrVGCharan
432 Followers 7K Following Chief AI Officer | NLP Research | AI Governance | PhD (String Theory) | Geopolitics
Mohammad Raihan Uddin @_RaihanMohammad
364 Followers 8K Following MS in UAH’25, ML\AI, Quantum Computing Learning, Wireless Communications, Privacy & Security.
Zhonghan Wang @YogurtShadow272
18 Followers 284 Following Master Student in Institute of Software @UCAS1978, previously in @NKU1919. Building Algorithms and Tools for SMT and related formal methods areas.
RMO Digital @RMODigital
121 Followers 5K Following
Kenya22 @sweety20231
3K Followers 8K Following "Three things cannot hide for long; the sun, the moon and the truth"
Stefan Ciobaca @ciobaca
50 Followers 651 Following
Evgenia Karunus @lakesare
144 Followers 134 Following
Victor Umobi @UmobiVictor
59 Followers 499 Following Control Engineer #BTC #ETC Crypto @Cornell Masters Candidate. ex Junior AirMan Airforce
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Ruijie Fang @ruijiefang
38 Followers 447 Following To Mastodon: @[email protected] and back. X-denialist and Twitter-luddite. Tweets locked to avoid bots.
Ramneet Singh @Ramneet_Singhh
848 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
btrcy @btrcyzzz
7 Followers 975 Following
Rose Bohrer @rose_bohrer
452 Followers 612 Following Asst CS Prof at WPI. Interdisciplinary from PL/FM/CPS to HCI and games. 🏳️⚧️(she/her) EN/中文
GENU-UAW @nugradunion
2K Followers 1K Following A union for research and teaching assistants at Northeastern University!
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Remy Goldschmidt @taktoa1
867 Followers 517 Following Chip compiler engineer at @MatXComputing. https://t.co/iDLqRHwKvl https://t.co/PHcIJReCEj https://t.co/7E7yOtVEZe
sabree λ ☕ → �... @HeavyPackets
2K Followers 2K Following ♥️ PL, Formal Methods, Privacy, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}
HOSEIN YAVARZADEH @hosein_yz
454 Followers 1K Following PhD Candidate @ucsd_cse | Research Intern @Qualcomm and @Google | CPU/µArch Security, Side Channels, TEE Security
Magdalene @Gamze7833189932
11 Followers 156 Following
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Shrutarshi Basu 🇺�... @basus
1K Followers 2K Following Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him.
Leo Lampropoulos @LeoLambro
1K Followers 623 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Gagan Chandan @gagan_chandan_
65 Followers 811 Following CS student interested in Security and Programming Languages. Linux and FOSS enthusiast.
ICCQ 2025 @iccq_ru
165 Followers 538 Following We are preparing the 5th International Conference on Code Quality in cooperation with IEEE Computer Society and Ural Federal University (Ekaterinburg, Russia)
Giovi Leve @AlexIssac19
40 Followers 204 Following I think there is beauty in everything. What 'normal' people perceive as ugly, I can usually see something of beauty in it
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Guannan Wei @GuannanWei
1K Followers 960 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Hank Green @hankgreen
1.5M Followers 981 Following This account is not actively managed, it sometimes reposts from my Bluesky, a Twitter-like thing that’s built on an open platform, giving its users more control
@emilymbender.bsky.so... @emilymbender
57K Followers 2K Following Prof, Linguistics, UW // Faculty Director, CLMS // she/her // @[email protected] & bsky // rep by @ianbonaparte
Leandro @leostera
4K Followers 375 Following staff eng / pm working on the #ocaml ecosystem moved to https://t.co/pRZ9HuXb7H 🦋
Kimaya Bedarkar @KimayaBedarkar
169 Followers 499 Following PhD student @ MPI-SWS working in formal verification and real-time systems. Likes: stupid cats, pretentious cinema, shit posting
(s)ad Astra 🏳️�... @astradiol
865 Followers 392 Following 𝑆𝑝𝑎𝑐𝑒 𝑎𝑛𝑑 𝐿𝑜𝑔𝑖𝑐; 𝒮ℴ𝓎𝓁ℯ𝓃𝓉 𝓌𝒾𝓃ℯ 𝓅𝒶𝒾𝓇𝒾𝓃ℊ. 𝔓𝔲𝔯𝔢 𝔪𝔞𝔱𝔥𝔰 𝔓𝔥𝔇. 🏳️⚧️ 𝒔𝒉𝒆/𝒉𝒆𝒓 postdoctoral fellow in CS at @wesleyan_u
HELLDIVERS™ 2 @helldivers2
681K Followers 11 Following HELLDIVERS 2 developed by @ArrowheadGS on PS5, Xbox and PC! GIVE 'EM HELL. JOIN THE FIGHT: https://t.co/8XngCajWtv
Alex Kavvos @lambdabetaeta
725 Followers 888 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Ankush Das @Das8Ankush
560 Followers 670 Following Asst. Prof. @BU_Tweets. Previously Applied Scientist @Amazon. PhD from @CSDatCMU. Interned @MSFTResearch and @Meta. Ugrad @iitbombay.
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Shravan Ravi Narayan ... @ShrNarayan
376 Followers 201 Following Archived account. Active on mastodon (@[email protected]). Asst Prof at UT Austin working on secure systems, PL-based & hw-based security.
Andrew K. Hirsch @andrewkhirsch
575 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Jan de Muijnck-Hughes @jfdm
873 Followers 658 Following Lecturer of type-driven approaches to trustworthy-systems at Strathclyde. PL & FM enthusiast. https://t.co/xrWhpZSkQm 🇳🇱🏴🇬🇧🇪🇺
Nikhil Swamy @lambdaNik
749 Followers 204 Following
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Evgenia Karunus @lakesare
144 Followers 134 Following
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Oliver Flatt @oflatt
221 Followers 74 Following PhD Student at the University of Washington, youtuber Mastodon: @[email protected]
Venkat Arun @VenkatArun95
674 Followers 190 Following Assistant professor at UT Austin. I use formal methods to rigorously understand system performance. https://t.co/OHgEZC2NNW
Rose Bohrer @rose_bohrer
452 Followers 612 Following Asst CS Prof at WPI. Interdisciplinary from PL/FM/CPS to HCI and games. 🏳️⚧️(she/her) EN/中文
Remy Goldschmidt @taktoa1
867 Followers 517 Following Chip compiler engineer at @MatXComputing. https://t.co/iDLqRHwKvl https://t.co/PHcIJReCEj https://t.co/7E7yOtVEZe
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Justin Fargnoli @justin_fargnoli
115 Followers 269 Following On @Twitter to learn about GPU, AI, and compiler stuff. LLVM compiler engineer @NVIDIA (opinions are my own).
Rohan Padhye @moarbugs
2K Followers 536 Following Assistant Professor at @S3DatCMU @SCSatCMU. PhD from @Berkeley_EECS. Connessiur of hot sauce.
Yao Li @lastland0
1K Followers 670 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
JT Paasch @jtpaasch
27 Followers 0 Following
Ben Greenman @ben_greenman
119 Followers 208 Following
Zachary Tschirhart @ZachTschirhart
791 Followers 724 Following HPC | AI | Pilot | Rock Climbing | Texan
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Leo Lampropoulos @LeoLambro
1K Followers 623 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Amazon Science @AmazonScience
93K Followers 2K Following The latest news and research from Amazon's science community. #AmazonScience
Xinyu Wang @xwangsd
1K Followers 546 Following assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Kathi Fisler @KathiFisler
2K Followers 359 Following Computer science prof @BrownCSDept and mom. Does K-12 outreach via @BootstrapWorld and writing standards. Studies learning and teaching. Loves puns and pizza.
Johannes Hölzl @johannes2007
189 Followers 512 Following Former researcher at TU München, VU Amsterdam, and Carnegie Mellon. I'm here for theorem provers, proving theorems, and reading comics. @[email protected]
George Sakkas @gsakkas42
69 Followers 206 Following PhD student @UCSanDiego working on Programming Languages ∩ Machine Learning
Tim Booher @timbooher
449 Followers 1K Following SVP Leidos, was VP Autonomy, strategy @ Boeing, USAF reserve. fmr VP Lockheed, DARPA PM, fmr chief data officer, CISO and CTO at Colgate-Palmolive, HSBC Bank.
Alperen Keleş @Keleesssss
8K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Soares Chen @soareschen
2K Followers 2K Following Find me on #BlueSky at https://t.co/UWKMDbv9aJ ∘ Haskell ∘ Rust ∘ @MaybeVoid ∘ Programming Language TheoryTrends for United States
94,3 B posts
1.308 posts
19,1 B posts
1.888 posts
78,8 B posts
173 B posts
1.581 posts
5.253 posts
264 B posts
69,5 B posts
59 B posts
3.320 posts
122 B posts
17,3 B posts
25,3 B posts
42,2 B posts
46,3 B posts
30,2 B posts
56,9 B posts
You might like
Zachary Tatlock
@ztatlock
1K Followers
Andrew K. Hirsch
@andrewkhirsch
575 Followers
Chandrakana Nandi
@ChandrakanaNaN
615 Followers
vollmerm
@ma_vollmer
675 Followers
Pedro Abreu
@p_droabreu0
1K Followers
Aviral Goel
@TheAviralGoel
358 Followers
Yotam Feldman
@yotamfe
402 Followers
David Young
@roboguy20
503 Followers
Sam Westrick
@shwestrick
1K Followers