Inaugural Lecture by Amin Timany on Formal and Foundational Study of Programs and Programming Languages
Info about event
Time
Location
InCuba Lille Auditorium (Building: 5510 - Room: 104), Åbogade 15, 8200 Aarhus N
Price
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.