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, Mitacs, IBM, Samsung, and Huawei.
Our current projects evolve around four main areas:
Internal information for lab members is here.