[ 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, November 28, at 10 am CET!
Please note the special time - Graeme lives in Australia!
Prof Graeme Smith has worked in Formal Methods for more than 3 decades, with
over 130 publications in the area. His book titled “The Object-Z Specification
Language”, published in 2000 is extremely well known, cited and applied in
telecommunications and the railways sector. His work in real-time embedded
systems has found application and significant funding in the defence sector.
Graeme’s main research theme is the application of formal techniques to
evaluate the functional correctness and the security of concurrent systems. He
has worked as a scientist at several institutions in Germany and France as well
as in his native Australia. Currently, Graeme is an Associate Professor of
Computer Science at the University of Queensland and Principal Scientist of the
Defence Science and Technology Group (Australia).
Graeme is very engaged in teaching Formal Methods as well: he is one of the
Formal Methods Teaching committee of FME and one of the authors of a recent
paper advocating a desirable form and format for teaching Formal Methods
(https://urldefense.com/v3/__https://dl.acm.org/doi/full/10.1145/3670419__;!!IBzWLUs!WwQxPh23M1jvXYQ_niuylObxrSe-1mHTWFZ19oyJgPb_FAMEB2LN38-vdiSUb0Yu64e7N5Hg0BOZ-4OX-s5FHntoRXwWQSt8ZRDx$
).
In his tutorial, Graeme will explain some advanced evaluation techniques
employed in his course “Reasoning about Programs”. This course uses Dafny.
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!WwQxPh23M1jvXYQ_niuylObxrSe-1mHTWFZ19oyJgPb_FAMEB2LN38-vdiSUb0Yu64e7N5Hg0BOZ-4OX-s5FHntoRXwWQbA3f6V4$
.
__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!WwQxPh23M1jvXYQ_niuylObxrSe-1mHTWFZ19oyJgPb_FAMEB2LN38-vdiSUb0Yu64e7N5Hg0BOZ-4OX-s5FHntoRXwWQRDbFCLg$
