Research

In the past, I have done research in combinatorics, graph theory, and mathematical modeling.

Currently, my main research interests lie in formal methods tools and their applications, with a particular focus on security.

Publications:

• R. Lorch, B. Meng, K. Siu, A. Moitra, M. Durling, S. Paul, S. Varanasi, C. McMillan, “Formal Methods in Requirements Engineering: Survey and Future Directions,” FormaliSE (colocated with ICSE) 2024 (to appear). pdf
• D. Larraz, R. Lorch, M. Yahyazadeh, F. Arif, O. Chowdhury, and C. Tinelli, “CRV: Automated Cyber-Resiliency Reasoning for System Design Models,” FMCAD 2023.
• B. Carrigan, D. Diaz, J. Hammer, J. Lorch, and R. Lorch, “Constructing (3, b)-sudoku pair Latin squares,” Australasian Journal of Combinatorics 2022. pdf
• B. Carrigan, J. Hammer, J. Lorch, R. Lorch, and C. Owens, “List colorings count rokudoku-pair squares,” Bulletin of the Institute of Combinatorics and its Applications 2021. pdf