PhD in Computer Science | Vienna University of Technology, RWTH Aachen, NASA Ames Research Center
Award level: Promotio sub auspiciis praesidentis rei publicae (highest possible academic award in Austria, given personally by Austrian President)
Locations: Mountain View (Silicon Valley, US), Germany, Austria
At Vienna University of Technology, I developed a new analysis technique for embedded real-time systems for the Internet of Things (IoT). He authored about 25 papers presented on international conferences and journals that covered topics such as: runtime-verification of critical systems for the IoT, static code analysis of embedded systems, and analysis of machine code for resource constrained IoT devices.
At RWTH Aachen University, I was a visiting researcher at the Chair of CS 11 – Embedded Software (headed by Prof. Dr.-Ing. Kowalewski). In this collaboration we worked on analysis of low-level machine code (e.g. reverse engineered from binary files) for IoT microcontrollers, with the goal to automatically reveal non-trivial bugs that could not be found with conventional testing effort. That collaboration lead to multiple joint publications at conferences and journals.
At NASA Ames Research Center, I was a visiting researcher at the Robust Software Engineering group. In this collaboration, we worked on new analysis techniques for IoT systems that can be performed once the IoT devices are deployed in the field (post-deployment verification). That collaboration lead to multiple joint publications at conferences and journals in the field of runtime verification and system-health monitoring.