Program Committees
- Conference on Database Systems for Business, Technology and Web (BTW): 2023
- International Conference on Database Theory (ICDT): 2019, 2024
- International Conference on Implementation and Application of Automata (CIAA): 2016
- Workshop on Non-Classical Models of Automata and Applications (NCMA): 2012, 2015
Reviewer for Journals
- ACM Transactions on Database Systems
- Acta Informatica
- The Computer Journal
- Information and Computation
- International Journal of Foundations of Computer Science
- Journal of the ACM
- Journal of Computer and System Sciences
- Logical Methods in Computer Science
- RAIRO - Theoretical Informatics and Applications
- Theoretical Computer Science
- Theory of Computing Systems
Reviewer for Conferences
- ACM Symposium on Principles of Database Systems (PODS): 2013, 2021
- Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 2009
- Annual Symposium on Combinatorial Pattern Matching (CPM): 2017
- Computability in Europe (CiE): 2010, 2015
- EACSL Annual Conference on Computer Science Logic (CSL): 2010
- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS): 2011
- International Colloquium on Automata, Languages and Programming (ICALP): 2012, 2016, 2018, 2022
- International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM): 2008, 2012, 2013
- International Conference on Database Theory (ICDT): 2013, 2018, 2021
- International Conference on Developments in Language Theory (DLT): 2015, 2016, 2018
- International Conference on Implementation and Application of Automata (CIAA): 2007, 2011, 2013, 2017, 2018
- International Conference on Language and Automata Theory and Applications (LATA): 2010, 2016
- International Symposium on Games, Automata, Logics and Formal Verification (GandALF): 2012
- International Symposium on Mathematical Foundations of Computer Science (MFCS): 2016, 2017, 2020
- International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Advances in the Theory of Computing (SYNASC AITC): 2010, 2014
- International Symposium on Theoretical Aspects of Computer Science (STACS): 2017, 2018
- International Workshop on Descriptional Complexity of Formal Systems (DCFS): 2007, 2008, 2009, 2012, 2015
- Scandinavian Symposium and Workshops on Algorithm Theory (SWAT): 2014
- Workshop on Non-Classical Models of Automata and Applications (NCMA): 2011