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, TASC1 9019 |
| Web: www.cs.sfu.ca/~ter/ | |
Education
Ph.D. Computer Science, University of Toronto, Canada, 2002
Research interests
- Logic-based artificial intelligence
- Knowledge representation
- Efficient reasoning
Recently taught courses
- CMPT 477/777 Formal Verification
- MACM 101 Discrete Mathematics