×
You are not logged in
Bluesky Profile
Andrew Head
Registered: 8 Apr 2024 20:34
Last post: 4 Mar 2026 22:50
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
This account allows followers on Bluesky to be notified of new posts from this account.
| andrewhead.bsky.social PDS: chaga.us-west.host.bsky.network 2024-04-08 20:34:23 |