Professional Activities in 2019

Here is a summary of my activities in 2019. This list will be updated as tasks come along.

• Key Researcher in the project Dependable Things 
• Invited speaker at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, celebrating Tony Hoare's 85th birthday, Porto, Portugal, 8 Oct 2019.
• Member of AVL's Strategic Research Partnership Program (AVL SRP), subtopic: Intelligent Cognitive Systems. 
• Steering board member of TAP, the International Conference on Tests and Proofs
• PC Member of 
• FM 2019, 23rd International Symposium on Formal Methods
• UTP 2019, 7th International Symposium on Unifying Theories of Programming
• iFM 2019, 15th International Conference on integrated Formal Methods
• FMICS2019, Formal Methods for Industrially Critical Systems
• IFIP ICTSS 2019, 31st International Conference on Testing Software and Systems
• ICFEM 2019, 21st International Conference on Formal Engineering Methods
• A-MOST 2019, 15th Workshop on Advances in Model Based Testing
• Refine 2019, Refinement Workshop
• ITEQS 2019, 3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
• Guest Editor of the Wiley journal Software Testing, Verification and Reliability (STVR) for a special issue on Testing Extra-Functional Properties. 
• Member of the selection boards for 
• a full professorship in Information Security
• a tenure track position in Cryptography
• external master students in the programmes Computer Science and Software Engineering and Management
• Teaching 
• Quality Assurance in Software Development, 
• Software Paradigms, 
• Model-based Testing, 
• Logic and Logic Programming, and 
• Functional Programming.