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