Scientific Activities
- 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 (BSc)
- Student advisor for applied subjects within CS:
- Organization of teaching service of CS Department
Previous Administrative Activities
- Member of the examination board for Computational Material Science (2003-2008)
- Member of the examination board for Computational Engineering Science (2003-2004)
- Student advisor for Computer Science (Diplom) (1994-1999)
