Evgenia (Eugenia) Ternovska

School of Computing Science

Simon  Fraser University

 
 

I am an Associate Professor of Computing Science, working in the area of Computational Logic.  My main research interests are in the area of Logic-based AI, Knowledge Representation and

Efficient Reasoning.  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.


A recent conference I co-organized with Tommie Meyer:

13th INTERNATIONAL WORKSHOP

ON NON-MONOTONIC REASONING

May 14-16, 2010

Sutton Place, Toronto, Canada

Proceedings


Recent talk: Declarative Programming of Search Problems with Built-In Arithmetic: Complexity and Expressiveness [slides in pdf]


Currently looking for PhD/MSc students.

 

Associate Professor

Computational Logic

      


Current Activities


  1. •Co-Chair (with Tommie Meyer), NMR’2010, May 14-16, Toronto, Canada.

  2. • KR 2012, (PC Member)

  3. • IWIL 2012 (co-chair)

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

  5. •- IJCAI’11 (Senior PC Member)

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

  7. •- LPNMR’09, LPNMR’11 (PC member)

  8. •- AAAI’08 (PC member)

  9. •- ECAI’10 (PC member)

  10. •- IWIL’10 (Co-Chair)

  11. •- DALT’09, DALT’10 (PC member)

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

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

  14. •- LaSh’10 (Co-Chair)

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

  16. • other..