

From Theory to Practice: Prototyping More Robust Termination Checking for the Coq Proof Assistant
After graduating from the University of British Columbia (UBC) in Spring 2020, Jonathan Chan continues to pursue his research interests in programming languages (PL) as a master’s student at UBC. His work has resulted in a proof of concept for more robust termination checking in Coq, an interactive proof assistant.