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.