• Project Assistant, MSc
• TU Graz
• Institute of Applied Information Proccessing and Communications
• Inffeldgasse 16a
• 8010 Graz
• Austria

Officialpicture

---

• Room: IFO2060 / F.3.03
• Email: alberto.larrauri@iaik.tugraz.at

---

Research Interests

Formal methods, Temporal logics.  

---

Current Position

• 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.

---

Education

• 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)