معرفی
Joanne M. Atlee is a Professor at the Cheriton School of Computer Science, University of Waterloo, Canada. Her research focuses on software engineering, particularly improving software quality through feature modeling and feature interaction management in complex systems like software product lines, systems-of-systems, and the Internet of Things. She develops theories of composition, interaction detection algorithms, coordination architectures, and proof systems for interoperability.
Key research areas include
- Feature Interaction Management
- Software Product Line Engineering
- Model-Based Engineering
- Formal Verification
Her recent publications explore AI-generated code detection (2024), variability-aware analysis (2024), and dynamic assertion generation (2023). Collaborations span institutions like McGill University, INRIA, and Siemens Canada, with applications in automotive software and cyber-physical systems.
