Miscellanea
Projects
I am member of the following projects:- Centre for Tactile Internet with Human-in-the-loop (CeTI) - Cluster of Excellence in the German Excellence Initiative
- Center for Perspicuous Computing (CPEC) - Collaborative Research Center 248
Past projects:
- Highly Adaptive Efficiency Computing (HAEC) - Collaborative Research Center 912
Academic Service
Program committees:- 2025: AAAI, AAMAS, CompSys, ECAI, FMIAI@AISoLA (co-chair), IAI, IJCAI, SPLC (DS), XAI
- 2024: AAAI, AAMAS, ASYDE, ExEn, FACS, IJCAI, MOVEP, SPLC (DS), VaMoS, XAI, XbyC@ISoLA (co-chair)
- 2023: AAAI, AMCAI, FACS, ICTAC (co-chair), QEST, SETTA, TiCSA@ETAPS (co-chair)
- 2022: FACS, MARS@ETAPS (co-chair), QAVS@ETAPS (co-chair)
- 2021: QAVS@ETAPS (co-chair)
- 2020: QAVS@eCONFEST (co-chair)
- Journals: JAIR, LMCS, SCP, FMSD, EMSE, JLAMP, DC, FAoC, FoMaC, JSS, TOSEM
- Conferences: LICS, CONCUR, ICALP, STACS, ASE, CSL, FoSSaCS, FSEN, LATA, TACAS, CSR, FASE, VSTTE, FSTTCS
Links
- list of computer science conferences: a well-organized and regularly updated list of conferences with deadlines, statistics, and rankings.
- I am supporting slow science: science should be a slow, steady, methodical process, and scientists should not be expected to provide "quick fixes" to society's problems.
- Research in theoretical computer science should be sustainable, e.g., by reducing the carbon footprint by not taking planes to conferences whenever possible.