- Project Assistant, MSc
- TU Graz
- Institute of Applied Information Proccessing and Communications
- Inffeldgasse 16a
- 8010 Graz
- Room: IFO2060 / F.3.03
- Email: email@example.com
Research InterestsFormal methods, Temporal logics.
- I am a PhD student in the Doctoral College Logical Methods in Computer Science, and a member of the Systematic Construction of Correct Systems group at the IAIK.
- MSc: Master's Degree in Advanced Mathematics and Mathematical Engineering, Polytechnic University of Catalonia. (2018-2019)
- BA: Bachelor's Degree in Mathematics. University of Zaragoza. (2014-2018)