Andrew Head

@andrewhead.bsky.social

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