[fg-arc] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!"

Luigia Petre Luigia.Petre at abo.fi
Tue Mar 25 20:20:03 CET 2025


Dear all,

We continue our Formal Methods Teaching tutorials series with a lecture on Friday, March 28, at 4 pm CET!

(Please note the slightly different starting time!!!)

Prof. Peter-Michael Osera from Grinnell College in US will discuss about teaching formal verification together with the foundations of computer science.

Here comes the abstract of the talk:

How do we promote the importance and relevance of formal verification to undergraduate computer scientists? While we often focus on building better tools, we should spend an equal, if not greater, amount of time thinking about the pedagogy of formal verification. What are the essential theories and techniques every undergraduate should know from the field? In this talk, I introduce how I have addressed these questions, first through tool building and then through pedagogy. In particular, I present an ongoing multi- institutional project to integrate formal methods across the undergraduate curriculum, in particular, its mathematical foundations.

Professor Osera has recently won a 3-year grant from NSF on the topic of "Integrating Formal Methods into the Foundational Undergraduate Curriculum": https://www.nsf.gov/awardsearch/showAward?AWD_ID=2422174.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia

PS: for more info, here is the tutorial series webpage:
https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.




__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
www.users.abo.fi/lpetre
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20250325/30de6ea2/attachment.htm>


More information about the fg-arc mailing list