Andrew Head
andrewhead.bsky.social
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
Today at #uist2025 my student Jeffrey Tao presented our new paper "Answering Developer Questions with Annotated Agent-Discovered Program Traces" While it is too late to catch the talk, you can still find Jeff! I'm happy to make connections over email.

Paper: andrewhead.info/assets/pdf/t...
September 30, 2025 at 1:02 AM
At #chi2025 this year, see our group's latest: a projectional editor for augmenting math formulas, and a study of augmented AI-generated texts.

Look out for these faces! Jeff, @hitakam.bsky.social, and I are excited to reconnect with old friends and make new ones.
April 27, 2025 at 12:49 AM
It's great to come on to Bluesky and see so many old friends here. A good first post may be to remind everyone that Penn's PhD application deadline this is Dec. 16. We at Penn HCI are recruiting this year! Myself in the areas of HCI/PL and augmented reading. We welcome your application!
December 13, 2024 at 2:57 PM