Tiark Rompf
@tiarkrompf
Purdue University (We're hiring! grad students, post-docs, faculty)
ID: 1128765451
http://tiarkrompf.github.io 28-01-2013 17:48:54
2,2K Tweet
1,1K Followers
507 Following
andrew blinn
@disconcision
progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Till Backhaus
@backhaus
Software engineer - containers, orchestration, monitoring, python, django - hungry & foolish
Todd Austin
@toddmaustin
Computer Science professor @UMich, security researcher, computer architect, entrepreneur, dad, friend, gamer, one who loves loving things!
Nate Foster
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Lennart Augustsson
@augustsson
Bartosz Ciechanowski
@bciechanowski
Toby Schachman
@mandy3284
Making CAD tools @cuttlexyz. Previously @Dynamicland1 @NotionHQ
Katharin Tai 戴愷琳 (@[email protected])
@katharintai
Chinese Cyberpolicy, PhD candidate @MIT // prev: NTNU (🇹🇼) @UniofOxford @Tsinghua_Uni @SciencesPo // Textworker, Tech & Asia // Podcasting @fernostwaerts 🌈
jonas echterhoff
@jonasechterhoff
Computer Programmer
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
James Noble
@jameskjx
Rik Arends
@rikarends
Building Makepad, Livecoding Rust for native and web. Find me elsewhere links: github.com/makepad/makepad
Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Hanneli Tavante
@hannelita
Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_, ice skating. Personal views.
Derek Dreyer
@herrdreyer
Get used to disappointment.
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Ron Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British Columbia
Robert O'Callahan
@rocallahan
Christian. Repatriate Kiwi. Hacker. rr: rr-project.org. Google Research.
Laurence Tratt
@laurencetratt
Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Charitha Saumya
@charitha22
Compiler Engineer at Intel | PhD from Purdue ECE 🇱🇰
Micah Pollak
@micahpollak
This account is archived and no longer active. Please follow me at one of the services listed here: linktr.ee/micahpollak
jcenzo.bsky.social
@wise_jenna
Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her. jcenzo.bsky.social.
Erik Meijer
@headinthebox
武政 諒 Ryo Takemasa
@takemasaryo
Illustrator
Guannan Wei
@guannanwei
Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Martin Vechev
@mvechev
Professor of Computer Science, ETH Zurich. Founder of INSAIT (insait.ai). Works on Safe/Secure AI, LLMs, Quantum. Co-founder of 6 Deep-Tech start-ups.
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Linus
@thesephist
thought & craft • ai @ thrive capital
Caleb Helbling
@calebhelbling
Senior Member of the Technical Staff @DraperLab, specializing in programming language theory
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
Annus Zulfiqar
@annus_zulfiqar
PhD student at the University of Michigan, Ann Arbor. Building Domain-Specific Architectures for Data Center Networks
Hui Guan
@guanh01
Assistant Professor, Computer Science, UMass Amherst
Mira Mezini
@m_mezini
CS Professor @TUDarmstadt from 🇦🇱, Head of @stg_darmstadt, @ERC_Research Grant Recipient, co-director Hessian.AI, board member @ATHENECenter
hardmaru
@hardmaru
Building Collective Intelligence @SakanaAILabs 🧠
Brad Woods
@bradwoodsio
Rewilding the web. Front-end developer @canva
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Harjas Monga
@harjasmonga
Performance Tools Engineer @ Apple. Trying out @[email protected]
Rodrigo Liang
@rodrigoliang
Co-founder & CEO @SambaNovaAI
Ertan Alişan
@alisanertan
Marcel Böhme👨🔬
@mboehme_
Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io
Tom Hoenig
@tom_hoenig
Distinguished Senior Fellow, Mercatus Center; President, Federal Reserve Bank of Kansas City, 1991-2011; Vice Chair, FDIC, 2012-2018
"Online Rent-a-Sage" Bret Devereaux
@bretdevereaux
Ancient & military historian specializing in the Roman economy and military. PhD @UNChistory. More impressive credential is that I have beaten Dark Souls.
Yushuo Xiao
@yushuo_xiao
Undergraduate of Peking University. Computer science.
Monique Kulkarni, PhD (she/her)
@moniquekulkarni
Counseling Psychologist | Social Justice Advocate | Clinical Administrator | Psychology Internship Training Director
hirrolot
@hirrolot
A software engineer and computer science enthusiast. I mostly use C, OCaml, Rust, and Golang. [email protected]
Songlin
@tantalusj13
First-year CS PhD student at Purdue University.
Type Theory Forall
@ttforall
Making Type Theory, Programming Languages and Formal methods more accessible! typetheoryforall.com
Patrick LaFontaine
@pat_lafonta
PhD student @PurdueCS, PL & Program Synthesis & Compilers, Probably Sleeping
Mikhail Parakhin
@mparakhin
Yueyang Tang
@ytang_42
PhD student @PurdueCS :: BSc AI&CS @InfAtEd :: Programming language/type system/compiler :: Sometimes RISC-V :: Fan of atomic rocketships
Ben L. Titzer
@titzerbl
Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Danning Xie
@danning_x
PhD Candidate @PurdueCS | LLM4Code | Software Engineering Researcher | Looking for full-time positions
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Oliver Bračevac
@etaconversion
PL Researcher, Compiler Engineer, Compiler Team Lead @epfl, Serves on the Scala Core Team. Agonizes over Effects, Capabilities & Ownership. val IOU: Nothing
Tianyi Zhang
@tian_yi_zhang
Assistant professor at Purdue CS, formerly Postdoc at Harvard SEAS and PhD at UCLA CS. Working on SE, HCI, Program Synthesis & Human-AI Interaction.
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Katelyn Jetelina
@dr_kkjetelina
Epidemiologist, educator, professor, world traveller, lover of ice cream and the ocean. Mom of 2 under 2. Publisher of Your Local Epidemiologist
Benno Stein
@benno_stein
program analysis, incremental computation, good/correct takes. past lives: static analysis at Meta London, PhD at CU Boulder
Martin Leucker
@ispmartin
Leo Lampropoulos
@leolambro
Assistant Professor at UMD | Programming languages, random testing, and formal verification
Oege de Moor
@oegerikus
CEO and founder of XBOW. Previously: Founder of GitHub Next, founder of GitHub Copilot, CEO and founder of Semmle (GitHub Advanced Security), prof at Oxford.
Vitaly Bragilevsky
@vbragilevsky
Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth manning.com/books/haskell-…
Sophia Drossopoulou
@drossopoulou
Computer Scientist, Prof. at Imperial College
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴