I am currently a systems developer at Orbis Investment Advisory Limited working in the back office.
I completed a PhD at Clare College under the supervision of Professor Lawrence C. Paulson. During this time I was also a contributing member of the Automated Reasoning Group at the University of Cambridge’s Computer Laboratory .
Previously, I spent time as a Research Associate with the Hardware Verification Group (HVG), at Concordia University under the supervision of Dr. Sofiène Tahar where I obtained my Masters of Applied Science (MASc). My undergraduate studies were completed in the Department of Electrical and Computer Engineering at McGill University where I received a Bachelor of Engineering (BEng).