UC Davis Proposal Development Services (PDS) Team, supporting UCD Faculty fund their research! #ucdavis
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Renter; bike and transit rider
Construction project manager
Posts about safe street design and transit projects
Berkeley, CA
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
