Remove Calculus Remove IoT Remove Mathematics Remove Robotics
article thumbnail

Is Computer Science STEM – The Link Between the Two

STEM Education Guide

It’s no secret that the exposure of students to science, technology, engineering, and mathematics (STEM) can positively impact the future of the world and their futures. Engineering can factor in topics such as civil engineering, electronics, and robots. Technology ranges from design and computer programming (coding) to analytics.

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. FIELDS OF RESEARCH: Temporal Logic and Formal Methods.