Welcome to my personal website.

I'm currently a Postdoctoral Research Fellow (Erwin Schroedinger Fellowship) at the Univeristy of Notre Dame.

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

Michael Vierhauser

Postdoctoral Research Fellow

University of Notre Dame

Department of Computer Science & Engineering

mail: mi@vierhauser.net