The ReSeSS Research Lab

The Reliable, Secure, and Sustainable Software Lab (ReSeSS) aims at improving software integrity and robustness. We develop novel solutions for analyzing and improving existing software and for building new software efficiently and effectively. Our main focus is currently on security and privacy for mobile, cloud, and AI-based systems. Through research projects, seminars, and industrial collaborations, ReSeSS lab members are exposed to a wide range of topics in development of reliable large-scale software systems.


The current projects evolve around these four areas:

Mobile Software

Mobile Software

Security, privacy, energy-efficiency.
Compositional Software Development

Compositional Software Development

Feature-based reuse, feature interactions, upgrade inconsistencies.
Microservice-based Cloud Software

Microservice-based Cloud Software

Security, performance, fault-tolerance.
Trustworthy ML Agorithms

Trustworthy ML Agorithms

Security, fairness.

Our solutions rely on formal methods, program analysis, ML, and empirical software engineering.


Current Students

ReSeSS Group Meeting, August 2020

August 2020

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
  • Harshavardhan Kadiyala, MASc, 9/2017-present
  • Michael Cao, MASc, 1/2019-present
  • Peiyu (Gabby) Xiong, MASc, 9/2019-present
  • Faridah Akinotcho, MEng project, 1/2020-present
  • Evelien Boerstra, BSc (CS), USRA, 5/2020-present
  • Bowen Luo, BASc (EngPhys), research experience, 9/2020-present
  • Jingyang Sun, BASc (ECE), research experience, 1/2021-present
  • Shreyans Kulshrestha, BASc (ECE), research experience, 1/2021-present
  • John Ahn, BASc (ECE), research experience, 1/2021-present

Former Students

Lab Info

Internal information for lab members is here.

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