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://link.springer.com/referenceworkentry/10.1007/978-3-030-10576-1_208 - teaching Formal Methods in Germany: https://ceur-ws.org/Vol-1385/paper4.pdf - a book on teaching Foundations of process modelling to non-CS students in Germany: https://link.springer.com/book/10.1007/978-3-662-45006-2 - using models as a high level tool for computational thinking: https://ieeexplore.ieee.org/abstract/document/8377800 https://ieeexplore.ieee.org/abstract/document/7273708 - modelling for teenagers: https://ieeexplore.ieee.org/abstract/document/5090525 https://ieeexplore.ieee.org/abstract/document/7552218 More information about our lecturer can be found here: https://www.ul.ie/hri/person/hri-member/prof-tiziana-margaria. 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://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
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
