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.

News and Upcoming Events

  • 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 at PPDP'18 (slides)!
  • I am on the general chair of POPL 2020.
  • I am on the PC for ESOP'19
  • I am on the PC for FSCD'19
  • I am on the SC of POPL (2017 - 2020).
  • I am on the SC of ESOP (European Symposium on Programming Languages)( 2017 - 2020).
  • I am one of the organizers of Logic Mentoring Workshop at FLOC'18 where I am giving a talk on How to get the most out of a conference!
  • I am an invited speaker at Women in Logic Workshop at FLOC'18!
  • I am an invited speaker at CPP'18!
  • I am on the PC for the Workshop "Off the beaten track" OBT 2018 which is co-located with POPL.
  • I am on the PC chair of PPDP'17 (9. Oct - 14. Oct. 2017)
  • I am one of the organizers of the PLMW workshop co-locating at ICFP'17.
  • I am a speaker at the Programming Languages Mentoring Workshop (PLMW'17) at POPL'17.
  • 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

Conference Chair

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

Editor

  • 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

  • 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
  • 25rd International Conference on Automated Deduction (CADE-25), Berlin, Germany, 2015
  • 41st ACM Symposium on Principles of Programming Languages (POPL 2015)
  • Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA'14), Vienna, Austria, July 2014
  • International Workshop on Logical Frameworks and Meta-Languages: theory and practice (LFMTP'14), July 2014, Vienna, Austria, as part of FLOC co-located with LICS'14 and IJCAR'14
  • International Workshop on Logical Frameworks and Meta-Languages: theory and practice (LFMTP'13), Sept 2013, Boston, USA, co-located with ICFP'13.
  • ACM Sigplan Workshop on Dependently typed programming (DTP'13), Sept 2013, Boston, USA, co-located with ICFP'13.
  • 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'13), Sept 2013, Boston, USA, co-located with ICFP'13.
  • 24th International Joint Conference on Automated Deduction (CADE-24), Lake Placid, USA, June 2013
  • International Conference on Interactive Theorem Proving (ITP'13), Rennes, France, Aug 2013

Professional Organizations


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