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
-
Followers37
-
Following110
-
Likes365
Just did my first proof using Cursor AI. Surreal experience. 🙂
0
0
1
35
0
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
Mohit Tekriwal retweeted
"It doesn't matter if a cat is black or white, as long as it catches mice!"
Mohit Tekriwal retweeted
All ML researchers on the academic job market furiously rewriting their research statements for Physics departments
Mohit Tekriwal retweeted
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 retweeted
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
Really interesting keynote at @icfp_conference on refinement types.
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 😊.
Mohit Tekriwal retweeted
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…
Mohit Tekriwal retweeted
New on my (long neglected) blog: The mysteries and frustrations of numerical proofs lawrencecpaulson.github.io/2024/07/25/Num…
Mohit Tekriwal retweeted
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!
Mohit Tekriwal retweeted
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-…
Excited to attend the @ETAPSconf in-person for the first time, this year.
Mohit Tekriwal retweeted
Please consider submitting a paper to The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large if you have stories to share about methods for the construction of large and long-lived software projects that are implemented in functional languages and…
Mohit Tekriwal retweeted
I'm excited to announce we've released our technical report on the state of formal verification at the NNSA labs. I learned a lot while writing it and hope it can serve as a guide of what are some high-impact research problems in formal methods. sandia.gov/app/uploads/si…
I am elated to share that the final paper from my PhD on formally verifying convergence of stationary iterative methods has been accepted for publication in NFM, 2024. Link to the accepted paper: mohittkr.github.io/iterative_meth…
Mohit Tekriwal retweeted
PL in 3 words
TobeyHansom @36wS4qI0Kvkh0N8
36 Followers 1K Following Coffee addict ☕ | Bookworm 📚 | Traveler ✈️ | Dreamer 💭
Iris @Iris93669212855
26 Followers 3K Following
Ramneet Singh @Ramneet_Singhh
856 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 119 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 251 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
97 Followers 503 Following always interested in algorithms, systems and learning new things. @umich math cs and @simberobotics
O Combinator @toldnotmywrath
46 Followers 780 Following
David Moon @dm_0ney
1K Followers 1K Following PhD candidate @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO • thinking about parsing and structure editing
shinji ikari @sagnikcw
143 Followers 315 Following mscs @manningcics | knowledge graph : https://t.co/1mhuy2DkRY
Adharsh Kamath @adharshkamath
448 Followers 2K Following PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
FicktNichtMitDemRaket... @jaytacula
25 Followers 888 Following
Talia Ringer 💚 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Peter Wesker @KnottyTamTam
63 Followers 1K Following Peter Wesker is not my real name. Just trying not to get deported. Technopagan
Grant Olney Passmore @grantolney
391 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
777 Followers 448 Following Mathematician, computer scientist, Aikidoka, scuba diver; Editor-in-Chief of Maple Transactions
Prathamesh @in_xanadu
133 Followers 583 Following Researcher in Math/Theoretical Computer Science. Science. Technology. History. Cricket. Cricket history. Detective fiction. Politics. And all things quaint.
nishant @nkheterpal
303 Followers 1K Following phd candidate @umrobotics; cal eecs '18; now formal verification; then av simulation; he/him/his
Nikhil Swamy @lambdaNik
748 Followers 204 Following
Arsh Chahal @ArshChahal2
148 Followers 268 Following UMich | IIT KGP | Quant Researcher | Investment Management
oshrat ayalon @oshratayalon
465 Followers 861 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/KNwWLHMbK2 🌿 asst professor @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 ✨ Retired Eng @ RISC Zero 🤫🥸
Prerna Aggarwal @Pre_R_N_A
321 Followers 306 Following •A neurobiologist going CrAzY @ Department of Genetics🧬 @UnivofDelhi •🍀 Flying with fruit flies, trying to find the true sweetness in life!!🕊
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Alek Sobczyk @AleksandrosSob1
412 Followers 394 Following Huawei Research Center, Zurich. Views are my own.
David Darais @daviddarais
984 Followers 823 Following Principal Scientist @ Galois, Inc.. Programming languages, software verification, computer security, data privacy.
Kartik @k4rtik
1K Followers 447 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
3.6M Followers 4 Following 45th & 47th President of the United States. The Golden Age of America Begins Right Now.
Julien Vanegue @jvanegue
6K Followers 962 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 687 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
856 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
346 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 119 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
150K Followers 658 Following For those who leave Michigan, but for whom Michigan never leaves. #GoBlue
Deedy @deedydas
209K Followers 5K Following Partner @MenloVentures. Formerly founding team @glean, @Google Search. @Cornell CS. Tweets about tech, immigration, India, fitness and search.
Type Theory Forall @ttforall
4K Followers 286 Following Making Type Theory, Programming Languages and Formal methods more accessible! Check our merch store! https://t.co/qiQYj4pnqx
David Moon @dm_0ney
1K Followers 1K Following PhD candidate @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO • thinking about parsing and structure editing
Adharsh Kamath @adharshkamath
448 Followers 2K Following PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
Lawrence Livermore Na... @Livermore_Lab
66K 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 447 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
391 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
777 Followers 448 Following Mathematician, computer scientist, Aikidoka, scuba diver; Editor-in-Chief of Maple Transactions
Prathamesh @in_xanadu
133 Followers 583 Following Researcher in Math/Theoretical Computer Science. Science. Technology. History. Cricket. Cricket history. Detective fiction. Politics. And all things quaint.
Skint London Mag @SkintLondon
128K Followers 3K Following FAB THINGS LONDON FREE, CHEAP & DISCOUNTS + NEWS & MORE. https://t.co/uCBEcUVCtZ https://t.co/kbsBKzaeKa
nishant @nkheterpal
303 Followers 1K Following phd candidate @umrobotics; cal eecs '18; now formal verification; then av simulation; he/him/his
Sriram Rajamani @SriramRajamani
3K Followers 466 Following Geek, technologist, research junkie. Dad, husband, son, brother & uncle. CVP, Microsoft Research. Working with wonderful colleagues and friends.
Arsh Chahal @ArshChahal2
148 Followers 268 Following UMich | IIT KGP | Quant Researcher | Investment Management
François Charton @f_charton
4K Followers 28 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
22K Followers 1K Following CTO & Co-Founder Thinking Machines Lab (@thinkymachines) Past: - VP Research (Post-Training) @openai - Research Scientist at Google Brain
Zac Kenton @ZacKenton1
2K Followers 1K 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
790 Followers 388 Following Prof @ECEILLINOIS, Outdoors enthusiast, Parent of twins. Author of verification book https://t.co/0c2ZdF00mi Alumni @MITEECS @Caltech @iiscbangalore Jadavpur.
Dileep George @dileeplearning
12K Followers 1K Following AGI research @DeepMind. Ex cofounder & CTO @vicariousai (acqd by Alphabet) and @Numenta. Triply EE (BTech IIT-Mumbai, MS&PhD Stanford). #AGIComics
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 ✨ Retired Eng @ RISC Zero 🤫🥸
Michael Black @Michael_J_Black
85K Followers 706 Following Director, Max Planck Institute for Intelligent Systems (@MPI_IS). Chief Scientist @meshcapade. Building 3D digital humans using vision, graphics, and learning.
Prerna Aggarwal @Pre_R_N_A
321 Followers 306 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 841 Following CS Professor at UT Austin + President of @VeridiseInc.
LIPN @LipnLab
234 Followers 98 Following The LIPN is a computer science research laboratory of @CNRS and @univ_spn. @INS2I_CNRS 🐘 : @[email protected]
Saliya Ekanayake @esaliya
380 Followers 342 Following Principal Software Engineer at d-Matrix, Accelerating AI
Daejun Park @daejunpark
2K Followers 434 Following formal methods @a16zcrypto; prev. director of formal verification @rv_inc; phd @IllinoisCS
Cole Schlesinger @thatplguy
187 Followers 229 Following Research engineer at @AkitaSoftware. Background in programming languages, networking, and a bit of formal methods. He/him.
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
Zama @zama_fhe
232K Followers 2K Following Zama is an open source cryptography company that builds state-of-the-art Fully Homomorphic Encryption (FHE) solutions for blockchain.
Tom Warren @tomwarren
282K Followers 2K Following Senior Editor @verge ║ Sign up to Notepad, my weekly newsletter on Microsoft's big bets at https://t.co/KqkAib2CKP ║ Tips? Msg on Signal app: tomwarren.01
Chris Peikert @ChrisPeikert
6K Followers 59 Following Cryptographer (lattices/post-quantum), Professor @UMichCSE, Head of Cryptography @Algorand, PhD @MIT_CSAIL. Previously @gatech_scs. Here I speak for myself.
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
The Rocq Prover @CoqLang
2K Followers 55 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
Trends for United States
80,6 B posts
6.599 posts
34,4 B posts
32,8 B posts
5.403 posts
19,8 B posts
1.762 posts
12,5 B posts
20 B posts
7.696 posts
2.067 posts
8.998 posts
3.055 posts
82,8 B posts
51,5 B posts
192 B posts
2.429 posts
1.894 posts
You might like
Andrew K. Hirsch
@andrewkhirsch
575 Followers
Oliver Bračevac
@etaconversion
219 Followers
Maria Zubova
@zubova_maria
283 Followers
Sam Lindley
@reifyreflect
639 Followers
Nick Benton
@SystemFOmega
577 Followers
Thomas Gilray
@tomgilray
461 Followers
Noam Zilberstein
@NZComplete
192 Followers
Ezgi
@ezgicicek
324 Followers
Darshika Bohra
@SanskariMarwadi
289 Followers
Saliya Ekanayake
@esaliya
380 Followers