Search Results - Pientka, Brigitte

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
Refine Results
  1. 1
    Cover Image

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

    Published 2023
    Other Authors: “…Pientka, Brigitte…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

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

    Published 2023
    Other Authors: “…Pientka, Brigitte…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 3
    Cover Image

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

    Published 2023
    Other Authors: “…Pientka, Brigitte…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: