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.