Harry Goldstein
(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
@bluesbirdsfly.bsky.social
Studying humans, tech & everything in between🤝🏽Incoming PhD @ UNC📚Trust & Gen AI🤖Responsible Tech🌍🌱 Coconut chutney connoisseur🥥🌴
@jayl.in
♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR she/her jayl.in
@echou1.bsky.social
undergrad at @umdcs (currently doing randomized testing stuff). i like to make videos and take photos.
@shabadi.bsky.social
phd student at penn trying to contribute to too many topics around theoretical computer science https://guruprerana.github.io/
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@cledmonds.bsky.social
Research Associate @sheffielduni.bsky.social working on proof assistants, formal verification & security. Passionate about CS Education. Cambridge Australia Scholar, PhD, AFHEA.
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@conorpower23.bsky.social
Berkeley CS PhD student working on hydro.run. Former senior SWE on MSFT Cosmos. Databases 🐘 and distributed systems 🕰️ with some theory 🧮 thrown in.
@plrg-bristol.bsky.social
This is the account of the Programming Languages Research Group at the University of Bristol. https://plrg-bristol.github.io/
@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
@ghostrights.bsky.social
CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
@simrob.com
boston, cats, computers? he/him profile pic by chrisamaphone The good stuff is at https://social.wub.site/@simrob
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@johngreensbluesky.bsky.social
Author (The Fault in Our Stars, The Anthropocene Reviewed, etc.) YouTuber (vlogbrothers, Crash Course, etc.) Football Fan (co-owner of AFC Wimbledon, longtime Liverpool fan) Opposed to Tuberculosis
@astrokatie.com
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr. Personal account; not speaking for employer or anyone else.
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@nishiorain.bsky.social
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
@complexly.bsky.social
A production company that believes the more we understand, the better we are at being people. Producing shows like Crash Course, SciShow, and more! Grab a SciShow postcard at Complexly.com/postcard. Check us out at complexly.com or youtube.com/complexly
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@lingthusiasm.bsky.social
A podcast that's enthusiastic about linguistics! By @gretchenmcc.bsky.social and @superlinguo.bsky.social "Fascinating" -NYT "Joyously nerdy" -Buzzfeed lingthusiasm.com Not sure where to start? Try our silly personality quiz: bit.ly/lingthusiasmquiz
@sholtzen.bsky.social
I like computers. assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@dangrossmanseattle.bsky.social
@taliaringer.bsky.social
@gretchenmcc.bsky.social
Internet linguist. Wrote Because Internet, NYT bestseller about internet language. Co-hosts @lingthusiasm.bsky.social, a podcast that's enthusiastic about linguistics. she/her 🌈 Montreal en/fr 🇨🇦 gretchenmcculloch.com
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@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.
@kjain14.bsky.social
SE PhD Student at Carnegie Mellon University interested in NLP for software engineering, program analysis and software testing. Former intern at Facebook AI Research.
@romanmars.bsky.social
Creator of 99% Invisible, WRMCLACL, Power Broker Breakdown - http://99pi.org TEDTalk on flags has over 7M views NYT Bestseller The 99% Invisible City: http://99pi.org/book East Bay, CA Alum: Oberlin, Simon's Rock of Bard, UGA
@99pi.org
Long running, award winning narrative podcast about all the thought that goes into things most people don’t think about.
@mapcenter.com
'Peddler of Wheres' at The Map Center in Pawtucket RI- it's like a vintage record store but for maps. www.mapcenter.com Cartographer, GIS specialist and educator Linktr.ee/ecoandrewtrc
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@avishree.bsky.social
CS PhD student @ UPenn. Previously @ Microsoft, Google, BITS Pilani.
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@andrewhead.bsky.social
Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable. Read about my group's work at https://andrewhead.info