[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
