Hello! I am currently pursuing a Computer Science PhD at UMass Boston. I'm interested in researching ways to help verify the correctness of programs.
Dennis Liew, Tiago Cogumbreiro, Julien Lange. In PLACES, 2022.
Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, and Hannah Zicarelli. In CAV, 2021.
University of Massachusetts Boston
Bellerbys College Brighton
Part of UMass Boston's Software Verification Lab. "We make your programs run right"
Projects can be found on my GitLab and GitHub pages.
Proofs formalization and various methods to improve upon software correctness.