@correeno.bsky.social
Anthropomorphic baked potato. Simultaneously full of wonder and seething with rage. I was doing this before it was cool. Overheated, here let me warm you up.
@alexwarth.bsky.social
Principal Investigator at @inkandswitch.com Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google Creator of OMeta, co-creator of ohmjs.org
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@hauswirth.bsky.social
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
@cynthiablee.bsky.social
Senior Lecturer @ Stanford Computer Science Dept. AI Policy Advisor @ U.S. Senate. Interested in all things tech. Also: YIMBY, bikes, chickens, sourdough. 🏳️🌈 (formerly Cynthia Lee)
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@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
@dangrossmanseattle.bsky.social
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@tommagrino.com
My day job is making arbitrary sequences of bits others told a computer reappear on command, quickly and at scale. @tmagrino@discuss.systems https://threads.net/t.magrino
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@rhododaktylos.bsky.social
When I grow up, I want to be the Leslie Knope of ancient-language teaching.
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@queencodemonkey.dev
Independent Staff Android Eng. Formerly Trello, Adobe. Computer engineer. Podcast co-host. YouTuber-ish. randomlytyping.com androidfaithful.com/podcast | Weekly podcast for Android enthusiasts. Monkey code, monkey break, monkey debug, monkey iterate.
@pinkhairedcyn.bsky.social
Associate Professor of Computer Science at Oberlin College.
@ducsonnguyen.com
Alderperson for the City of Ithaca’s 2nd Ward 🏗️ Software engineer. Husband. 😺 dad. Cyclist. Heavy thing lifter. Nintendo fan. Free 🇵🇸
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@dherman.dev
Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
@stevecheckoway.bsky.social
Associate Professor of Computer Science at Oberlin College. No kings, no nazis.
@taliaringer.bsky.social
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@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/
@docsavage.bsky.social
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@akhirsch.bsky.social
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him