Talks and Presentations
- Compositional Verification of Concurrent C Programs with Search Structure Templates
Oral presentation @ NJPLS (November 2023)
- Attacks on Low Private Exponent RSA: An Experimental Study
Oral presentation @ ICCSA (June 2013)
Research Experience
- Graduate Research Assistant
Department of Computer Science, UIC (January 2021 – Present)
- Research Student
School of CIS, University of Melbourne, Australia (June 2018 – December 2020)
- Research Assistant
PL&SE Lab, National University of Singapore (February 2016 – December 2017)
- Research Intern
Echizen Lab, National Institute of Informatics, Tokyo, Japan (February 2015 – August 2015)
- Research Assistant
Department of Knowledge Engineering, HCMUS, Vietnam National University (January 2012 – January 2016)
Teaching Experience
- CS211 – Programming Practicum (Graduate Teaching Assistant)
Department of Computer Science, UIC (Spring 2023, Fall 2023, Spring 2024)
- COMP90038 – Algorithms and Complexity (Graduate Tutor)
School of CIS, University of Melbourne, Australia (Semester I, 2019)
- CS1010E – Programming Methodology (Teaching Assistant)
School of Computing, National University of Singapore (Spring 2017)