My research interest lies in developing a theoretical and practical foundation for building and reasoning about reliable safe software systems. To achieve this goal, I combine theoretical research on the logical foundations of computer science in programming languages and verification with system building. The topics I am interested in include logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks.
For more information, you can visit Computation and Logic group.
I am organizing 10th Undergraduate Computer Science Research Symposium (UCORE'14) at McGill University. If you are an undergraduate at McGill who did research over the summer, submit an abstract to UCORE'14! Deadline: 18 August!