The ReSeSS Research Lab

The Reliable, Secure, and Sustainable Software Lab (ReSeSS) develops solutions that enable construction of reliable software in an efficient manner. Our current focus is on security and integrity of mobile and cloud-based systems, as well as robustness, explainability, and fairness of AI systems.

Our work relies on program analysis, formal methods, ML, and empirical software engineering. 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 main areas:

Mobile Software

Mobile Software

Security and privacy, malware detection, quality, testability.
Compositional Software Development

Compositional Software Development

Testing and debugging, developer productivity, integration failures, upgrade inconsistencies.
Microservice-based Cloud Software

Microservice-based Cloud Software

Architecture and design, security, reliability, performance.
Trustworthy ML Agorithms

Trustworthy ML Algorithms

Adversarial robustness, explainability and interpretability, fairness, ML in software systems.

Team

Current Students

Group Meeting August 2024

Group Meeting August 2024

More fun pictures ...

  • Khaled E. Ahmed, PhD, 9/2017-present (co-supervised with Prof. Lis)
  • Sahar Badihi, PhD, 9/2018-present
  • 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
  • Kreetik Thakur, BSc (CS), directed studies, 5/2024-present
  • Manan Daga, BSc (CS), WLIURA, 5/2024-present
  • Sarthak Harne, BSc (CS), Mitacs intern, 7/2024-present

Former Students

Lab Info

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

Internal information for lab members is here.