Professional Activities
Editorships
- International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) (reviewer, 2011)
- International Conference on Foundations of Software Technology and Theoretical Computer Science (FST (reviewer, 2011)
- ACM Transactions on Computational Logic (reviewer, 2011)
- Journal of Computer and System Sciences (reviewer, 2011 - 2010)
- International Symposium on Mathematical Foundations of Computer Science (MFCS) (reviewer, 2011)
- International Conference on Automata and Formal Languages (AFL) (reviewer, 2011)
- Conference on Computer Science Logic (CLS) (reviewer, 2011)
- International Workshop on Foundations of Interface Technologies (Programme Committee (Member), 2011 - 2012)
- International Journal on Software Tools for Technology Transfer (reviewer, 2011)
- International Symposium on Automated Technology for Verification and Analysis (ATVA) (Programme Committee (Member), 2011)
- International Conference on Computer Aided Verification (CAV) (reviewer, 2011)
- ACM-SIAM Symposium on Discrete Algorithms (reviewer, 2011)
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS (reviewer, 2010)
- ACM Transactions on Computational Logic (reviewer, 2010 - 2011)
- International Conference on Foundation of Software Science and Computational Structures (FoSSaCS) (reviewer, 2010 - 2011)
- International Symposium on Theoretical Aspects of Computer Science (STACS) (reviewer, 2010 - 2011)
- International Conference on Computer Aided Verification (CAV) (reviewer, 2010)
- International Conference on Foundations of Software Technology and Theoretical Computer Science (FST (reviewer, 2010)
- Acta Informatica (reviewer, 2010)
- International Journal of Foundations of Computer Science (IJFCS) (reviewer, 2009)
- Journal of Automata, Languages and Combinatorics (reviewer, 2009)
- Acta Informatica (reviewer, 2009)
- Theoretical Computer Science (reviewer, 2009)
- International Symposium on Theoretical Aspects of Computer Science (STACS) (reviewer, 2009)
- IEEE Symposium on Logic in Computer Science (LICS) (reviewer, 2009)
- International Conference on Implementation and Application of Automata (CIAA) (reviewer, 2009)
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS (reviewer, 2009)
- eJournal of Computing and Information Technology (CIT) (Editorial Board Member, 2009 - present)
- International Workshop on Runtime Verification (RV) (reviewer, 2008)
- International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) (reviewer, 2008)
- International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (reviewer, 2008)
- International Conference on Foundations of Software Technology and Theoretical Computer Science (FST (reviewer, 2008)
- International Symposium on Logical Foundation of Computer Science (LFCS) (reviewer, 2007)
- Haifa Verification Conference (HVC) (reviewer, 2007)
- International Workshop on Model-Based Testing (MBT) (reviewer, 2006)
- International Colloquium on Automata, Languages and Programming (ICALP) (reviewer, 2006)
- International Symposium on Automated Technology for Verification and Analysis (ATVA) (reviewer, 2006)
- International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) (reviewer, 2006)
- International Conference on Computer Aided Verification (CAV) (reviewer, 2006)
- IEEE Transactions on Software Engineering (reviewer, 2005 - 2006)
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS (reviewer, 2005)
Examination Roles
- Universität des Saarlandes, MSc (PGT, 2008)
- Universität des Saarlandes, BSc (UG, 2007)
Other Administrative or Committee Roles
- PhD Admission Tutor for Computer Science