my 2025 PhD infrastructure plan is to only communicate with my advisor through league of legends DMs
11.12.2024 20:11 — 👍 2 🔁 0 💬 1 📌 0
nobody told me about this during visit days..
09.12.2024 19:29 — 👍 0 🔁 0 💬 0 📌 0
Too funny, Sasha! Nearly spit out my drink!
14.11.2024 00:33 — 👍 0 🔁 0 💬 0 📌 0
thanks! ^ u ^
13.11.2024 07:22 — 👍 0 🔁 0 💬 0 📌 0
thanks
12.11.2024 02:03 — 👍 0 🔁 0 💬 0 📌 0
i took a bath today
10.11.2024 08:53 — 👍 2 🔁 0 💬 3 📌 0
First year phd student at Stanford, interested in compilers and formal methods. Previously at uwcse plse.
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
NLP PhD student @ UCSD | NSF CS grad fellow
recommender systems, retrieval, ML 맛집
ashleyshin.org her/she
Husband, dad, cyclist, OCaml h4x0r, Cornell CS professor (in that order)
the king of slurm! the emperor, even, of slurm!
PhD Student in CS at Princeton University
PL + HW Verification
MSc CS ETHZ & BSc CS EPFL
[she/her] 🏳️⚧️ | 🇨🇭🇵🇹
cs.princeton.edu/~ad4048
mostly on mastodon: miado@discuss.systems
PhD candidate at UC San Diego | Doing research on all things (not) secure and private | sumanthvrao.github.io
actually just on Mastodon: https://discuss.systems/@adrian
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
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
Computer Friend, Not a Bird
www.philipzucker.com
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
🏳️🌈
she/her
PhD student @ uw cse
