GradNova

B

Brigitte Pientka

Professor

Computer Science, McGill University

Research Interests

Logic and Computation

Programming Language Theory

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Formal Methods in Verification

Software Engineering Research

Semantic Web and Ontologies

Academic Metrics

Links

Grants