Bachelor of Applied Science in Computer Engineering (Hons.), 2026
Queen's University
I am a MASc student in Computer Engineering at Queen’s University, under the supervision of Dr. Sean Kauffman and Dr. Christian Muise. I am currently researching verification methods for operating systems used in safety-critical systems, with the goal that the developed method will be able to be implemented and maintained by developers in industry. Previously, I have done work researching the use of bounded model-checkers on software systems. Outside of research I like to play soccer.
Pronouns: he/him