Brigitte Pientka

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University. Her research focuses on Logic and Computation, Programming Language Theory, and the development of theoretical and practical foundations for building and reasoning about reliable software systems. She leads the Computation and Logic group at McGill and is actively involved in academic leadership roles, including serving as a program chair for ICFP and CPP. Her work combines theoretical research on logic, type theory, and theorem proving with system building. She is also an executive editor of the open-access journal Logical Methods in Computer Science and has contributed to numerous conferences and publications in the field.

Brigitte Pientka is a researcher at McGill University specializing in Programming Languages, Logical Frameworks, Type Systems, and Automated Reasoning. Her work focuses on developing formal systems for programming and reasoning with deductive structures, emphasizing type-theoretic foundations and the integration of proof and computation. She has contributed to areas such as contextual modal type theory, copatterns for infinite structures, and higher-order abstract syntax representations. Her research also explores mechanizing proofs by logical relations and the use of contextual data in type systems. Pientka's publications highlight the intersection of programming, logic, and formal verification, with applications in automated reasoning and metaprogramming.