Keynote
|
Mohammad Mousavi (University of Leicester, UK) gives the TAP keynote.
(Title to be announced) |
Short Bio: Mohammad Reza Mousavi holds the chair of Data-Driven Software Engineering at the Department of Informatics, University of Leicester. He got his bachelors and masters degree in Computer Engineering and Software Engineering, respectively in 1999 and 2001, from Sharif University of Technology, Iran. Subsequqnetly, he obtained his Ph.D. in Computer Science from Eindhoven University of Technology, The Netherlands in 2005. Since then he held positions at Reykjavik University (postdoctoral researcher), Eindhoven University of Technology (assistant and associate professor), Delft University of Technology (guest faculty member), Halmstad University (professor of Computer Systems Engineering), and Chalmers / University of Gothenburg (guest professor of Software Engineering). Mohammad's main research area is in model-based testing, particularly applied to software product lines and cyber-physical systems. He has been leading several research initiatives and industrial collaboration projects on healthcare and automotive systems their validation, verification, and certification.
Invited Tutorial
|
Martin Leucker (University of Lübeck, Germany) gives the TAP invited tutorial.
Runtime Verification |