Evgenia Ternovska, Simon Fraser University

Research

Automata Descriptive Complexity (DC)Dynamic Logics Efficient Reasoning Hanf Locality Homomorphisms Knowledge Representation (KR)Monadic Second-Order Logic (MSO)

Latest funding

Computational Aspects of Reasoning about Dynamic Systems
NSERC · 2022 · Principal investigator
$87,000
Scalable Knowledge Representation and Solving
NSERC · 2017 · Principal investigator
$115,000

All 2 grants and awards

Computational Aspects of Reasoning about Dynamic Systems

Principal investigatorNSERC2022Discovery Grants Program - Individual

Principal investigators: Ternovska, Evgenia

Keywords: knowledge representation (kr); reasoning about actions; descriptive complexity (dc); dynamic logics; hanf locality; efficient reasoning; monadic second-order logic (mso); homomorphisms; synthesis of reactive ai agents; automata

$87,000

Scalable Knowledge Representation and Solving

Principal investigatorNSERC2017Discovery Grants Program - Individual

Principal investigators: Ternovska, Evgenia

$115,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Mention their NSERC grant from 2022

Subject: Prospective PhD student: Automata Dear Professor Ternovska, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on automata connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Computational Aspects of Reasoning about Dynamic Systems" (2022), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]