iProgress

iProgress website

Today's software systems are increasing in complexity and scale, and 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.