International Colloquium on Automata, Languages and Programming · 2025
Cited
2
Resume (English only)
Academic Achievements
Editorial roles: Editor of Theory of Computing Systems (TOCS), Associate Editor for Theoretical Computer Science at Frontiers in Computer Science, Editor of Algorithms
Extensive service on program committees of major conferences including CIAA, ICALP, PODS, LICS, ICDT, FoIKS, CPM, LATA, BTW, STACS, DLT, etc.
Served as PC Chair or Organizer for events such as CIAA 2021, BICOD 2015, TTATT 2013
Organized multiple Dagstuhl Seminars, e.g., 'Formal Methods of Transformations' (2017), 'Computation over Compressed Structured Data' (2016), and two seminars in 2013 on compressed structured data and tree transducers
Invited speaker at numerous international conferences including WPTE 2025, CIAA 2019, GCCR 2019, RTA 2012, AFL 2014, WATA 2018
Publications available via DBLP and Google Scholar