Akshay Srivatsan @srivatsan.net Stanford CS B.S. '21, M.S. '22, Ph.D. '28. I research (Distributed?) Operating Systems and/or Programming Languages and/or Networking depending on whom you ask.
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Mandeep Cheema @themandeepc.bsky.social Working on safe, network-based computer use @ https://indices.io. Systems engineer, database hugger, and a budding boulderer
Justin Yang @justintheyang.bsky.social Psych PhD student at Stanford in the Causality in Cognition Lab!
justintheyang.github.io
Ridhi Bandaru @rbanda.bsky.social 🧠🐒🤖📓
bendemonium.github.io
Andy LeClair @andyleclair.dev #ElixirLang, shitposting, dad stuff
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Ant Stanley @iamstan.dev Tell us a bit about yourself
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
shikhar @schmizz.net Making streams serverless @s2.dev
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
Arnav Verma @arnavverma.bsky.social trying to find out how people communicate with visualizations and graphics.
phd-ing, mit/csail |-
prev. bs+ms, uoft{oronto}/cs |- lab mananger, stanford/psych
https://arnavverma.com/
Conor Power @conorpower23.bsky.social Principal Applied Scientist in Microsoft CoreAI. Working on AI for coding. Co-organizer of SF Systems Meetup. CS PhD from Berkeley Sky Lab where I worked on https://hydro.run/ .
matt caren @mattcaren.bsky.social machines, minds, music. phd @ stanford. formerly MIT.
Adela @kaguuura.bsky.social 
Carmel Schare @schare.space 'puter things
https://schare.space
Nancy @monica5190.bsky.social I have a strong interest in politics, history and social issues, and like to follow international situations and national developments.
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Kristine Zheng @kristinezheng.bsky.social PhD student @ stanford | prev: mit
she/her
kristinezheng.github.io
Matt Keeter @mattkeeter.com ✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
Tian Jin @tjin.bsky.social PhD student @MIT CSAIL
Jessica Shi @jwshi.bsky.social PhD student at Penn.
Chris Gyurgyik @cgyurgyik.bsky.social Stanford PhD candidate amongst other things
https://cgyurgyik.github.io/
Matt Might @matt.might.net A private citizen
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
STEMcoding project @stemcoding.bsky.social Let's reimagine intro STEM courses with computer science in mind!
Paul Biberstein @paulbib.bsky.social Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Aditya Chetan @justachetan.bsky.social PhD Student at Cornell. Working in Vision and Graphics. justachetan.github.io
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
objectively evil woman @objectivelyevil.bsky.social above average estrogen enjoyer
Cirno @cirno.quest I have permission to post all Cirnos. Feel free to ask for source.
I have a website: https://cirno.quest/
Not sure what to do with it though
pixiv: https://www.pixiv.net/en/users/59337025
Teodoro Fields Collin @collinteodoro.bsky.social I like scientific computing, programming languages, compilers, numerical analysis, and emacs. I also like sci-fi, history, historical video games, and fanfic.
@peteyskies.bsky.social @peteyskies.bsky.social 
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "HOLIDAY" by Turnstile
Jiahai Feng @fjiahai.bsky.social AI interp @UC Berkeley | prev. MIT
jiahai-feng.github.io
Kartik Chandra @kartikchandra.bsky.social I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
AJR @ajroot.bsky.social PhD student at Stanford working on compilers and graphics
https://ajroot.pl
Yihong Zhang @yihozhang.bsky.social Programming languages and database systems.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
@jessemichel.bsky.social @jessemichel.bsky.social 
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Justin Solomon @justinmsolomon.bsky.social Associate prof, MIT EECS/CSAIL 💻🔬🦥🧀🏋️♀️🎼🐈🎻🏳️🌈 he/him/his
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Silvia Sellán @silviasellan.bsky.social Assistant Professor of Computer Graphics and Geometry Processing at Columbia University https://www.cs.columbia.edu/~silviasellan/
Man in Business Suit Levitating @dfeldman.org 
Joe Cutler @alphaconvert.bsky.social cutler.pl
Yann Herklotz @yannherklotz.com Postdoc at EPFL working with interactive theorem provers for hardware design.
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian- J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Reshabh K Sharma @reshabh.bsky.social Everything is a compiler!
PhD student @uwcse
Opinions are my own!
CF Bolz-Tereick @cfbolz.bsky.social PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
Aart Bik @aartbik.bsky.social Dutch-American computer scientist
Utrecht (MSc), Leiden (PhD)
#Nvidia #Google #Intel
#astrophotography #chess #compilers #sparse #vectorization
🌐 aartbik.com
@dooblad.bsky.social @dooblad.bsky.social 
@joewhaley.bsky.social @joewhaley.bsky.social