sarajuhosova Goto Github PK

Hello, World! ☀️

About Me:

• 🇸🇰 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 formal verification tools such as Agda or Agda2HS.
• 🏢 You can usually find me in office 3.E.220 at Building 28 at the TU Delft.

What I've Done:

• 🎓 I finished my bachelor with a thesis on Validating Type Checkers Using Property-Based Testing and I continued down the programming languages path with my master thesis on Bringing Formal Verification into Widespread Programming Language Ecosystems.
• 👩‍🏫 During my studies, I TA'd my fair share of courses, including Functional Programming and Concepts of Programming Languages. I've also been a Head TA for Computer Organisation and Software Quality & Testing!
• 🎅 My favourite programming challenge is Advent of Code. You can check out my solutions here!

Things I Like: 🧙 fantasy books 🎲 board games 🎮 video games 🍀 irish dance 🏃‍♀️ running 🚴 cycling 📷 photography