Andrzej Wąsowski

Andrzej Wąsowski is a Professor in the Computer Science Department at IT University of Copenhagen. His research focuses on software engineering, formal methods, AI/robotics, and safety-critical systems. He leads projects like REMARO (Marine Robotics reliability) and INSIGHT (program repair). His work emphasizes model-driven engineering, probabilistic systems, and open-source collaboration.

Research Interests

• Formal Verification of Autonomous Systems
• Probabilistic Programming and Privacy Analysis
• Software Product Line Engineering
• Robotics and Cyber-Physical Systems

Recent Work

Recent articles explore symbolic execution for probabilistic programs, risk-aware marine robotics planning, and privacy quantification in genetic data. He has contributed over 200 ROS bug findings and developed tools like Clafer for model-based design.

Teaching & Community

Teaches courses in probabilistic programming, advanced software analysis, and model-driven development. Active in open-source communities, including ROS and Clafer. Supervised 20+ PhD students who now hold academic and industry positions.

Labs & Projects

Leads the SQUARE Group and VBDB bug database. Coordinates the REMARO EU training network. Previously worked on ROSIN (robot software quality) and EBA (Linux kernel analysis).