- Johannes Kepler Universität Linz
- Institute for Formal Models and Verification
- Science Park 3, Altenbergerstr. 69, 4040 Linz
- Austria
- Room: S3 0259
- Email: nfroleyks [at] gmail.com
Research Interests
- Model Checking
- SAT Solving
- Planning
Current Position
- I am a PhD student in the Doctoral College Logical Methods in Computer Science, supervised by Prof. Armin Biere.
Education
- MSc and BSc in Computer Science at Karlsruhe Institute of Technology