Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Get used to disappointment. Professor @ MPI-SWS. Opinions expressed here are my own and do not reflect the views of my employer.
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Scottish-Punjabi-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location
Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
cs professor, h4x0r, cyclist, husband, dad.
Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: tinyurl.com/PLP5vids). ACM Council. Co-dev of noteful.net He/him.
Professor of Programming Languages at Imperial College London
Working on AI, code and reasoning. Researcher @AIatMeta & Prof @ucl. Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @samth@types.pl
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿
Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
ml @spacexai • prev phd @mit_csail • research at anish.io • blog at anishathalye.com • open-source at github.com/anishathalye
Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Husband, Dad, Academic. Software "Naturalness", AI4SE & ESE@ UC Davis. MAE, ACM Fellow, Humboldtian. ❤️s Jokes, NJ snark & the outdoors. All opinions Personal.
Sr. Researcher @RiSE_MSR, Ph.D. from @ColumbiaCompSci - #SEResearcher, #ML, Source Code, Software Engineer. Interned @fujitsulabs, @googlecloud @facebook
Chairman and CEO at Microsoft
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems @yminsky.bsky.social threads.net/@yaronminsky
There is a three car pile-up at the intersection of Art and Technology
Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
AI startup developing Imandra™, the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms
A free soul exploring the deep interconnections between problems and their solutions!
Researcher @Harvard, PhD of @TheBorzoo at MSU, interned @MSFTResearch @AWScloud. From Taiwan, into piano, violin, classical/jazz music, and 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. discuss.systems/@steveblackb…
associate professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Ph.D. candidate at @ProseccoINRIA specialized in program verification. Interested in real world, useful, scalable. Loves drawing.
Distributed Systems Researcher, Azure Research (Microsoft)
Head of Engineering @nomadiclabs / #tezos #ocaml #functionalprogramming #verification #criticalsystems / Formerly Assoc. Prof at Univ Paris Cité
PhD student @NUSComputing. Programming languages, formal methods, distributed systems. Lean is the future. ◎ pirlea.sol / Ξ pirlea.eth / pirlea.net
Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Gemini Post-training, RSI @GoogleDeepMind. Formal verification. Competitive Programmer. Views are my own.
ML compilers @nvidia. Views my own. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua. Also on bluesky, mathstodon
CEO of @Certora and a chair of software systems at @TelAvivUni, Co-Founder of @Summit_Defi - Making Formal Verification Accessible with AI
KAIST ICT Endowed Chair Professor Chairperson of Kakao Impact (kakaoimpact.org)
METU CENG 21' | PhD @umdcs | Research Scientist @datadoghq | Writing at alperenkeles.com/posts | Testing compilers, type systems, databases...
CS prof @Penn & founder @Rabdos_AI: creating data for the world’s hardest reasoning, from the chalkboard to the wet lab
Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Workshop on Functional Art, Music, Modeling and Design (FARM) @farm@mastodon.art
Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
When not programming or teaching CS @ucsd_cse, I go to the dog beach. bootstrapworld.org | pyret.org | pace.ucsd.edu
Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : p-org.github.io/P/
Artist, designer, programmer. current 2nd year phd student in the PLSE lab @uwplse. union steward for UAW 4121. Wellesley College ‘2020
Associate Professor at Georgia Tech and University of Toronto (On Leave). meelgroup.github.io Automated Reasoning | Formal Methods + AI
Proofs @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
PhD Candidate @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @fxdpntthm@types.pl
Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Formal Logic, Politics, and Philosophy.
Software Engineer and PhD in Static Code Analysis & Formal Verification. Love Rust & Lean and zero-knowledge proof tech.
Assistant Professor @CUCompSci and @cuplv. Programming Languages and Formal Methods. Village idiot.
Prof @UnivOfKansas | 🔧 programming languages / type systems / synthesis | PhD @umdcs | Ex- @meta @browserstack @firefox
Guitarist and vocalist from Mali 🇲🇱 New album 'Les Racines' out now! 💿 worldcircuit.lnk.to/VFTRacin… Tour dates: vieuxfarkatoure.com/tour