Andrzej Wasowski

Andrzej Wasowski is a Professor and research group leader at the IT University of Copenhagen, specializing in Software Engineering and Software Quality Research (SQUARE). He leads projects involving underwater robotics, AI verification, and probabilistic programming, with a focus on model-driven development and variability in systems.

• Key Collaborations: Innovation Fund Denmark, European Commission, Danmarks Frie Forskningsfond

Research Trends include underwater image segmentation, safety analysis of autonomous vehicles, and symbolic methods in probabilistic programs. His work integrates formal methods with real-world applications in marine technology.

Projects like VARIETE and DIREC explore dependable systems and verifiable AI. He has contributed datasets to ZENODO and participated in workshops on domain-specific language design and software testing.