[ 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, May 24!
Prof Prof Tiziana Margaria, University of Limerick, Ireland will reflect on her
experiences in teaching Formal Methods in two countries: Germany and Ireland.
Tiziana is a computer scientist and software engineer whose research topics
include formal methods and model-driven engineering. She has worked in Italy,
Germany, Sweden, and Ireland, and currently is the Chair of Software Systems in
the University of Limerick's Department of Computer Science and Information
Systems. She has a broad experience in the use of formal methods for high
assurance systems, in particular concerning functional verification,
reliability, and compliance of complex heterogeneous systems, with applications
to embedded systems, healthcare, and smart advanced
manufacturing. A few pointers from Tiziana's numerous roles are that she is the
Past President of FMICS (the ERCIM Working Group on Formal Methods for
Industrial Critical Systems); the managing editor of STTT, the Springer Journal
on Software Tools for Technology Transfer; and a co-founder of the TACAS and
ISoLA series of conferences.
In her career spanning several decades of teaching and research in several
European contexts, here are a couple of milestones:
- a survey on her group's experience:
https://urldefense.com/v3/__https://link.springer.com/referenceworkentry/10.1007/978-3-030-10576-1_208__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb55VnWxTE$
- teaching Formal Methods in Germany:
https://urldefense.com/v3/__https://ceur-ws.org/Vol-1385/paper4.pdf__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb58r1Pk1Q$
- a book on teaching Foundations of process modelling to non-CS students in
Germany:
https://urldefense.com/v3/__https://link.springer.com/book/10.1007/978-3-662-45006-2__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb59kX7xVw$
- using models as a high level tool for computational thinking:
https://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/8377800__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5yHsDtDs$
https://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/7273708__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5wxR3mU7$
- modelling for teenagers:
https://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/5090525__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-1i0Ip0$
https://urldefense.com/v3/__https://ieeexplore.ieee.org/abstract/document/7552218__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-SxGWun$
More information about our lecturer can be found here:
https://urldefense.com/v3/__https://www.ul.ie/hri/person/hri-member/prof-tiziana-margaria__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb52YMMhi6$
.
The zoom link for Prof. Margaria’s lecture is
https://aboakademi.zoom.us/j/64254430116.
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!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5-4f-dFo$
.
__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!Tm96Fk5qUahNUjWOWeAEpN3MLKxoin7q0L7h3c_PVSd0FmmGY2Uh0Ka4kRGZOafmJ1kkra3yFZVflwTKPRouW2QwO3pb5zp-H-j_$
