Privatdoz. Dipl.-Ing. Dr.techn.
I am temporary associate professor in the Embedded Computing Systems group at TU Wien. In the past, I worked at the Parasol Lab at Texas A&M University, the Laboratoire d’Informatique LIX at Ecole polytechnique, and at the Forsyte group at TU Wien. I received my M.Sc. (Diplomingenieur), Ph.D. (Doctor technicae), and habilitation (Privatdozent) in Computer Science from TU Wien in 2002, 2004, and 2015.
My primary research interest is the theoretical approach to distributed algorithms, currently focussing on automated verification of fault-tolerant distributed algorithms. In particular, I am contributing to the theoretical foundations of the Byzantine Model Checker.
My other primary interest is Ashtanga Yoga.