Evgenia Ternovska

Evgenia Ternovska

Associate Professor, Simon Fraser University

Eugenia Ternovska is an Associate Professor of Computer Science at Simon Fraser University. Her primary research interests are in Logical and Algebraic Foundations of Computation, Logical Reasoning about Dynamic Systems, Descriptive Complexity, Knowledge Representation and Reasoning.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist
Fields
logic and computation, algebraic and dynamic logics, descriptive complexity