ABOUT ME

Welcome to my personal website.

I'm currently a Senior Researcher at the LIT Secure and Correct Systems Lab at the Johannes Kepler University in Linz, Austria.

My research interests include Requirements-based Monitoring, Diagnosis of Large-Scale Software Systems, Cyber-Physical & Safety-Critical Systems, and Software Product Lines.


Michael Vierhauser

Senior Researcher

Johannes Kepler University Linz, Austria

LIT Secure and Correct Systems Lab

https://www.jku.at/lit-secure-and-correct-systems-lab

mail:mi@vierhauser.net