Eugenia Ternovska

Associate Professor, School of Computing Science

Contact:

Tel:
778.782.4771
Email:
ter@cs.sfu.ca
Fax:
778.782.3045
Office:
SFU Burnaby, TASC 9019
Personal webpage:  www.cs.sfu.ca/~ter/my_web_page/Welcome.html    

Education

Ph.D. Computer Science, University of Toronto, Canada, 2002

Diploma (Hons.) Applied Mathematics, Moscow State University, 1989

Research interests

  • Logic-based artificial intelligence
  • Knowledge representation
  • Efficient reasoning 

Recently taught courses

  • CMPT 477/777 Formal Verification
  • MACM 101 Discrete Mathematics