Software engineering researcher focused on software quality and safety
Aims to help engineers build better systems and diagnose their weaknesses
Research spans software system design, model-driven engineering, language design, bug finding, testing, static analysis, and verification
Studies real-world systems to understand addressable quality issues and develops modeling languages, code generators, and analysis/verification tools
Recent interests include AI and robotics, addressing classical properties like safety and reliability as well as emerging challenges like privacy
Has worked on systems in diverse domains: robotics (ROS), safety-critical embedded systems (e.g., elevator electric engine safety controller), OS kernels (Linux, FreeBSD, eCos), and business software (e.g., open-source ERP system Open for Business)
Long-term focus on software product lines
Actively collaborates with open-source communities and industrial partners