Nikhil Swamy @lambdaNik
Joined February 2018-
Tweets278
-
Followers785
-
Following203
-
Likes392
Don't wanna hear that racist claptrap You chat that chat, get clapped back Don't wanna take my country back, mate I wanna take my country forward @SonsOfKemet #myqueeniskamalaharris
🚨 Thrilled to announce our recently accepted paper at @ICSEconf, publishing benchmarks to push the boundaries of AI-driven Proof Oriented Programming. 🔗 huggingface.co/datasets/micro… 🔗 huggingface.co/datasets/micro… For more details: fstar-lang.org/popai #PoPAI #ICSE2025
@HerrDreyer Hahaha! Now I've got to put that on my post deadline watching list : ) (or not)
I'm writing my POPL submission in VSCode for the first time. I have copilot on ... Just because it usually is. Amused by it completing \cite{ with dreyer12.. pierce18... and interestingly petricek16. Not sure what papers those are, but I guess I'm definitely writing a PL paper :)
youtu.be/0za3QkMqLkg?si… Great talk by @anishathalye, impressive end-to-end verification distilling the behavior of an HSM from application code to hardware in just a few lines of ideal functionality.
Excited to have Anish Athalye anish.io present at the next F* PoP Up seminar on June 27, presenting about a verified hardware security module using a variety of tools, including F*, Low*, Hacl*. Come check it out! fstar-lang.org/popup/seminar.… #fstarlang
This is happening today in a bit less than an hour! ...
Excited to have Anish Athalye anish.io present at the next F* PoP Up seminar on June 27, presenting about a verified hardware security module using a variety of tools, including F*, Low*, Hacl*. Come check it out! fstar-lang.org/popup/seminar.… #fstarlang
WSL2 + OCaml + F* + VSCode + Copilot + fstar-vscode-assistant + ... Proof flow! #fstarlang
This edition of @MSFTResearch Research Focus features our research on synthesizing high quality program specifications from informal intent using LLMs, to appear at @FSEconf . Work done as part of microsoft.com/en-us/research… Project. @cellocorgi @fakhourysm @saikatch107 @RiSE_MSR
In this edition: Can LLMs transform natural language into formal method postconditions; Semantically aligned question + code generation for automated insight generation; Explaining CLIP performance disparities on blind/low vision data; plus recent news. msft.it/6013YuMLU
Folks, give this new tool from RiSE a spin: github.com/microsoft/aici. Prompts are WASM programs and gives you a flexible/programmable way to control the output of an LLM. Semantics matter :)
From the White House ONCD report: whitehouse.gov/wp-content/upl… > ... use formally verified core components in their software supply chain. [Citing: Microsoft Research, Project Everest] See: project-everest.github.io #fstarlang
We're hiring! Please apply to join RiSE @ MSR Both fresh PhDs: jobs.careers.microsoft.com/global/en/job/… And Principal Researchers: jobs.careers.microsoft.com/global/en/job/…
@kc_srk Oh wow, OCaml \cap Auroville sounds awesome ... Future societies, founded on self-reflection and typed functional programming!
Excited to post ~15 new chapters in the F* book on Pulse and proof-oriented programming in concurrent separation logic, coupled with initial releases of the Pulse extension to F*. Just in time for our tutorial at POPL tomorrow! fstar-lang.org/tutorial/book/… #fstarlang
Excited to teach about Pulse at POPL! Been writing new chapters in the F* book. Come to our tutorial popl24.sigplan.org/room/POPL-2024…
@notypes Your question is good motivation for me to write some docs for the DSL framework. Meanwhile, here's a little taste: embedding a custom checker for STLC in F*. github.com/FStarLang/FSta…
@notypes We have a brand new framework for certified embeddings of DSLs in F*, which is what we've been using to build Pulse.
@notypes We're focusing so far on spreading the word about Pulse itself, rather than the DSL framework, but I would really like to also get folks to use the DSL framework.
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.)
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
9K Followers 774 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
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
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
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.
Jonathan Aldrich @JAldrichPL
5K 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.
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
Peter O'Hearn @PeterOHearn12
2K Followers 135 Following Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Sydney Gibson 🚛 �... @sydgibs
2K Followers 314 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Graham Hutton @haskellhutt
9K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 313 Following
Raag Tarkari @agarwal_smayan
116 Followers 255 Following The only two real majors are math and philosophy. Baaki sab moh maaya hai.
HY | Sanctum @datascraper69
2K Followers 2K Following cofounder & buidler @sanctumso | member @superteamsg
varun @varun_pant_
146 Followers 570 Following AI + formal methods + RL | I like building products | Currently working on NeuroSymbolic AI @ AWS | all opinions my own
//TODO: fix later �... @enjoyingthewind
802 Followers 8K Following
Laura Titolo @laura_titolo
169 Followers 205 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
Xero @chaos_xero
0 Followers 2K Following
Srikoushik @srikoushikiit
22 Followers 347 Following
Chaitanya Agarwal @culechetoo
100 Followers 766 Following PhD@NYU in Programming Languages and Verification I Cricket | Cule
Katherine Mohr @kmohr_
127 Followers 319 Following MIT BS '23 and MEng '24, Stanford PhD '?? your friendly neighborhood PL enjoyer she/her
Mikhail Barash @mikhail_barash
506 Followers 2K Following Programming languages, IDEs, language workbenches. @tc39 delegate. Ph.D. in parsing. Views are mine. https://t.co/c2hUFoRHMx
Ibyiza.net @ibyizanet
75 Followers 2K Following ::: Rwanda's prime online trading / employment / showcasing platform ::: #ibyiza biri i̶m̶b̶e̶r̶e̶ hano
CogniDroid @CognizDroid
196 Followers 1K Following The only thing that is perfect, is the existence of imperfection.
David R Pratten @davidpratten
53 Followers 306 Following Release Train Engineer (SAFe) and part-time UTS Computer Science PhD researching query languages that bridge databases and constraint programming.
neo @stankneo
959 Followers 5K Following Cyberpunk Metamodernism. Aspiring hyperwrangler. Searching for lcm(∞-axia). CS ∪ CogSci ∪ Complex Systems.
Nakul Jindal @nakul02
79 Followers 2K Following
Aditya Bantwal @adityabantwal
220 Followers 3K Following MSc Algo cheminformatics @CITEC_Bielefeld@unibielefeld. Interested in graph theory, formal logic, and algorithmic cheminformatics.
Vic Shihang Li @sudopowr
133 Followers 4K Following cs phd @uwcse, building self-defining systems (https://t.co/g6PsqayZZi). prev @BrownCSDept and @nyuniversity.
Jayendra @_jayendra
16 Followers 404 Following
Shriram Balaji @shrirambalaji
2K Followers 6K Following building distributed systems @microsoft • ⚭ @swetha__raman • tinkering with systems, databases and web • blogs at https://t.co/acjkgbBqNO
Arber_Sephirotheca @Sephirotheca
16 Followers 1K Following
Brian Rogoff @Brian_Rogoff
5 Followers 384 Following
Nikhil @panjshirpakhtun
154 Followers 7K Following (e/acc) Using internet since the era of dialup & Caltiger. MATLAB & C are good. Lost in Taschen, and Farrar, Straus and Giroux.
reasoningRoy @ChaNg1o63539
0 Followers 141 Following
Quentin Fortier @FortierQuentin
515 Followers 901 Following Professeur d'informatique en MPI (CPGE) au lycée La Martinière Monplaisir. Cours d'informatique en MPI : https://t.co/HjVD8VTzDf
farsi_rumi @farsi_rumi
0 Followers 2K Following
Ram Sri Harsha @HarshaRamsri
83 Followers 4K Following श्रद्धावान् लभते ज्ञानं तत्पर: संयतेन्द्रिय: | ज्ञानं लब्ध्वा परां शान्तिमचिरेणाधिगच्छति || संशयात्मा विनश्यति|
Aditya Verma @verma314x
58 Followers 942 Following Interested in the nature of computation, mathematics, intelligence, and their intersection.
AN @trailinga
46 Followers 6K Following shankaro shankarah sakshat | vyaso narayano hari | ubhayor madhya vivadhe | kim karothi kinkaramyaham
Aarav Jaiswal @aar4vj
20 Followers 2K Following
James Ward @JamesWard
19K Followers 3K Following My book: https://t.co/QGevhw6nyE | My podcast: @HappyPathProg | @AWSCloud Agent Experience | @AgenticAIFdn TC | My opinions are mine
Yash Raj Jain @yash_r_j
46 Followers 1K Following Central Risk Book Quant at Morgan Stanley | previously CogSci Researcher at MPI Intelligent Systems
Hari @harichennai90
3 Followers 2K Following
r41zor @r41zor
3 Followers 456 Following
Ramakrishna Yekulla (... @ramkrsna
2K Followers 3K Following Senior Principal Product Manager - Data + AI @redhat . Soccer Dad. Ugly bag of mostly water
fp_launchpad @fp_launchpad
104 Followers 16 Following Research and education for crafting efficient, reliable and trustworthy software. Located in IIT Madras, Chennai.
Grigory Evko @GrigoryEvko
425 Followers 860 Following CTO @TheArtisanAI | Compilers, ML and DevOps engineer | MD
Ali @ali__gnment
4 Followers 72 Followingrafaqat ali @rafaqatali
340 Followers 7K Following mobile - writing ipad apps since 1997 ( Poqet iPad ) - Vi/Vim pronouns
Elias Judin @elias_judin
384 Followers 1K Following pure maths. universal algebra // categorical topology // Galois theories. university of cape town.
Aswin V @avi010_
84 Followers 583 Following
Sai Ashwin @hsaias_
62 Followers 4K Following undergrad @iitmadras. tech lead @RaftarIITM. security research @iitmcse. ambition/skill approaching infinity
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
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.)
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
9K Followers 774 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
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
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
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.
Jonathan Aldrich @JAldrichPL
5K 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.
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
Peter O'Hearn @PeterOHearn12
2K Followers 135 Following Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Sydney Gibson 🚛 �... @sydgibs
2K Followers 314 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Graham Hutton @haskellhutt
9K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 313 Following
Anish Athalye @anishathalye
4K Followers 275 Following ai research @joinhandshake • prev phd @mit_csail • research at https://t.co/MdknnUE4C6 • blog at https://t.co/oGOMQyhxv5 • open-source at https://t.co/VawMWMr84F
Tomas Petricek (find ... @tomaspetricek
10K Followers 928 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
பேராசிர... @devanbu
2K Followers 941 Following Husband, Dad, Academic. Software "Naturalness", AI4SE & ESE@ UC Davis. MAE, ACM Fellow, Humboldtian. ❤️s Jokes, NJ snark & the outdoors. All opinions Personal.
Saikat Chakraborty @saikatch107
378 Followers 307 Following Sr. Researcher @RiSE_MSR, Ph.D. from @ColumbiaCompSci - #SEResearcher, #ML, Source Code, Software Engineer. Interned @fujitsulabs, @googlecloud @facebook
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Paul Graham @paulg
3.3M Followers 791 Following
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Yaron (Ron) Minsky @yminsky
21K Followers 365 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Ty Overby @tyroverby
1K Followers 808 Following There is a three car pile-up at the intersection of Art and Technology
François Chollet @fchollet
694K Followers 825 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Suguman Bansal @sugumanbansal
826 Followers 279 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
Imandra @VerifiedbyAI
528 Followers 554 Following AI startup developing Imandra™, the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms
Sheera Shamsu @Sheera8227
6 Followers 28 Following A free soul exploring the deep interconnections between problems and their solutions!
Tzu-Han Hsu👩🏻�... @TzuHanH
2K Followers 1K Following Researcher @Harvard, PhD of @TheBorzoo at MSU, interned @MSFTResearch @AWScloud. From Taiwan, into piano, violin, classical/jazz music, and 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Steve Blackburn (@ste... @stevemblackburn
2K Followers 892 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Xinyu Wang @xwangsd
1K Followers 556 Following assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Son Ho @sonmarcho
96 Followers 235 Following Ph.D. candidate at @ProseccoINRIA specialized in program verification. Interested in real world, useful, scalable. Loves drawing.
Heidi Howard @heidiann360
7K Followers 596 Following Distributed Systems Researcher, Azure Research (Microsoft)
Yann Régis-Gianas @yurug
1K Followers 2K Following Head of Engineering @nomadiclabs / #tezos #ocaml #functionalprogramming #verification #criticalsystems / Formerly Assoc. Prof at Univ Paris Cité
George Pîrlea @GeorgePirlea
1K Followers 5K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. Lean is the future. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Ben L. Titzer @TitzerBL
2K Followers 346 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Vaibhav Tulsyan @xennygrimmato_
4K Followers 6K Following Gemini Post-training @GoogleDeepMind. Formal verification. Competitive Programmer. Views are my own.
Dimitris Vardoulakis @dimvar
692 Followers 924 Following ML compilers @nvidia. Views my own. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua. Also on bluesky, mathstodon
Mooly Sagiv @SagivMooly
3K Followers 4K Following Chief Scientist @Certora and a chair of software systems at @TelAvivUni, Co-Founder of @Summit_Defi
Sukyoung Ryu @sukyoungryu
591 Followers 237 Following KAIST ICT Endowed Chair Professor Chairperson of Kakao Impact (https://t.co/li80h1SU9L)
Alperen Keleş @Keleesssss
9K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Mayur Naik @AI4Code
2K Followers 356 Following Professor @CIS_Penn | Founder & Co-CEO @Rabdos_AI | Neurosymbolic AI researcher and educator
Chandrakana Nandi @ChandrakanaNaN
618 Followers 209 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Théo Winterhalter @winterhalter_t
107 Followers 94 Following Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Andrew K. Hirsch @andrewkhirsch
581 Followers 917 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
FARM Workshop @WorkshopFARM
298 Followers 68 Following Workshop on Functional Art, Music, Modeling and Design (FARM) @[email protected]
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)
Joe Gibbs Politz @JoePolitz
1K Followers 1K Following When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2
Ankush Desai @ankushpd
2K Followers 780 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Audrey Seo @audreyleeseo
39 Followers 38 Following Artist, designer, programmer. current 2nd year phd student in the PLSE lab @uwplse. union steward for UAW 4121. Wellesley College ‘2020
Kuldeep S. Meel @ksmeel
2K Followers 315 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
Lef @elefthei
1K Followers 1K Following Proofs @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
Adharsh Kamath @adharshkamath
470 Followers 2K Following PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
Apoorv @fxdpntthm
1K Followers 139 Following Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @[email protected]
Mohit Tekriwal @numerics_lambda
36 Followers 110 Following Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
ashish mishra @aegisAshish
149 Followers 407 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Formal Logic, Politics, and Philosophy.
Duckki Oe @DuckkiOe
209 Followers 254 Following Software Engineer and PhD in Static Code Analysis & Formal Verification. Love Rust & Lean and zero-knowledge proof tech.
Gowtham Kaki @GowthamK
477 Followers 373 Following Assistant Professor @CUCompSci and @cuplv. Programming Languages and Formal Methods. Village idiot.
Sankha Narayan Guria @ngsankha
990 Followers 815 Following Prof @UnivOfKansas | 🔧 programming languages / type systems / synthesis | PhD @umdcs | Ex- @meta @browserstack @firefox
Jules Jacobs @JulesJacobs5
1K Followers 3K Following
















