Eugenia Ternovska
Associate Professor, School of Computing Science
Contact:
Tel: 778.782.4771 |
|
Email: ter@sfu.ca |
|
Office: TASC1 8025 |
|
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