Thursday 12 January 2017

Professional Activities in 2017

Here is a summary of my activities in 2017. This list will be updated as tasks come along.
  • Key Researcher in the projects 
  • Invited Speaker at the 11th Alpine Verification Meeting (AVM 2017),  Visegrad, Hungary, 18 - 21 Sep 2017.
  • Member of the appointment committee for the professorship in Information Security. 
  • External PhD examiner of Zhengkui Zhang, Aalborg University, Denmark. Thesis title: "Time and Cost Optimisation of Cyber-Physical Systems by Distributed Reachability Analysis". 
  • PC Member of 
    • A-MOST 2017, 13th Workshop on Advances in Model Based Testing
    • TAP 2017, 11th International Conference on Tests & Proofs
    • TASE 2017, 11th International Symposium on Theoretical Aspects of Software Engineering
    • MBT 2017, 11th Int. Workshop on Model-Based Testing
    • ICFEM 2017, 19th International Conference on Formal Engineering Methods
    • ICTAC 2017, 14th International Colloquium on Theoretical Aspects of Computing
  • Guest Editor of the Springer Journal Formal Aspects of Computing for a special issue of TAP 2016
  • Associate Editor of the open access journal Frontiers in ICT, section Formal Methods.
  • Teaching 
    • Quality Assurance in Software Development, 
    • Software Paradigms, 
    • Model-based Testing, 
    • Logic and Logic Programming, and 
    • Functional Programming.