Nicholas Mertin
PhD Student
Electrical and Computer Engineering
Ingenuity Labs Research Institute
Smith Engineering
Jackson Hall, Room 113
Nick Mertin is a PhD student under the supervision of Prof. Joshua Marshall and Dr. Sean Kauffman, investigating formal verification and validation of safety-critical and mission-critical software systems in robotics and autonomous vehicles. He previously completed his MASc thesis, which proposed a novel approach to formal verification of computational digital logic systems, under the supervision of Prof. Karen Rudie and Dr. Jana Dunfield.
Nick serves as a voting member of the Smith Engineering Faculty Board (graduate student representative, effective September 2025), the Department of Electrical and Computer Engineering (PhD student representative), and the Queen's VEX U Robotics Team Board of Advisors.
Refereed Conference Papers
N. F. A. Mertin and K. Rudie, Generalizing Discrete-Event System Control Problems to Optimal Control, 2024 American Control Conference (ACC), Toronto, ON, Canada, 2024, pp. 5433-5440.
Academic Theses
N. F. A. Mertin, Abstract Formal Specification and Verification of Computational Digital Logic Systems, M.A.Sc. Thesis, Queen's University, Kingston, ON, Canada, 2025.
Teaching Fellow (Instructor)
ELEC 278 Fundamentals of Information Structures, Fall 2023.
Teaching Assistant
ELEC 470 Computer System Architecture, Winter 2024.
ELEC 270 Discrete Mathematics with Computer Engineering Applications, Winter 2024.
ELEC 377 Operating Systems, Fall 2022.
ELEC 374 Digital Systems Engineering, Winter 2022.