cv
General Information
| Full Name | Nils Froleyks |
| Date of Birth | 16th March 1995 |
| Institution | KU Leuven, Belgium |
| nfroleyks@gmail.com | |
| Phone | +43 670 7034204 |
| Languages | English, German |
Experience
-
2025 – Postdoctoral Researcher
Prof. Bogaerts — KU Leuven, Belgium -
2020 – 2025 University Assistant
Prof. Biere — Johannes Kepler University Linz, Austria
Education
-
2025 PhD in Computer Science
Johannes Kepler University Linz, Austria Deep Integration of SAT Solving and Model Checking- Prof. Armin Biere, Prof. Martina Seidl
-
2020 MSc in Computer Science
Karlsruhe Institute of Technology, Germany PASAR – Planning as Satisfiability with Abstraction Refinement- Prof. Peter Sanders, Dr. Tomáš Balyo, Dr. Dominik Schreiber
- Best Thesis Award 🏆
-
2017 BSc in Computer Science
Karlsruhe Institute of Technology, Germany Using an Algorithm Portfolio to Solve Sokoban- Prof. Peter Sanders, Dr. Tomáš Balyo
Career Breaks
-
2022 - Paternity Leave (Feb – Nov)
Honors and Awards
-
2025 - CAV Distinguished Paper Award
-
2022 - Third Place, Combinatorial Reconfiguration Challenge
-
2020 - Best Master’s Thesis Award, KIT
-
2019 - First Prize (Partial Gold Medal), Sparkle Planning Challenge, ICAPS
Scientific Event Organization
-
2025 - Organizer, Hardware Model Checking Competition – FMCAD, USA
-
2024 - Organizer, Hardware Model Checking Competition – FMCAD, Prague
-
2021 - Organizer, SAT Competition – Barcelona
-
2020 - Organizer, Hardware Model Checking Competition – Virtual
- Organizer, SAT Competition – Alghero, Italy
Teaching & Supervision
-
2024 - Lecturer in Model Checking (Winter), JKU Linz
- Lecturer in Debugging (Summer), JKU Linz
- Supervised Bachelor’s Thesis – Ternary simulation for IC3, JKU Linz
-
2020–2024 - Teaching Assistant – Model Checking, Formal Models, Logic, SAT Solving, AI, JKU Linz
-
2018 - Teaching Assistant – Algorithms for Planar Graphs, KIT
-
2015–2019 - Teaching Assistant – Theoretical Foundations of Informatics, KIT