Konstantin Selyunin

Konstantin Selyunin is a researcher at TU Wien's Institut für Technische Informatik (Institute of Computer Engineering). He holds a Dr.techn. (PhD) in Computer Engineering from TU Wien, completed in 2017. His research focuses on neural models, runtime monitoring in automotive systems, and adaptive control in cyber-physical systems. Key areas include hardware-efficient neural networks, temporal logic monitoring, and mission-critical system design.

• **Education**: PhD in Computer Engineering (TU Wien, 2017).

Research interests span automotive systems-of-systems, neuromorphic computing, and high-level synthesis for hardware monitoring. He collaborates on projects like HARMONIA, addressing hardware monitoring for automotive systems. His work integrates formal verification techniques with real-time systems and biophysical neural models.

Publications emphasize applications in adaptive control, self-healing systems, and spiking-neuron models for monitoring. While no formal awards are listed, his contributions to runtime monitoring and cyber-physical systems are notable.

Advising and grants: Colleagues include Thang Nguyen, Denise Ratasich, and Radu Grosu. Active in automotive electronic development and cyber-physical systems. Involved in the Network Lab at TU Wien.