Due to the increasing complexity and scale of software systems today, ensuring their stability, safety, and efficiency is a growing challenge. The iProgress lab, headed by Dr. Peter Pirkelbauer, aims to meet that challenge by developing tools and techniques to verify and optimize software systems.
Our areas of research include:
- Static Analysis
- Source Code Transformation Systems
- Runtime Systems and Continuous Optimizations
- Software Verification Systems
- Non-Blocking Software Design.
Recent Comments