I am a PhD Student in the Automated Reasoning Group at the University of Cambridge under the supervision of Professor Lawrence C. Paulson

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).

My area of research is on applying automated reasoning techniques for the formal verification of hybrid dynamical systems. My long-term goal is to apply my research to real world hybrid systems. A particular intrest is in the domain of analog and mixed signal circuits.


25/09/14 - PhD Thesis Submitted!

13/05/14 - Won the "Best Paper Award" at the Formal Methods 2014 Doctoral Symposium

03/11/13 - Paper accepted to the International Symposium on Formal Methods

03/11/13 - Paper accepted to NASA Formal Methods

01/07/13 - Paper accepted to the 2013 Qualitative Reasoning Workshop

28/09/12 - Won the "Best Presenter Award" at the Imperial College Computing Workshop

10/08/12 - Paper Accepted to the Imperial College Computing Workshop

31/07/12 - Attending the Marktoberorf Summer School

09/05/12 - Took 2nd Prize in the BBC Micro Dev Challenge @ Cambridge Silicon Milkround BBC BASIC Rules.

13/03/12 - Extended Abstract, Short Talk and Poster Accepted for the Automated Reasoning Workshop

09/08/11 - First year viva passed. Double yay! Offically a PhD student now.

05/07/11 - First year report submitted. Yay!

06/05/11 - My presentation at NFM 2011 was succesful. Met some interesting and smart people. Time to get on to writing my first year report/proposal.

29/03/11 - I will be attending the Nasa Formal Methods Symposium and presenting a paper there.