Research Interests

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.

Research Opportunities

If you are interested in join my group at McGill as an undergraduate researcher, MSc or PhD student, or postdoc, please see the following information.

News and Upcoming Events

  • I am co-chairing CPP in 2023 and 2024
  • I am on the PC for POPL'23
  • I am on the PC for IJCAR'22
  • I am on the PC for TYPES'22
  • I am on the SC of LICS (Logic in Computer Science)
  • I am one of the executive editors of the diamond open-access journal, Logical Methods in Computer Science
  • I gave an invited talk at FSCD'20
  • I gave an invited tutorial talk at LICS'20
  • I gave a talk on "How to give a talk" at the Logic Mentoring Workshop @ LICS'19 in Vancouver!
  • I gave the keynote at POPL'19 on Mechanizing Metatheory -- The Next Chapter, January 2019 (Video)
  • Test of Time Award @ PPDP'18: B. Pientka and J. Dunfield, Programming with proofs and explicit contexts, published at PPDP'08. For a retrospective, check out my talk a PPDP'18 (slides)!
  • I am the general chair of POPL 2020.
  • I have been awarded a Humboldt Fellowship! Starting September I will be spending the academic year (until August 2018) at the Ludwig-Maximilian University Munich, Germany.

Recent Publications

For a list of all publications see Research.

Recent Drafts

Software release

Professional Activities

Talks

Program Chair

  • Certified Proofs and Programs (CPP'24)
  • Certified Proofs and Programs (CPP'23)
  • 19th Symposium on Principles and Practice of Declarative Programming (PPDP'17), 9. Oct. - 14. Oct. 2017, Namur, Belgium
  • Formal Structures for Computation and Deduction (FSCD'16), 22. June - 26. June 2016, Port, Portugal.

Conference Chair

  • 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'20)
  • 22nd International Conference on Automated Deduction (CADE'09)

Editor

  • Executive Editor of Logical Methods in Computer Science
  • Editorial Board of Journal of Functional Programming
  • Editorial Board of ACM Transactions of Computational Logic (TOCL)
  • Guest Editor for a special issue in Logical Methods in Computer Science for the best papers of FSCD'16 (Co-editor with Delia Kesner)
  • Guest Editor for a special issue in Journal of Automated Reasoning for the best papers of CADE-22 (Co-editor with Renate Schmidt)
  • Guest Editor for a special issue in Information and Computation on Intuitionistic Modal Logics and Applications (IMLA) (Co-editor with Valeria de Paiva)

Recent Program Committee

  • 50th ACM Symposium on Principles of Programming Languages (POPL'23)
  • 11th International Joint Conference on Automated Reasoning (IJCAR 2022)
  • 28th International Conference on Types for Proofs and Programs (TYPES'22)
  • 11th International Conference on Certified Programs and Proofs (CPP'22)
  • 33rd ACM/IEEE Symposium on Logic in Computer Science LICS'18 which will be part of FLOC.
  • Women in Logic (WIL) workshop (co-located with LICS'17)
  • 32nd ACM/IEEE Symposium on Logic in Computer Science (LICS'17).
  • 42nd ACM Symposium on Principles of Programming Languages (POPL 2016), Extended Review Committee
  • Workshop on Type Directed Programming (TyDe), co-located with ICFP'16

Professional Organizations


Design downloaded from Free Templates
Picture taken by B.Pientka and D.Schlimm: Montreal, Biosphere