E191-01 Research Unit Cyber-Physical Systems
Supervised by Prof. Ezio Bartocci:
- Emery Alexander Neufeld: “A Hybrid Framework for Implementing Normative Behaviour in Autonomous Cyber-Physical Systems”
- (New supervisor: Prof. Frank Rattay; Lilly Maria Treml: “Modeling and Efficient Simulation of Cardiac Dynamics”)
- Drishti Yadav: “Fault diagnostics for safety-critical Cyber–Physical Systems”
Supervised by Prof. Radu Grosu:
- Zahra Babaiee: “Towards Bio-inspired, Small and Robust Deep Learning Vision Systems”
- Luigi Berducchi: “Safe learning algorithms for Autonomous Driving”
- Julian Lemmel: “Biologically Plausible Training Algorithms for Recurrent Neural Networks”
Supervised by Prof. Peter Puschner:
- Emad Maroun: “Compiling for Time-Predictability and Performance”
191-02 Research Unit of Embedded Computing Systems
Projects supervised by Prof. Ulrich Schmid:
- Hugo Rincon Galeana: “Combinatorial Topology in Distributed Computing: Failure Models and Adversaries”
Projects supervised Prof. Muhammad Shafique (now NYU Abu Dhabi):
- Mahya Morid Ahmadi: “Efficient Hardware Security for Emerging Embedded Systems: Attacks and Defenses”
- Alessio Colucci: “Fault Analysis and Mitigation for Modern Deep Learning Systems”
- Alberto Marchisio: “Cross-Layer Techniques for Energy-Efficiency and Resiliency of Advanced Machine Learning Architectures”
- Mahum Naseer: “Formal Analysis for Resilient Neural Networks in Embedded Systems”
- Emerging Embedded Systems: Attacks and Defenses”
- Bharath Prabakaran: “Hardware and Software Architectures for Energy-Efficient Smart Healthcare Systems”
Projects supervised by Prof. Andreas Steininger:
- Alessio Colucci: “Fault Analysis and Mitigation for Modern Deep Learning Systems”
- Raghda Elshehaby: “Towards Self-Healing Asynchronous Circuits Abstract”
- Stefan Tauner: “Synergies and Conflicts of Security and Dependability from a Microarchitectural Perspective”
E191-03 Research Unit Automation Systems
Supervised by Prof. Wolfgang Kastner:
- Philipp Raich: “Robust IPv6 Multicast Routing for the Internet of Things”
- Mahyar Shariat: “Resilient Broadcast Authentication in IoT devices”