@drewmikehead
Assistant professor @Penn CS. HCI. Computers as comprehension aids. Interactions for reading code, formulas, medical jargon, and mechanized proofs.