Jekyll2026-03-23T16:23:22+00:00https://andrewhead.info/feed.xmlAndrew is an Assistant Professor of computer science at the University of Pennsylvania. He studies the use of computers as comprehension aids for some of the most complex information artifacts, like code, science papers, medical notes, and mechanized proofs.