Remote

Sára Juhošová

@sarantja@mastodon.social

mastodon 4.8.0-nightly.2026-10-06

Working on getting a PhD via type-driven development @ TU Delft

0 Followers

0 Following

4 Posts

Joined February 15, 2024

Homepage:

https://sarajuhosova.com

GitHub:

https://github.com/sarajuhosova

Sára Juhošová @sarantja@mastodon.social

· 2mo ago

🔸 How do people program in dependently typed languages? 🔸 In our most recent work, we aim to generalise previous findings by viewing these languages as programming languages rather than just theorem provers and by focusing on users with varying levels of experience. ["Programs and Proofs in Practice: A Grounded Theory on How People Program with Dependent Types" by Ruben, @sarantja@mastodon.social (me), @wouter@types.pl and @jesper@agda.club] Accepted at TyDe'26, pre-print available here: https://sarajuhosova.com/assets/files/2026-tyde.pdf

sarajuhosova.com

Sára Juhošová @sarantja@mastodon.social

· 5mo ago

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@mastodon.social (me), @jaror@social.edu.nl, and @jesper@agda.club]

sarajuhosova.com

Sára Juhošová @sarantja@mastodon.social

· 8mo ago

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@mastodon.social, and @jesper@agda.club

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.

mastodon.social

Andy Zaidman (@azaidman@mastodon.social) - Mastodon

Sára Juhošová @sarantja@mastodon.social

· 17mo ago

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@agda.club and @azaidman@mastodon.social for the collaboration!

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

agda.club

Sára Juhošová

Andy Zaidman (@azaidman@mastodon.social) - Mastodon

The Agda Club