Evgenia Ternovska

Associate Professor, Simon Fraser University

Evgenia Ternovska is an Associate Professor at Simon Fraser University. Her research interests are Logic in Computer Science, Descriptive Complexity, Theoretical Computer Science, Knowledge Representation, Efficient Reasoning, Reasoning about Actions, Modal Logics, and Fixpoint logics.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist