Brad Fitzpatrick 🌻

@bradfitz

I do computers. Married to @radkat. 3 kids. Xoogler. @golang team '10~'20. Made LiveJournal, memcached. Now @Tailscale. Mostly in bluer skies these days.

+ Follow

Shrutarshi Basu 🇺🇳

@basus

Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him.

+ Follow

Christie Koehler

@christi3k

Infrastructure Engineering by day. Gaming and art by night. MS & Sjögren’s. she/her. mastodon: @[email protected]

+ Follow

Roy Frostig

@froystig

research scientist at @googledeepmind. co-author of JAX (github.com/jax-ml/jax)

+ Follow

Jim W @[email protected]

@jwithy

Semi-Buddhist nail-biting front-end web-devving hyphenator | 💙 Empathy heart supporter 💙 | he/him | jw.micro.blog | xoxo.zone/web/@jwithy

+ Follow

Nathan Altice

@circuitlions

Games researcher and archivist. Synth destroyer. Makes old things new. Computational Media at UCSC. Wrote I AM ERROR. Analogjoy.club. altice.bsky.social

+ Follow

Brendan Dolan-Gavitt

@moyix

Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net

+ Follow

Nate Foster

@natefoster

professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.

+ Follow

Filip Jerzy Pizło

@filpizlo

PL/VM/compilers @ Epic Games

+ Follow

Sam Tobin-Hochstadt

@samth

Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]

+ Follow

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

+ Follow

asker the gauche, glycojohn destroyer of carbs

@johnbender

Though brain damaged, he retained his scientific skill and intellect, unfortunately choosing to use it for acquiring bread. (Formal Verif. Researcher @ Sandia)

+ Follow

billions of packets

@justinesherry

Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹

+ Follow

mjec

@mjec

@[email protected] and mostly not here anymore. aka Michael Cordover. Software engineer @ Etsy. Ex-lawyer. Recurser. They.

+ Follow

Charlie McDowell

@cmcwerner

+ Follow

Jeff

@jeffowler

hachyderm.io/@jfo

+ Follow

Andrew Myers

@andrewcmyers

Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.

+ Follow

Joachim Breitner

@nomeata

Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata

+ Follow

Maya Keytar née Kuper

@leadsynth

Girl with the waveform tattoo. Audio geek. Keytarist extraordinaire. Editor-in-chief @zZounds. Co-creator of @DaynaClayBand and of my two daughters!

+ Follow

Nintendo .DS_Store

@sliminality

I want to talk to you about the affect and aesthetics of computing. More active elsewhere.

+ Follow

Michael McThrow

@mmcthrow

I'm a computer scientist who loves systems, AI, and programming languages. I love music (especially jazz) and Japan. #StopAsianHate

+ Follow

Patrick Walton

@pcwalton

Programming languages and graphics person. @pcwalton.bsky.social

+ Follow

Lorrie Cranor

@lorrietweet

Password researcher & fashion idol. Bad-ass cyberfeminist. Usable privacy & security prof. Quilter. Runs after 3 kids + soccer balls.

+ Follow

Derek Dreyer

@herrdreyer

Get used to disappointment.

+ Follow

Aaron J Elmore

@aaronjelmore

Databases & Information. Assoc. Prof of CS @ University of Chicago

+ Follow

Manish

@manishearth

territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨‍🔬 Formerly physics. he/him

+ Follow

Loris D'Antoni

@lorisdanto

A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.

+ Follow

D

@dbp__

+ Follow

Pedro Abreu

@p_droabreu0

@ttforall

+ Follow

Kostis Kaffes

@kkaffes

Assistant Prof. @ColumbiaCompSci. Former Google, @Stanford. Athenian.

+ Follow

Elisa Gonzalez Boix

@elisagboix

prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.

+ Follow

Kristopher Micinski

@krismicinski

@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.

+ Follow

Will Crichton

@tonofcrates

Cognitive engineer, incoming assistant professor @BrownUniversity.

+ Follow

Zhuowei Zhang

@zhuowei

link in bio ⬛⬛⬛⬛⬛🟩🟩🟩🟩🟩🟩 ⬛⬛⬛⬛🟩🟩🟩🟩🟩🟩🟩🟩 ⬛⬛🟧⬛🟩🟫🟫🟫🟫🟫🟫🟩 ⬛⬛🟧⬛🟫🟫🟫🟫🟫🟫🟫🟫 ⬛⬛🟧🟧🟫🟧🟩🟧🟧🟩🟧🟫🟧 ⬛⬛🟧🟧🟫🟧🟫🟧🟧🟫🟧🟫🟧 ⬛⬛⬛🟧🟧🟧🟧🟧🟧🟧🟧🟧🟧 ⬛⬛⬛🟩🟩🟧🟧🟫🟫🟧🟧🟩🟩 ⬛🟫🟫🟫🟫🟫🟧🟧🟧🟧🟩🟩🟫 🟫🟫🟧🟫🟫🟫🟫🟩🟩🟩🟩🟩🟧 🟫🟧🟧🟧🟫🟫🟧🟫🟫🟩🟩🟧🟧

+ Follow

David Renshaw

@dwrensha

• Formalizing math problems in Lean: dwrensha.github.io/compfiles/. • Acronymizing every word: acronymy.net. • Maintaining capnproto-rust.

+ Follow

anna

@aldlatour

Computer Scientist. Postdoc interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Opinions my own. @[email protected]

+ Follow

Aleksey Charapko

@alekseycharapko

Assistant professor of computer science @UofNH. Interested in everything distributed/cloud/edge. Metastable failures

+ Follow

Neringa Young

@neringayoung

Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH

+ Follow

Shadaj Laddad

@shadajl

PhD student at @BerkeleySky + hydro.run, designing languages for modular and performant distributed systems. Co-organizer sfsystemsclub.com

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

+ Follow

Aishwarya Ganesan

@aishwaryaganlat

Assistant Professor @illinoiscs. Affiliated researcher @vmwareresearch, PhD from @WisconsinCS

+ Follow

Umang Mathur

@mathur_umang

Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore

+ Follow

Sam Lindley

@reifyreflect

+ Follow

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.

+ Follow

Andreea Costea

@andre_costea

formal verification, languages, and OCaml enthusiast @NUSComputing

+ Follow

Joe Cutler

@alpha_convert

CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)

+ Follow

Meredith Whittaker

@mer__edith

President of @signalapp, Chief Advisor to @ainowinstitute (Also on Mastodon @[email protected], also on bsky @meredithmeredith.bsky.social)

+ Follow

Adam Paszke

@apaszke

Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate. [email protected]

+ Follow

KC Sivaramakrishnan

@kc_srk

Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.

+ Follow

Alex Calderwood

@alex_calderwoo

Done with twitter, find me on bsky.app/profile/xenosc… PhD student in media computation @UCSC

+ Follow

Kevin De Porre

@kevindp55

Founding engineer 👨‍💻 @ElectricSQL. Part-time postdoctoral researcher 👨‍🔬 @softlab_brussel.

+ Follow

J

@eremondijoey

This account is deprecated. Find me as @[email protected]

+ Follow

Richard Eisenberg

@raehaskell

Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him

+ Follow

Sreepathi Pai

@sreepathipai

Academic (CompSci@Rochester). Randonneur. (RFC1983) Hacker. I like writing code that writes fast, parallel code, mostly for GPUs. @[email protected]

+ Follow

esteban

@ei_rn

phd student at UCSC

+ Follow

Joe Hendrix

@joe_hendrix_fm

I write software. Principal Computer Scientist at SRI.

+ Follow

The Iowa Jane Collective

@iowajanes

We are the Iowa Janes and we offer free emergency contraceptives, free pregnancy tests, and abortion resources to people in IA. email Jane at [email protected]

+ Follow

katie

@focusfronting

views are not my own and represent those of noam chomsky. she/her

+ Follow

Max ⊶ New @[email protected]

@profmaxnew

Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️

+ Follow

Rajeev Alur

@rajeevalur

Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems

+ Follow

Chen Qian

@chenqianucsc

Professor at UC Santa Cruz. “Networking guy” but interested in all exciting problems of computing.

+ Follow

Troels Henriksen [email protected]

@sigkill_dk

Hacker in academia. I think deterministic parallel programming is just great! I work on futhark-lang.org

+ Follow

Matthew Parkinson

@parkymatthew

Working at Microsoft Research on various programming language things.

+ Follow

Talia Ringer 🟣 🎗️

@taliaringer

Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

+ Follow

Satnam Singh

@satnam6502

Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}

+ Follow

Mostly here now: @davidthewid.bsky.social

@davidthewid

trying to help computer ppl think more critically about computer, including me artIG@davidthewid Postdoc@CornellTech. PhD@CMU,exNASA/MSR/IntelLabs.

+ Follow

Daniel Jackson

@danieljacksoncs

Prof. of Computer Science and Associate Director of CSAIL, MIT.

+ Follow

Razvan Marinescu

@razmarinescu

#MachineLearning #CompBio #MedicalImaging. Assist. Prof. in CSE @UCSC. Co-founder @GiwoTech.

+ Follow

Graham Hutton

@haskellhutt

Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

+ Follow