Raimund Kirner

Dr. Raimund Kirner is a Reader in Cyberphysical Systems at the University of Hertfordshire, UK. His research focuses on embedded computing, parallel computing, and real-time systems, with notable contributions to worst-case execution time (WCET) analysis, compiler design for predictability, and cybersecurity. He leads several projects, including the EU-funded CRAFTERS initiative and the FWF-supported SECCO and FORTAS-rt projects. Kirner holds a PhD from TU Vienna (2003) and a Habilitation (2010). He has authored over 100 publications and holds two patents. His work bridges many-core and embedded systems, emphasizing reliability and predictability.

Education:

• PhD in Computer Science, TU Vienna, 2003
• Habilitation, TU Vienna, 2010

Research Interests:

Kirner's research spans parallel computing architectures, WCET analysis for real-time systems, compiler optimizations for predictability, and cybersecurity in embedded systems. He explores machine learning applications for medical diagnostics (e.g., EEG-based Alzheimer detection) and quantum cryptography frameworks. His work on mixed-criticality systems aims to enhance reliability in automotive and aerospace domains.

Grants and Projects:

• Principal Investigator (CRAFTERS): EU Artemis-JU project addressing multi-core predictability (2012–2015)
• Co-Investigator (ADVANCE): FP7 project optimizing parallel programs (2012–2015)
• FWF-funded projects: SECCO (coverage preservation), FORTAS-rt (WCET measurement), and CoSTA (compiler timing predictability)

Awards:

• Two patents granted for innovations in cybersecurity and embedded systems

Labs and Teams:

Kirner contributes to the Centre for AI and Robotics Research and the Cybersecurity and Computing Systems Group at the University of Hertfordshire. His collaborations include projects with TU Vienna and industry partners like the Technology Strategy Board.

Advising:

He has supervised one doctoral student, as documented in his Scopus profile, and oversees interdisciplinary research teams in cyber-physical systems.