Academic Service

Membership in Steering Committees or Boards:
  • Chair of the Steering Committee of the Computability in Europe (CiE) Conference Series (2016 -- present).
  • Steering Committee Member of the Computability in Europe (CiE) Conference Series (2013 -- present).
  • Member of the Council of the Association Computability in Europe (ACiE) (2016 -- present).
  • Member of the Board of the European Association for Computer Science Logic (EACSL), as representative of CiE (2016 -- present),
  • Member of the Board of the Fachgruppe Automaten und Formale Sprachen -- Gesellschaft für Informatik – AFS@GI (2021 -- present).
  • Member of the Editorial Board of Algorithms, an open access journal edited by MDPI (2014 -- 2021).
Chairman of Program Committees:
  • PC-Chair (with Alex Simpson) of the 29th Computer Science Logic Conference, CSL 2022.
  • PC-Chair (with Gabriel Istrate) of the 10th edition of Advances in the Theory of Computing track of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018.
  • PC-Chair (with Cezar Campeanu, Jeffrey Shallit) of the 18th Workshop on Descriptional Complexity of Formal Systems, DCFS 2016.
  • PC-Chair (with Denisa Diaconescu) of the 2nd edition of Romanian Days in Computer Science DACS 2015, workshop affiliated to the 11th conference Computability in Europe, CiE 2015.
  • Chair (with Marian Gheorghe) of the Bio-inspired Computing Special Session at the 10th conference Computability in Europe, CiE 2014.
  • PC-Chair (with Andrei Paun) of the 1st edition of Romanian Theory Day in Computer Science DACS 2014, workshop affiliated to the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014.
  • PC-Chair (with Gabriel Istrate) of the 2nd edition of Advances in the Theory of Computing track of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010.
Program Committee Member (other than the ones above):
  • 33rd Annual Symposium on Combinatorial Pattern Matching -- CPM 2022.
  • 33rd International Workshop on Combinatorial Algorithms -- IWOCA 2022.
  • 18th Computability in Europe conference -- CiE 2022.
  • 28th Computer Science Logic Conference -- CSL 2021.
  • 32nd Annual Symposium on Combinatorial Pattern Matching -- CPM 2021.
  • 15th International Conference on Reachability Problems -- RP 2021.
  • 17th Computability in Europe conference -- CiE 2021.
  • 22nd Intl. Conference on Descriptional Complexity of Formal Systems -- DCFS 2020.
  • 25th Intl. Conference on Implementation and Application of Automata -- CIAA 2020.
  • 16th Computability in Europe conference -- CiE 2020.
  • 18e Journ\'es Montoises d'Informatique Th\'eorique, JM 2020.
  • 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019.
  • 30th Annual Symposium on Combinatorial Pattern Matching, CPM 2019.
  • 15th Computability in Europe Conference, CiE 2019.
  • 22nd International Conference on Developments in Language Theory, DLT 2018.
  • 14th Computability in Europe Conference, CiE 2018.
  • 24th International Symposium on String Processing and Information Retrieval, SPIRE 2017.
  • 34th International Symposium on Theoretical Aspects of Computer Science, STACS 2017.
  • 13th Computability in Europe Conference, CiE 2017.
  • 23rd International Symposium on String Processing and Information Retrieval, SPIRE 2016.
  • 12th Computability in Europe Conference, CiE 2016.
  • 11th Computability in Europe Conference, CiE 2015.
  • 7th edition of Advances in the Theory of Computing track, AITC @ SYNASC 2015.
  • 2nd Romanian Theory Day in Computer Science workshop, DACS @ CiE 2015.
  • 6th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2014.
  • 1st Romanian Theory Day in Computer Science workshop, DACS @ ICTAC 2014.
  • 5th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2013.
  • 5th edition of Advances in the Theory of Computing track, AITC @ SYNASC 2013.
  • 8th International Workshop on Developments in Computational Models, DCM 2012.
  • 4th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2012.
  • 4th edition of Advances in the Theory of Computing track, AITC @ SYNASC 2012.
Reviewer for the journals:
  • BioSystems (Elsevier),
  • Fundamenta Informaticae (IOS Press),
  • IEEE Transactions on Knowledge and Data Engineering (IEEE Computer Society Press),
  • Information and Computation (Elsevier), - Information Processing Letters (Elsevier),
  • Information Sciences (Elsevier),
  • International Journal of Computer Mathematics (Taylor and Francis),
  • International Journal of Fundations of Computer Science (World Scientific),
  • Journal of Applied Mathematics and Computing (Springer),
  • Journal of Automata, Languages and Combinatorics (Otto von Guericke University, Magdeburg),
  • Journal of Combinatorial Theory, Series A (Elsevier), 
  • Journal of Computer and System Sciences (Elsevier), 
  • Mathematical and Computer Modelling (Elsevier),
  • RAIRO - Theoretical Informatics and Applications (EDP Sciences),
  • Romanian Journal of Information Science and Technology (The Publishing House of the Romanian Academy),
  • Soft Computing (Springer),
  • Theoretical Computer Science (Elsevier),
  • Theory of Computing Systems (Springer).
Referee for the conferences: CIAA 2005, DCFS 2006, LATA 2007, SYNASC 2007, LATA 2008, DLT 2008, SYNASC 2009, LATA 2010, SYNASC 2010, AFL 2011, DCFS 2011, SOFSEM 2012, CiE 2012, DCFS 2012, STACS 2013, LATA 2013, CiE 2013, CPM 2013, DCFS 2013, WORDS 2013, MFCS 2013, LATA 2014, UCNC 2014, ICALP 2014, DLT 2014, LATA 2015, CPM 2015, DLT 2015, WORDS 2015, IWOCA 2015, ISAAC 2015, STACS 2016, DLT 2016, MFCS 2016, ESA 2016, IWOCA 2016, AUTOMATA 2017, CPM 2017, ICALP 2017, STACS 2018, ESA 2018, MFCS 2018, IWOCA 2018, STACS 2019, FOCS 2019, ICALP 2020, ICALP 2021.

Grant proposal referee for: Deutsche Forschungsgemeinschaft (DFG); US National Security Agency's Mathematical Sciences Program; Czech Science Foundation; South Africa’s National Research Foundation (NRF); Romanian Executive Agency for Higher Education, Research, Development and Innovation (UEFISCDI).

Reviewer for Zentralblatt MATH.