Evgenia (Eugenia) Ternovska

School of Computing Science

Simon Fraser University

• IWIL 2012: co-chair

• GTTV 2011, (co-organizer, PC member)

• IJCAI’11 (Senior PC Member)

• NonMon at 30 (a special conference devoted to the 30th anniversary of the field) (PC member)

• LPNMR’09, LPNMR’11 (PC member)

• AAAI’08 (PC member)

• ECAI’10 (PC member)

• IWIL’10 (Co-Chair)

• DALT’09, DALT’10 (PC member)

• Workshop on Applications, co-chair (within NMR’08)

• LaSh’08 (Logic and Search) workshop (PC member)

• LaSh’10 (Co-Chair)

• 24th Canadian Conference on Artificial Intelligence (PC member)

Associate Professor, Computational Logic

Logic in Computer Science,

Descriptive Complexity, Theoretical Computer Science,

Knowledge Representation, Efficient Reasoning,

Reasoning about Actions, Modal Logics, Fixpoint logics

I obtained my PhD in 2002 in Artificial Intelligence under the supervision of Ray Reiter (1939-2002) at the University of Toronto, Canada.

Currently looking for PhD students

(Please see under Students above)

Also looking for postdoctoral researchers, to apply for PIMS postdoctoral scholarship

Current research focus: Descriptive Complexity, Algebra of Modular Systems, Model Expansion, Logic of Information Flows

Talk: Declarative Programming of Search Problems with Built-In Arithmetic: Complexity and Expressiveness

Research Interests

current activities