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