article thumbnail

In conversation with a (highly passionate) temporal logician

Futurum

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.

article thumbnail

Understanding, detecting and combatting deepfakes in the real world

Futurum

Security, Trust and Privacy in Edge Computing and Internet of Things (IoT), Smart Cities. Yu suggests that students wishing to pursue a career in the field should focus on taking mathematics, physics and programming – if your school offers it. • WHAT ARE YOUR PROUDEST CAREER ACHIEVEMENTS SO FAR? FIELDS OF RESEARCH. MEET DEERAJ.