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
Showing 1 - 3 results of 3 for search 'Pientka, Brigitte', query time: 0.02s
Refine Results
-
1
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023Other Authors: “…Pientka, Brigitte…”
Link to Metadata
Electronic eBook -
2
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Other Authors: “…Pientka, Brigitte…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Other Authors: “…Pientka, Brigitte…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter