Sarah E. Chasins
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@adamrpah.bsky.social
Professor at Andrew Young School of Policy Studies - Georgia State | SCALES OKN Data Scientist, Legal Researcher, Thorn in Side
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@taliaringer.bsky.social
@aswearngin.bsky.social
HCI research scientist at Apple, working on computational UI understanding, accessibility, and developer tools. https://amaswea.github.io
@vivek-bharadwaj.com
Graduate Student, UC Berkeley | HPC and Parallel Computing | Details at vivek-bharadwaj.com
@yuriybrun.bsky.social
Professor at the University of Massachusetts Amherst https://people.cs.umass.edu/~brun/
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@ucbids.bsky.social
BIDS is a space for Open Scholarship, Open Source, and interdisciplinary collaboration on AI in science and society. It is part of the UC Berkeley College of Computing, Data Science, and Society. https://bids.berkeley.edu/
@parkie-doo.sh
PhD Student at UC Berkeley EECS // Programming Languages • Human-Computer Interaction • Visualization • Cartography // Building alpha.cartokit.dev Software Engineer at @gristnews.bsky.social // Maps • Data • Graphics • Code
@pjreddie.bsky.social
@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
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@shadaj.me
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com More at https://shadaj.me!
@kmohr.bsky.social
nyc 🌃 mit '23 | meng '24 your friendly neighborhood PL enjoyer she/her
@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
@kfisler.bsky.social
Research Prof at Brown Computer Science studying computing education. K-12 outreach through Bootstrap. Avid jigsaw puzzler.
@dangrossmanseattle.bsky.social
@feldmanmolly.bsky.social
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
@nilou.bsky.social
hci+ai co-founder/cpo @Across AI prof @UC Berkeley gif whisperer | 🐱🐱 mom 👩🏻🏫 niloufar.org 👩🏻💻 across.ai | https://bsky.app/profile/across-ai.bsky.social
@axz.bsky.social
Professor of social computing at UW CSE, leading @socialfutureslab.bsky.social social.cs.washington.edu
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@lmeyerov.bsky.social
Makes: graphistry.com/get-started / louie.ai / graphtheplanet.com OSS: pygraphistry, gfql graph lang, apache arrow, GPU dataframes Before: web FRP, socio-plt, parallel browsers, project domino Data-intensive investigations with LLMs, GPUs, & graphs
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@magrawala.bsky.social
Forest Baskett Professor of Computer Science and Director of the Brown Institute for Media Innovation at Stanford. http://graphics.stanford.edu/~maneesh
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@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/
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@markguzdial.bsky.social
Professor in CSE, Information, and Education at U-Michigan. Director of PCAS https://lsa.umich.edu/computingfor. Computing Ed Researcher, blogger, dad. https://computinged.wordpress.com/
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.