[TYPES/announce] FME Teaching Tutorial on September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes

[Luigia Petre]

Dear all,

We continue our Formal Methods Teaching tutorials series with a lecture on Friday, September 27, at 3 pm CEST!

Prof. Rosemary Monahan from Maynooth University in Ireland will discuss about Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes.

Prof. Monahan is a founding member of the Principles of Programming Research group at her university and focuses on analysing the static and dynamic aspects of software systems. She earned an impressive number of research grants, nationally and internationally and coordinated international MSc programs in dependability funded by Erasmus Mundus. She is the co-founder of the VerifyThis competition series that involves both industry and academia in applying tools for delivering correct software.

In terms of teaching, Rosemary has taught Software Verification at undergraduate and postgraduate level for over 2 decades. In this talk, she will present her experience, overviewing what she teaches in modules on Software Verification (5 ECTS, delivered to 3rd year Bachelors students) and Rigorous Software Process (7.5ECTS, delivered to MSc students). In particular, she will discuss the student’s interaction with the Dafny Verifier in her courses, lab work and continuous assessment.

Rosemary will also outline her experience of directing an Erasmus+ MSc in Dependable Software Systems which she was successful in obtaining funding for from 2012 - 2018. An MSc on Advanced Software Systems Dependability was also funded under the Erasmus+ programme from 2018-2021 with the same consortium of universities.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia

PS: for more info, here is the tutorial series webpage:
https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!UGxLNVLS3DZbEEZO1ZFWyt9Ds8epy3Ds88XTjzNjhPBlA8bNi17ynINA9n1LZKz-_5hWLiUd0GZWI2nQg5m6M6Acv3InsbgyY3kc$ .


__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!UGxLNVLS3DZbEEZO1ZFWyt9Ds8epy3Ds88XTjzNjhPBlA8bNi17ynINA9n1LZKz-_5hWLiUd0GZWI2nQg5m6M6Acv3InsUMyqHnI$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240920/02915557/attachment-0001.htm>