Hello, World! ☀️
- 🇸🇰 I come from Slovakia, a tiny country in Europe with delicious food.
- 🇳🇱 I’ve lived in the Netherlands since 2018, when I started my bachelor in Computer Science.
- 👩🎓 In 2024, I started pursuing a PhD with Jesper Cockx at the Programming Languages research group.
- 🧬 My research focuses on the usability of interactive theorem provers such as Agda.
- 🏢 You can usually find me in office 3.E.420 at Building 28 at the TU Delft.
Things I Like
🧙 (fantasy) books 🎲 board games
🏃♀️ running 🚴 cycling 🏂 snowboarding ⛸️ ice skating
🎅 advent of code 🎮 video games
🍀 irish dance
My Work
[2024] How Novices Perceive Interactive Theorem Provers
ICFP SRC '24Interactive theorem provers (ITPs) are known to have a steep learning curve and poor usability. This hinders their spread into commercial software development, wasting their potential to improve software quality. To understand what makes them inaccessible to novices, we conducted an online survey among bachelor students, asking them to list the obstacles they encountered while learning Agda. Analysis of the results revealed design choices and tool deficiencies which do not provide an adequate level of support to beginner nor advanced users. These observations point to one prominent point of improvement: providing a more accessible and sturdy infrastructure for ITP programmers.
TyDe '24
Extended Abstract Poster Slides Haskell Interlude