If you or your students are interested in visualization tools, may I suggest signing up for my student @parkie-doo.sh's study! We're learning *a lot* about how to build direct manipulation programming tools these days! Please pass the sign up link along to your labs!
docs.google.com/forms/d/e/1F...
28.08.2025 20:55 — 👍 4 🔁 1 💬 0 📌 0
CS Professor at UC Berkeley
Professor at Andrew Young School of Policy Studies - Georgia State | SCALES OKN
Data Scientist, Legal Researcher, Thorn in Side
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.
HCI research scientist, working on human centered AI and agentic experiences
https://amaswea.github.io
Graduate Student, UC Berkeley | HPC and Parallel Computing | Details at vivek-bharadwaj.com
Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
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/
PhD Candidate 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
(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
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Mom, foodie, traveller, computer scientist