Congratulations to Maria Khakimova, whose master thesis work on how hints in interactive theorem prover error messages affect their usability for new users has just been accepted at ITP'26 as a full paper!

Check out the pre-print here: https://sarajuhosova.com/assets/files/2026-itp.pdf

["Enhancing Interactive Theorem Prover Error Messages with Hints" by Maria, @sarantja (me), @jaror, and @jesper]

Check out the pre-print of our latest work, accepted at ICPC'26:

"The Way of Types: A Report on Developer Experience with Type-Driven Development" by me, @azaidman, and @jesper

https://sarajuhosova.com/assets/files/2026-icpc.pdf

To determine how current practitioners experience the use of type-driven development (TyDD) and what inhibits its adoption by a wider range of developers, we conducted a survey with 130 participants from various backgrounds, asking them to describe their experience with current TyDD tools.

Proud to announce that our ICPC’25 paper on “Pinpointing the Learning Obstacles of an Interactive Theorem Prover” received the Distinguished Paper Award!

Huge thanks to @jesper and @azaidman for the collaboration!

The pre-print is available on my website:
https://sarajuhosova.com/assets/files/2025-icpc.pdf