Our research interests lie in developing a theoretical and practical foundation for building and reasoning about reliable, safe software systems. To achieve this goal, we combine theoretical research on the mathematical foundations of computer science with system building.
Some of the theoretical topics we focus on include classical and non-classical logics, type theory, verification, proof theory, analysis and design of programming languages, logic and functional programming, logical frameworks, and theorem proving.
We welcome applications from prospective graduate students, preferably students who are interested in pursuing a PhD. If interested, please contact Prof. Brigitte Pientka directly for more information and research interests.
Our research is funded by the Natural Sciences and Engineering Research Council of Canada (NSERC), Le Fonds québécois de la recherche sur la nature et les technologies (FQRNT), the Canada Foundation for Innovation (CFI) and McGill University.
- Zakaria Chihani (Inria) and Xiang Long (Cambridge University) will be visiting our group at McGill University on the week of the 18th of March.
- Promis seminar taking place at Ecole Polytechnique (LIX) in the week of the 3rd of March.
- Francisco Ferreira, Stefan Monnier and Brigitte Pientka's Compiling contextual objects: Bringing Higher-Order Abstract Syntax to Programmers accepted in PLPV 2013.
- Andreas Abel, Brigitte Pientka, David Thibodeau and Anton Setzer's Copatterns: Programming Infinite Structures by Observations accepted in POPL 2013.
- Congratulation to Francisco Ferriera and Olivier Savary-Belanger for winning the first and second place at the student research competition of ICFP 2012!
- See our Beluga project page for information about our research on programming with higher-order abstract syntax.
Individual group members may be reached through their respective homepages.