The ReSeSS Research Lab

The Reliable, Secure, and Sustainable Software lab (ReSeSS) focuses on developing automated solutions that support expert decision-making in areas related to quality, security, and reliability of software and AI systems, as well as technology for enabling regulatory compliance of AI.

Our work relies on program analysis, formal methods, machine learning, and empirical research. We typically start from exploratory studies, investigating existing practices and core challenges. We then develop solutions for the identified challenges and evaluate them in a practical setup.

I am extremely grateful to have our research supported by NSERC, CFI, Mitacs, IBM, Samsung, Huawei, and Meta.


Our current projects evolve around four (interrelated) areas:

Software Analysis

Software Analysis

Security, privacy, malware detection, quality, testability (especially for mobile software).
Developer Support

Developer Support

Testing and debugging, developer productivity, fact-checking and reasoning in ML/LLM for code.
Software Modernization and Reuse

Software Modernization and Reuse

Feature-based design and development, reuse, code modernization, services and microservices.
Trustworthy AI

Trustworthy AI

Adversarial robustness, privacy, explainability, law and regulations.

Team

Current Students

Group Meeting January 2025

Group Meeting January 2025

More fun pictures ...

  • Khaled E. Ahmed, PhD, 9/2017-present (co-supervised with Prof. Lis)
  • Yingying Wang, PhD, 5/2019-present
  • Michael Tegegn, MASc, 9/2021-present
  • Sarah Bornais, MASc, 9/2023-present
  • Fatemeh Khashei, MASc, 9/2024-present
  • Masih Beigi Rizi, MASc, 9/2024-present
  • Manan Daga, BSc (CS), WLIURA, research experience, 5/2024-present
  • Liam Clawson-Honeyman, BASc (ECE), USRA, 5/2025-present
  • Boyu Zhu, BSc (SE), Mitacs intern, Fudan University, 5/2025-present
  • Qingqing Zheng, BA (Law), Mitacs intern, Shandong University, 6/2025-present

Former Students

Lab Info

graduate hat icon

Please read this page if you are interested in joining the ReSeSS research lab.

Internal information for lab members is here.