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 2015:  Require, 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 Computing, Science 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)