Very honored to receive this award at OOPSLA along with my amazing colleagues! Sorry that I will not be there this year in person
01.10.2025 01:02 — 👍 2 🔁 0 💬 0 📌 0
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
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
