- Tweets 278
- Following 203
- Followers 786
- Likes 392
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.
Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: tinyurl.com/PLP5vids). ACM Council. Co-dev of noteful.net He/him.
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
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
AI startup developing Imandra™, the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms
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.
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.
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
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.
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 @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