Author Search Results

Brigitte Pientka

Brigitte Pientka (born 1971) is a computer scientist whose research involves formal methods for software system safety, including type theory, automated reasoning, and the operational semantics of functional programming. Born in Germany and educated in Germany and the US, she works in Canada as a professor of computer science at McGill University, where she heads the Computation and Logic Group. Provided by Wikipedia

Automated Deduction - CADE 29 : : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings.

Participants: Pientka, Brigitte. [ ]; Tinelli, Cesare. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Computer Science Series ; v.14132

Links: Get full text

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / / edited by Brigitte Pientka, Cesare Tinelli.

Participants: Pientka, Brigitte. [ ]; Tinelli, Cesare. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Artificial Intelligence, 14132