Software exists everywhere in our lives. If software behaves unexpectedly, specifically unreliably or insecurely, the consequences can be severe. Thus, to make our lives sweeter , we need to make efforts to improve software reliability and security.

Our lab focuses on investigating software being developed and already deployed in the wild to identify reliability and security issues. In particular, our research topics lie in the following areas:

• Software Analysis for understanding software behaviors,
• Software Testing for detecting software unreliability bugs, and
• Software Security for identifying software security vulnerabilities.

We welcome motivated undergraduate and graduate students who are interested in +these research topics. If you are interested, please visit our Opening page for more details.