Andrzej Wasowski

My website: https://wasowski.dukla.ch

I research software quality: safety, privacy, testability, architecture, and development processes. I work with systems in concrete application domains: statistical data analysis (PyMC, Probula) and machine learning, robot software (ROS), safety-critical embedded and cyber-physical systems (urban water systems, digital twins), and operating system kernels (Linux). I work a lot with industrial partners and have a particularly warm spot in my heart for open source software and communities.

My goal is to help engineers build better systems and to diagnose where they fail. I study real systems to understand which quality problems can actually be addressed, and I design new technologies (modeling languages, code generators, analysis and verification tools) to address them, drawing on model-driven engineering, language design, testing, and static analysis. I am well trained in maths, and like my methods to be theoretically and methodologically well grounded. I am particularly interested in applications of probability theory and logics.