Thursday 20 August 2015

Professional Activities in 2015

The professional life of a researcher is exciting! Here are some of my activities in 2015:
  • PC Co-Chair of TAP 2016, the 10th International Conference on Tests & Proofs, July 2016,Vienna, Austria.
  • Associate Editor of the new open access journal Frontiers in ICT, section Formal Methods 
  • Presentation at FMICS 2015Require, Test and Trace IT
  • Presentation at Festschrift Symposium in Honor of Jose Nuno Oliveira, Guimaraes, Portugal, 26 Sep 2015: Does this Fault Lead to Failure? Combining Refinement and Input-Output Conformance Checking in Fault-Oriented Test-Case Generation.
  • Co-Organizer of the Doctoral Symposium of Formal Methods 2015
  • Invited tutorial at SQAMIA 2015: Killing Bugs in a Black Box with Model-based Testing: from Science via Tool Development to Industrial Application
  • Key Researcher in the Dependable Things project
  • Key Researcher in the TRUCONF project
  • Key Researcher in the CRYSTAL project
  • PC Member and Publicity Chair of ICST 2015
  • PC Member of FM 2015
  • PC Member of MBT 2015
  • PC Member of SEFM 2015
  • PC Member of TAP 2015
  • Reviewer for the journals Formal Aspects of ComputingScience of Computer Programming,  Logical and Algebraic Methods in Programming, and Information and Software Technology.
  • Board Member of Formal Methods Europe
  • Chair of the Study Commission for the studies Computer Science, Software Development and Business Management, and the Teacher Learning Programme Computer Science at TU Graz
  • Voting Member of the Selection Commission for Admission to the Master's Program in Computer Science at TU Graz
  • Teaching Quality Assurance in Software Development (84 students)
  • Teaching Software Paradigms (263 students)
  • Teaching Model-based Testing (24 students)
  • Teaching Logic and Logic Programming (170 students)
  • Teaching Functional Programming (149 students)