Andrew Head
@andrewhead.bsky.social
210 followers
28 following
12 posts
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
Posts
Media
Videos
Starter Packs
Pinned
Andrew Head
@andrewhead.bsky.social
· Jun 30
Reposted by Andrew Head
Harry Goldstein
@harrisongoldste.in
· May 7
Reposted by Andrew Head
Reposted by Andrew Head
Hita Kambhamettu
@hitakam.bsky.social
· Apr 27
Andrew Head
@andrewhead.bsky.social
· Apr 27
Andrew Head
@andrewhead.bsky.social
· Apr 26
Andrew Head
@andrewhead.bsky.social
· Apr 1
Reposted by Andrew Head
Andrew Head
@andrewhead.bsky.social
· Dec 13
Andrew Head
@andrewhead.bsky.social
· Dec 13
Reposted by Andrew Head