Mohit Tekriwal @numerics_lambda
Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics. mohittkr.github.io Livermore, CA Joined May 2021-
Tweets235
-
Followers36
-
Following110
-
Likes362
Just did my first proof using Cursor AI. Surreal experience. 🙂
Flying to Denver tonight to attend @poplconf . Excited to attend an amazing set of talks. If you are around, please checkout our presentation at CoqPL on Saturday, titled " Verified Linear Algebra Programa through Equivalence" : mohittkr.github.io/coqpl.pdf
"It doesn't matter if a cat is black or white, as long as it catches mice!"
All ML researchers on the academic job market furiously rewriting their research statements for Physics departments
7-11 October Newton Institute workshop "Big Specification: Specification, Proof, and Testing at Scale" newton.ac.uk/event/bspw01 (registration closed, but the talks will be streamed and recorded)
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
Really interesting keynote at @icfp_conference on refinement types.
@ArshChahal2 One of the cons of privatisation of space market. Regulations can be good in critical situations like this. Boeing is not there yet. It rushed into space missions.
Check out our work on Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report) | Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture dl.acm.org/doi/10.1145/36…
All booked for @icfp_conference. Excited to present my paper titled " Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs" at the @ACMFUNARCH workshop 😊.
@satnam6502 As a single malt fan, it's so soothing to see such a display 😊
Co-located with ICFP 2024 in Milan this year is the Functional Software Architecture (FUNARCH) workshop. Come and participate in discussions about the construction and structure of large and long-lived software projects that are implemented in functional languages, and listen to some talks that touch on topics like feature engineering; applying continuous formal methods to the proof-of-stake cryptocurrency Cardano; and bidirectional data transformations. @ACMFUNARCH functional-architecture.org/events/funarch…
New on my (long neglected) blog: The mysteries and frustrations of numerical proofs lawrencecpaulson.github.io/2024/07/25/Num…
@mukesh_tiwari He is a covert narcissist.
@mukesh_tiwari @IIABengaluru The current government has undermined the autonomy of IITs. It really hurts as an IIT alumnus, to see such appeasement measures by the institution for government funding.
Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method. ~ Mohit Tekriwal et als. link.springer.com/chapter/10.100… #ITP #Coq #Math
This is going to be interesting!
Category Theory to Save the World from Transformers? you bet! finance.yahoo.com/news/vinod-kho…
Also, this year, the first ETAPS industry day starts at 10.30am tomorrow, kicking off with an invited talk from David Delmas from @Airbus talking about verification of avionics software etaps.org/2024/industry-…
@mukesh_tiwari @ETAPSconf Thank you, Mukesh!
Excited to attend the @ETAPSconf in-person for the first time, this year.
TobeyHansom @36wS4qI0Kvkh0N8
39 Followers 1K Following Coffee addict ☕ | Bookworm 📚 | Traveler ✈️ | Dreamer 💭
Iris @Iris93669212855
28 Followers 3K Following
Ramneet Singh @Ramneet_Singhh
935 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)
Samuel Pollard @samdpollard
101 Followers 118 Following Scientist at Sandia National Labs. I research how to apply formal methods to floating-point arithmetic, state machines, and high-performance computing.
asker the gauche, gly... @johnbender
1K Followers 247 Following Though brain damaged, he retained his scientific skill and intellect, unfortunately choosing to use it for acquiring bread. (Formal Verif. Researcher @ Sandia)
Madhav @sharmadhav03
91 Followers 581 Following always interested in algorithms, systems and learning new things. @umich math cs | prev @simberobotics, @tesla
O Combinator @toldnotmywrath
37 Followers 795 Following
David Moon @dm_0ney
1K Followers 1K Following PhD @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO
Adharsh Kamath @adharshkamath
468 Followers 2K Following PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
FicktNichtMitDemRaket... @jaytacula
21 Followers 936 Following
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Peter Wesker @KnottyTamTam
58 Followers 2K Following Peter Wesker is not my real name. Just trying not to get deported. Technopagan
Grant Olney Passmore @grantolney
371 Followers 2K Following Cofounder of Imandra Inc; Music on Asian Man Records; Life Member, Clare Hall, University of Cambridge; songwriting + proving theorems about algorithms!
Rob Corless @corless_rob
767 Followers 442 Following Mathematician, computer scientist, Aikidoka, scuba diver; Editor-in-Chief of Maple Transactions
Prathamesh @in_xanadu
136 Followers 686 Following Researcher in Math/Theoretical Computer Science. Science. Technology. History. Cricket. Cricket history. Detective fiction. Politics. And all things quaint.
nishant @nkheterpal
296 Followers 1K Following phd candidate @umrobotics; cal eecs '18; now formal verification; then av simulation; he/him/his
Nikhil Swamy @lambdaNik
785 Followers 203 Following
Arsh Chahal @ArshChahal2
108 Followers 288 Following UMich | IIT KGP | Quant Researcher | Investment Management
oshrat ayalon @oshratayalon
459 Followers 851 Following Technology, privacy, humans, and what's in between. Assistant professor @UofHaifa. Learn a lot from my private 3 kids. She/Her.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Arpan Agrawal @DontDoCoffeeKid
0 Followers 2K Following
Tim Carstens Ⓥ✨ i... @intoverflow
2K Followers 2K Following Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨ Be Boundless ✨ Eng @ 🤫🥸
Prerna Aggarwal @Pre_R_N_A
323 Followers 313 Following •A neurobiologist going CrAzY @ Department of Genetics🧬 @UnivofDelhi •🍀 Flying with fruit flies, trying to find the true sweetness in life!!🕊
Formal Land 🌲 @FormalLand
2K Followers 2K Following Security audits for Web3, with formal verification. We innovate to provide you with the most extensive security solution. Solidity, Rust, ZK.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Alek Sobczyk @AleksandrosSob1
427 Followers 399 Following Huawei Research Center, Zurich. Ex- IBM and ETH. Views are my own.
Kartik @k4rtik
1K Followers 508 Following Quantum Compiler Engineer at @QuantinuumQC. Previously: @UChicagoCS, @BrownCSDept.
Ilya Kaysin @IlyaKaysin
14 Followers 19 Following Type Theory PhD student at @Cambridge_Uni Formal Verification; Dependent Types; Algorithms COQ; Cycling; Climbing; Coffee
President Donald J. T... @POTUS
4.2M Followers 4 Following 45th & 47th President of the United States. The Golden Age of America Begins Right Now.
Julien Vanegue @jvanegue
6K Followers 984 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
Dominic Orchard @dorchard
2K Followers 676 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Ramneet Singh @Ramneet_Singhh
935 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)
ETAPS Conferences (no... @ETAPSconf
347 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Samuel Pollard @samdpollard
101 Followers 118 Following Scientist at Sandia National Labs. I research how to apply formal methods to floating-point arithmetic, state machines, and high-performance computing.
Alumni Association of... @michiganalumni
146K Followers 659 Following For those who leave Michigan, but for whom Michigan never leaves. #GoBlue
Deedy @deedydas
243K Followers 6K Following Partner @MenloVentures. Formerly founding team @glean, @google Search. @cornell CS. Investor @AnthropicAI, @GoodfireAI, @OpenRouter, @WisprFlow, @_inception_ai
Type Theory Forall @ttforall
4K Followers 323 Following Your favorite type theory podcast! Check our merch store! https://t.co/qiQYj4pnqx
David Moon @dm_0ney
1K Followers 1K Following PhD @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO
Adharsh Kamath @adharshkamath
468 Followers 2K Following PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
Lawrence Livermore Na... @Livermore_Lab
67K Followers 997 Following U.S. @ENERGY and @NNSAnews laboratory. We use science and technology to make the world a safer place. Verification: https://t.co/29pFxbpHmQ
Lawrence Paulson @LawrPaulson
2K Followers 549 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Grant Olney Passmore @grantolney
371 Followers 2K Following Cofounder of Imandra Inc; Music on Asian Man Records; Life Member, Clare Hall, University of Cambridge; songwriting + proving theorems about algorithms!
Rob Corless @corless_rob
767 Followers 442 Following Mathematician, computer scientist, Aikidoka, scuba diver; Editor-in-Chief of Maple Transactions
Prathamesh @in_xanadu
136 Followers 686 Following Researcher in Math/Theoretical Computer Science. Science. Technology. History. Cricket. Cricket history. Detective fiction. Politics. And all things quaint.
Skint London Mag @SkintLondon
121K Followers 3K Following FAB THINGS LONDON FREE, CHEAP & DISCOUNTS + NEWS & MORE. https://t.co/uCBEcUVCtZ https://t.co/kbsBKzaeKa
nishant @nkheterpal
296 Followers 1K Following phd candidate @umrobotics; cal eecs '18; now formal verification; then av simulation; he/him/his
Sriram Rajamani @SriramRajamani
3K Followers 465 Following Geek, technologist, research junkie. Dad, husband, son, brother & uncle. CVP, Microsoft CoreAI. Working with wonderful colleagues and friends.
Arsh Chahal @ArshChahal2
108 Followers 288 Following UMich | IIT KGP | Quant Researcher | Investment Management
François Charton @f_charton
4K Followers 33 Following AI for mathematics and theoretical physics Tomorrow's problems on yesterday's machines Axiom - École nationale des ponts et chaussées
Barret Zoph @barret_zoph
25K Followers 1K Following @openai Past: - CTO & Co-Founder Thinking Machines Lab (@thinkymachines) - VP Research (Post-Training) @openai - Research Scientist at Google Brain
Zac Kenton @ZacKenton1
2K Followers 2K Following Research Scientist in AI safety at DeepMind. Views are my own and don't represent DeepMind.
Gilbert Strang @GilStrangMIT
7K Followers 20 Following Professor of Mathematics @MIT | PhD @UCLA | Linear Algebra Wizard | parody
sayan mitra @Mitrasayn
786 Followers 400 Following Prof @ECEILLINOIS, Outdoors enthusiast, Parent of twins. Author of verification book https://t.co/0c2ZdF00mi Alumni @MITEECS @Caltech @iiscbangalore Jadavpur.
Dileep George @dileeplearning
16K Followers 1K Following Head of AI @AsteraInstitute Prev: AGI @DeepMind, cofounder @vicariousai (acqd by Alphabet), cofounder @Numenta. IIT-Bombay, MS&PhD Stanford. https://t.co/IlsczdBtZo
VMware Research @vmwareresearch
2K Followers 167 Following We're no longer posting on this channel – follow @VMware for the latest news and updates.
Tim Carstens Ⓥ✨ i... @intoverflow
2K Followers 2K Following Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨ Be Boundless ✨ Eng @ 🤫🥸
Michael Black @Michael_J_Black
98K Followers 729 Following VP Digital Human Research, Epic Games. Emeritus Director, Max Planck Institute for Intelligent Systems (@MPI_IS).
Prerna Aggarwal @Pre_R_N_A
323 Followers 313 Following •A neurobiologist going CrAzY @ Department of Genetics🧬 @UnivofDelhi •🍀 Flying with fruit flies, trying to find the true sweetness in life!!🕊
Isil Dillig @IsilDillig
4K Followers 842 Following CS Professor at UT Austin + President of @VeridiseInc.
LIPN @LipnLab
228 Followers 97 Following The LIPN is a computer science research laboratory of @CNRS and @univ_spn. @INS2I_CNRS 🐘 : @[email protected]
Saliya Ekanayake @esaliya
369 Followers 351 Following Principal Software Engineer at d-Matrix, Accelerating AI
Daejun Park @daejunpark
2K Followers 249 Following
Cole Schlesinger @thatplguy
182 Followers 224 Following Research engineer at @AkitaSoftware. Background in programming languages, networking, and a bit of formal methods. He/him.
Ankush Desai @ankushpd
2K Followers 779 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Zama @zama
273K Followers 3K Following Zama is an open source cryptography company that builds state-of-the-art Fully Homomorphic Encryption (FHE) solutions for blockchain.
Tom Warren @tomwarren
402K Followers 2K Following Senior Correspondent @verge ║ Sign up to Notepad, my newsletter on Microsoft's big bets at https://t.co/KqkAib2CKP ║ Tips? Msg on Signal app: tomwarren.01
Chris Peikert @ChrisPeikert
6K Followers 57 Following Cryptographer (lattices/post-quantum), Professor @UMichCSE, CS(cientific)O @AlgorandFoundation, PhD @MIT_CSAIL. Previously @gatech_scs. Here I speak for myself.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
The Rocq Prover @CoqLang
2K Followers 54 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
You might like
