DC-RES Team

Project

Nationality: Iran

Master: Computerarchitecture, Univerität Shahid Beheshti, 27.05.2018

Start DC-RES: 05.12.2018

Supervisor: Prof. Muhammad Shafique

Status: Positive Proficiency Evaluation 20.06.2020

Thesis title: Efficient Hardware Security for Emerging Embedded Systems: Attacks and Defenses

Project

Nationality: Iran

Bachelor: Computer Engineering – Software, Sharif University of Technology, 15.05.2019

Start DC-RES: 01.10.2019

Supervisor: Prof. Radu Grosu

Status: Positive Proficiency Evaluation 07.05.2021

Thesis title: Towards Bio-inspired, Small and Robust Deep Learning Vision Systems

Project

Nationality: Italy

Master: Computer Science Informatica, Sapienza Università, 27.05.2020

Start DC-RES:  01.10.2020

Supervisor: Prof. Radu Grosu

Status: Positive Proficiency Evaluation, 04.03.2022

Thesis title: Safe Learning Algorithms for Autonomous Driving

Project

Nationality: Italy

Master: Electronic Engineering, Politecnico di Torino, 25.10.2019

Start DC-RES:  01.10.2020

Supervisor: Prof. Muhammad Shafique and Prof. Andreas Steininger

Status: Positive Proficiency Evaluation, 04.03.2022

Thesis title: Fault Analysis and Mitigation for Modern Deep Learning Systems

Project

Nationality: Egyptian

Master: Applied Computer Science, Vrije Universiteit Brussel (VUB) / Brussels, Belgium

Start DC-RES:  10.10.2018

Supervisor: Prof.  Andreas Steininger

Status: Positive Proficiency Evaluation, 22.06.2020

Thesis title: Towards Self-Healing Asynchronous Circuits

Project

Nationality: Mexico

Master: Continuous Task Specification
in Shared Memory Asynchronous Models and the Topology of Partitioning
Arguments’, Universidad Nacional Autonoma de Mexico

Start DC-RES:  01.10.2019

Supervisor: Prof.  Ulrich Schmid

Status: Positive Proficiency Evaluation, 07.05.2021

Thesis title: Combinatorial Topology in Distributed Systems

Project

Nationality: Austria

Master: Medizinische Informatik, TU Wien

Start DC-RES:  01.10.2020

Supervisor: Prof. Radu Grosu

Status: Positive Proficiency Evaluation, 20.01.2022

Thesis title: Biologically Plausible Training Algorithms for Recurrent Neural Networks

Project

Nationality: Italy

Master: Electronic Engineering, Politecnico  di Torino, Italy

Start DC-RES:  01.09.2019

Supervisor: Prof. Muhammad Shafique

Status: Positive Proficiency Evaluation, 10.05.2021

Thesis title: Cross-Layer Techniques for Energy-Efficiency and Resiliency of Advanced Machine Learning Architectures

Project

Nationality: Denmark

Master: Science and Engineering, Dep. of Applied Mathematics and Computer Science, Danmarks Tekniske Universitet

Start DC-RES:  01.10.2019

Supervisor: Prof. Peter Puschner

Status: Positive Proficiency Evaluation, 10.05.2021

Thesis title: Compiling for Time-Predictability and Performance

Project

Nationality: Pakistan

Master: Electrical Engineering, National University of Science and Technology, Pakistan

Start DC-RES:  04.12.2018

Supervisor: Prof. Muhammad Shafique

Status: Positive Proficiency Evaluation, 20.06.2020

Thesis title: Formal Analysis for Resilient Neural Networks in Embedded Systems

Project

Nationality: Canada

Master: 

Start DC-RES:  23.10.2018

Supervisor: Prof. Ezio Bartocci

Status:

• Positive Proficiency Evaluation, 23.10.2020
  
• Postive Defense, 09.05.2023

Thesis title: Toward Ethically Sound Implementations of Cyber-Physical Systems

Project

Nationality: Austria

Master: Software Design & Engineering, FH Campus Wien

Start DC-RES:  01.10.2020

Supervisor: Prof. Karl M. Göschka

Status: Positive Proficiency Evaluation, 04.03.2022

Thesis title: Computational Offloading for non-time-critical applications

Project

Nationality: India

Master: Biology/ Electronic Engineering, Birla Institute of Technology and Science, Pilani, India

Start DC-RES:  01.10.2019

Supervisor: Prof. Muhammad Shafique

Status: Positive Proficiency Evaluation, 18.06.2021

Thesis title: Hardware and Software Architectures for Energy-Efficient Smart Healthcare Systems

Project

Nationality: Austria

Master: Software Engineering and Internet Computing, TU Wien

Start DC-RES:  01.10.2018

Supervisor: Prof. Wolfgang Kastner

Status: Positive Proficiency Evaluation, 16.01.2020

Thesis title: Robust IPv6 Multicast Routing for the
Internet of Things

Is working as C++ Developer and Scrum Master at EB Austria.

Project

Nationality: Iran

Master: Computer Engineering – Software, University of Science and Culture

Start DC-RES:  01.10.2020

Supervisor: Wolfgang Kastner

Status: Positive Proficiency Evaluation, 

Thesis title: Resilient Broadcast Athentication in IoT devices

Project

Nationality: Austria

Master: Computer Engineering (Technische Informatik), TU Wien

Start DC-RES:  01.10.2018

Supervisor: Prof. Andreas Steininger

Status: Positive Proficiency Evaluation, 22.06.2020

Thesis title: Synergies and Conflicts of Security and Dependability from a Microarchitectural Perspective

Project

Nationality: Austria

Master: Medical informatics, TU Wien

Start DC-RES:  03.12.2018

Supervisor:

Former: Prof. Ezio Bartocci

Prof. Frank Rattay

Status: Positive Proficiency Evaluation, 22.06.2020

Thesis title: Medical Cyber-Physical Systems – Modelling and Efficient Simulation of Cardiac Dynamics

Project

Nationality: Austria

Master: Master of Science in Engineering, FH-Technikum Wien

Start DC-RES:  01.10.2028

Supervisor: Prof. Karl. M. Göschka

Status:

• Positive Proficiency Evaluation, 16.01.2020
  
• Positive Defense, 19.09.2022

Thesis title: Sensor Node Fault Detection in Wireless Sensor Networks:
An Immune-inspired Approach

Project

Nationality: India

Master: Master of Technology, Dr B R Ambedkar National Institute of Technology, Jalandhar, India

Start DC-RES:  01.10.2020

Supervisor: Prof. Ezio Bartocci

Status: Positive Proficiency Evaluation, 04.03.2022

Thesis title: Fault diagnostics for safety-critical Cyber-Physical Systems

Project

Nationality: Austria

Master: Software Design and Engineering, FH Campus Wien

Start DC-RES:  01.10.2020

Supervisor: Prof. Karl M. Göschka

Status: Positive Proficiency Evaluation, 04.03.2022

Thesis title: Interactive Programming as an “Operating System” for Resilience in Distributed Systems

Embedded Computing Systems Group

Andreas Steininger is leading a VLSI design team at the Institute. He received his Diplomingenieur degree (MS) in Electrical Engineering in 1988 and the PhD in Computer Engineering in 1994, both from the TU Wien. In 1999 Steininger received his “venia docendi” in Computer Engineering. He held visiting positions at the Siemens Research Center in Munich and at Logic Vision in San Jose, CA.

Steininger has been involved in many industrial and scientific projects concerned with real-time communication networks (X-by-wire, TTA), the design of fault-tolerant / radiation-tolerant computer architectures and their evaluation by means of fault-injection (PDCS, EXTRACT, FATAL, EASET), testing (built-in self-test, on-line testing) (STEACS, CEVTES), asynchronous logic design (DARTS, ENROL). His current research focuses on asynchronous (“clockless”) logic design, timing-domain interfacing, metastability, and GALS architectures. He has published 150+ papers in journals and at international conferences (see TU Wien publication database), and is co-inventor of 10+ patents.

Cyber-Physical Systems Group

Ezio Bartocci

I am a professor for Formal Methods in Cyber-Physical Systems Engineering at the Faculty of Computer Science TU Wien, and I am leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Unit. The primary focus of my research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems.

Automation Systems Group

Wolfgang Kastner is the head of the Automation Systems Group at the Technische Universität Wien. His research specializes in the development of control networks and distributed automation systems with a specific focus on industrial, home and building automation systems, and smart grids, including aspects of safety and security. He is actively involved in the development of approaches and techniques for secure and reliable cyber-physical production systems, smart buildings, and smart grids, and their integration into the Internet of Things. He has contributed as a program committee member to numerous conferences and workshops, and founded the IEEE Industrial Electronics Society Technical Committee for Building Automation, Control and Management (IEEE-IES TC BACM).

Muhammad Shafique was a full professor from Nov 2016 until August 2020 at TU Wien

TU Wien, Embedded Computing Systems Group

(now NYU Abu Dhabi)

Muhammad Shafique is a full professor (Univ.Prof.) of Computer Architecture and Robust Energy-Efficient Technologies (CARE-Tech.) at the Embedded Computing Systems Group, Institute of Computer Engineering, Faculty of Informatics, TU Wien since Nov. 2016. He received his Ph.D. in Computer Science from Karlsruhe Institute of Technology (KIT), Germany in Jan.2011. Afterwards, he established and led a highly recognized research group for several years as well as conducted impactful research and development activities in Pakistan. Besides co-founding a technology startup in Pakistan, he was also an initiator and team lead of an ICT R&D project. He has also established strong research ties with multiple universities in Pakistan, where he is actively co-supervising various R&D activities, resulting in top-quality research outcome and scientific publications. Before, he was with Streaming Networks Pvt. Ltd. (Islamabad office) where he was involved in research and development of video coding systems several years.

FH Technikum, Department of Electronic Engineering

Karl Michael Göschka holds a Dipl.-Ing. degree (compareable to M.Sc.) in electrical and control engineering, a Dipl.-Ing. (compareable to M.Sc.) degree in computer science; a Mag.rer.soc.oec (compareable to M.Soc.Ec.Sc.) degree in computer science management, and a doctoral degree in information systems (1999, “Architectures of Web Applications”) from TU Wien, all with greatest honors. 07/1994 – 09/2000 he was with the Institute of Computer Technology at TU Wien as a research and teaching assistant. During this period he also served as a consultant and headed research co-operations with Ericsson, Siemens, the Austrian Federal Railways, and Frequentis. 1996 – 2003 he assisted Prof. Eier with the supervision of ten Ph.D. students. Awards: 3rd prize at the International Mathematical Olympiade 1985; “GIT promotion award” of the ÖVE 1994 and 1999; “appreciation award” of the Ministry of Research and Transport 1998, dissertation award by the Austrian president 1999.

FH Technikum Research Group Embedded Systems

Martin Horauer studied Electrical Engineering and Information Technology at TU Wien. In 1994 he joined the research project SynUTC. In the project he was responsible for the implementation and evaluation of custom application specific integrated circuits and inspection of key system parameters. To that end, his doctoral thesis is devoted to the problem of an implementation of precise distributed clock synchronization in the worst-case range of some ns.

FH-Technikum Wien

Course director Bachelor Business Informatics

Course director Master Data Science

• Habilitation for the subject “Business Administration” (focus: business informatics)
• Doctorate at the Vienna University of Economics and Business
• Studied business informatics at TU Wien/Vienna University/Vienna University of Economics and Business
• Lycee Français de Vienne
• Born in Vienna

Cyber-Physical Systems Group

Research

Model-based design, analysis and control of complex dynamic systems; Model checking, abstract interpretation, logic and automata theory, control theory; Computational models in systems biology; Applied formal methods, software and systems engineering, UML.

• Online Publications
• Online Talks
• Position Statement
• Short Bio
• Curriculum Vitae
• Research Statement
• Teaching Statement
• Service Statement
• Citations Summary

Cyber-Physical Systems Group

Peter Puschner is a professor in computer science at TU Wien, Vienna, Austria. He received his PhD from TU Wien in 1994 and then worked as a research associate at TU Wien. In 1999 Puschner became a professor. In 2000/2001 Puschner held a Marie-Curie Category 30 fellowship (contract HPMF CT 1999-00184) and was a Marie-Curie research fellow at the University of York, England.

P. Puschner’s main research interest is on hard real-time systems for safety-critical applications, with a focus on the worst-case execution time (WCET) analysis of real-time programs and software/hardware architectures for time-predictable computing. He has strongly influenced the state of the art in these fields, published more than 80 refereed conference and journal papers, and was a guest editor for the special issue on WCET analysis of the Kluwer International Journal on Real-Time Systems in 2000. P. Puschner has been member of numerous program committees on embedded real-time systems, was the program-committee chair of the IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC) in 2003 and of the Euromicro Conference on Real-Time Systems (ECRST) in 2004. He was general chair of the Euromicro Conference on Real-Time Systems in 2002 and of ISORC in 2004.

Embedded Computing Systems Group

Research

I am interested in finding sound solutions to relevant and difficult scientific problems in all areas of computer engineering. My major concerns are motivation and support of my PhD students and PostDocs and, more generally, creating a climate that combines challenge, openness, fun & freedom in my research group. My past and current PhD students (I am proud of and grateful to all of them) could tell …

Research fields: Starting out from the mathematical analysis of algorithms and network protocols for multiaccess channels, I turned to applying analytic combinatorics in the analysis of queueing systems subject to deadlines, which cumulated in my Habilitation at TU Wien. My current major research interests are modeling and mathematical analysis of fault-tolerant distributed algorithms, topology in distributed systems, epistemic logic, fault-tolerant asynchronous VLSI circuits/SoCs, and real-time systems.

E101-03 – Forschungsbereich Scientific Computing and Modelling