Brigitte Pientka
School of Computer Science
McGill University
Canada
Biography
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.
Research Interest
logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks.
Publications
-
Anton Setzer, Andreas Abel, Brigitte Pientka and David Thibodeau. Unnesting of Copatterns, Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA'14), LNCS 8560, pages 31-45, Springer, 2014
-
Brigitte Pientka and Andrew Cave. Inductive Beluga: Programming Proofs (System Description), 25th International Conference on Automated Deduction (CADE-25), LNCS 9195, pages 272-281, Springer, 2015.
-
Amy Felty, Alberto Momigliano, Brigitte Pientka. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 2 - A Survey (including the electronic appendix). Journal of Automated Reasoning, 55(4): 307-372, 2015
