Title

Formal and Foundational Study of Programs and Programming Languages

Abstract

In this talk, I will introduce the formal and foundational approach that I take in my research studying programs and programming languages. I will present how we use mathematical techniques and formal logic to express and prove properties of programs. This line of research falls under the intersection of mathematics, logic, and computer science. One of the important applications of this field of research is expressing and proving different aspects of correctness of programs which are crucial for the safety and security of the software systems that we use every day.