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
For those of you who enjoyed the work, Litao Yan is the lead author. He was not able to make it to Busan to present it, though I know he would be delighted to connect with anyone who resonated with or had thoughts about the work.
September 30, 2025 at 1:09 AM
Here are links to their papers:

Jeff's paper on Freeform, a projectional editor for augmenting math formulas: bit.ly/freeform-chi-25

@hitakam.bsky.social's late-breaking work on a study of augmented AI-generated texts: bit.ly/traceable-texts-chi-25
April 27, 2025 at 12:50 AM
This is awful @metaxa.net. Any news on how quickly the termination takes effect? What's the situation of the students supported by the project?
April 26, 2025 at 1:34 PM
We are also getting some of this as well. For us, it's not flaking as much as cancellations. I tell students to prepare for ~1/5 no-shows or cancellations, though I think our ratio is currently higher than that.
April 1, 2025 at 10:00 PM
Thank you so much for your kind repost, Pedro!
December 13, 2024 at 5:14 PM
Oh, and for anyone looking for the application page for our department (the department of computer and information science), here it is: www.cis.upenn.edu/graduate/how...
December 13, 2024 at 2:59 PM
Photo credit goes to the Office of University of Communications, which apparently has a ton of photos of this cool campus. www.flickr.com/photos/unive...
Locust Walk, University of Pennsylvania (Pre-pandemic image)
Photo by Eric Sucar, Office of University Communications
www.flickr.com
December 13, 2024 at 2:58 PM