In conversation with a (highly passionate) temporal logician
Futurum
NOVEMBER 3, 2022
Kristin’s research spans a wide range of applications and theoretical domains, but the one thing they all have in common is temporal logic – that is, an unambiguous, mathematically precise way of describing and reasoning about systems that change over time. FASCINATING FORMAL METHODS. ABOUT TEMPORAL LOGIC.
Let's personalize your content