@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
@tldraw.com
infinite canvas / http://tldraw.com / http://tldraw.dev / https://discord.tldraw.com/bsky
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, 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
@elglassman.bsky.social
Assistant Professor @ Harvard SEAS specializing in human-computer and human-AI interaction. Also interested in visualization, digital humanities, urban design.
@taliaringer.bsky.social
@laughinghan.com
Let’s build tools to augment the mind, not consume it. Creator of http://MathQuill.com Now working on some programming language and structured editor ideas. https://github.com/laughinghan