Scientific Activities
- Program committee member of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014) at the 16th International Conference on Formal Engineering Methods (ICFEM 2014)
- Program committee member of the 7. Arbeitstagung Programmiersprachen (ATPS 2014)
- Program committee member of the 8th International Conference on Software Security and Reliability (SERE 2014)
- Program committee member of the Software Engineering Track at the 29th Annual ACM Symposium on Applied Computing (SAC 2014)
- Program committee member of the 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013) at the 15th International Conference on Formal Engineering Methods (ICFEM 2013)
- Program committee member of the 7th International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2013)
- Program committee member of the 7th International Conference on Software Security and Reliability (SERE 2013)
- Program committee member of the Software Engineering Track at the 28th Annual ACM Symposium on Applied Computing (SAC 2013)
- Program committee member of the 3rd Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2012) at the 33rd IEEE Real-Time Systems Symposium (RTSS 2012)
- Program committee member of the 1st International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012) at the 14th International Conference on Formal Engineering Methods (ICFEM 2012)
- Program committee member of the 6th International Conference on Software Security and Reliability (SERE 2012)
- Program committee member of the Software Engineering Track at the 27th Annual ACM Symposium on Applied Computing (SAC 2012)
- Program committee member of the 2nd Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2011) at the 32nd IEEE Real-Time Systems Symposium (RTSS 2011)
- Program committee member of the 5th IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2011)
- Program committee member of the Software Engineering Track at the 26th Annual ACM Symposium on Applied Computing (SAC 2011)
- Program committee member of the 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2010)
- Program committee member of the 5th International Workshop on Systems Software Verification (SSV 2010)
- Program committee member of the 1st International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010)
- Program committee member of the 4th IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2010)
- Program committee member of the 8th International Workshop on Rewriting Logic and its Applications (ETAPS/WRLA 2010)
- Program committee member of the Software Engineering Track at the 25th Annual ACM Symposium on Applied Computing (SAC 2010)
- Program committee member of the 4th International Workshop on Systems Software Verification (SSV 2009)
- Program committee member of the 3rd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2009)
- Program committee member of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)
- Program committee member of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008)
- Program committee member of the Software Engineering Track at the 23rd Annual ACM Symposium on Applied Computing (SAC 2008)
- Co-organizer of the 7th Workshop on Language Descriptions, Tools and Applications (ETAPS/LDTA 2007)
- Program committee member of the Software Engineering Track at the 21st Annual ACM Symposium on Applied Computing (SAC 2006)
- Co-organizer of the 5th Workshop on Language Descriptions, Tools and Applications (ETAPS/LDTA 2005)
- Co-organizer of the 4th Workshop on Language Descriptions, Tools and Applications (ETAPS/LDTA 2004)
- Program committee member of the 3rd Workshop on Language Descriptions, Tools and Applications (ETAPS/LDTA 2003)
- Co-organizer of the Colloquium on Programming Languages and Foundations of Programming (2001)
Current Administrative Activities
- Member of the examination board for Computer Science (since 10/2012)
- Member of the examination board for Computational Engineering Science (since 12/2012)
- Co-organization of teaching service of CS Department (since 04/2005)
- Student advisor for applied subjects within CS:
Previous Administrative Activities
- Member of the examination board for Computer Science (Diplom and BSc) (05/2001-04/2010)
- Member of the examination board for Computational Material Science (02/2003-06/2007)
- Member of the examination board for Computational Engineering Science (11/2002-03/2007)
- Student advisor for Computer Science (Diplom) (10/1994-11/1999)

