Evgenia (Eugenia) Ternovska

School  of Computing Science

Simon Fraser  University


  1. IJCAI 2016: SPC Member

  2. KR2016: PC Member

  3. NMR’16: PC Member

  4. IJCAI 2015: PC Member

  5. LPNMR 2015: PC Member

  6. KR2014: PC member

  7. ASPOCP 2015: PC Member

  8. GTTV'15: PC Member

  9. LaSh 2014: co-organizer, PC Member

  10. NMR 2014: PC Member

  11. ASPOCP13: PC member

  12. LPNMR-13: PC member

  13. NRAC 2013: PC member

  14. IJCAI 2011: SPC Member

  15. JAIRnm11: PC member

  16. LPNMR-11: PC member

  17. GTTV 2011: Co-Chair

  18. NMR‘2010 Co-Chair (with Tommie Meyer)

  19. KR 2012, PC Member

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-based Artificial  Intelligence,

Knowledge Representation, Efficient Reasoning,

Reasoning about Actions,

Logics of Programs, Process Algebra, Modal Logics, Fixpoint logics

I also have a strong interest in Descriptive Complexity and Formal Verification

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: Lifted Relational Algebra with Recursion, Modular Systems, Combined Multi-Lingual Constraint Solving, Model Expansion

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

[slides in pdf]


Research Interests

current activities