Postdoc in Computer Science at Gran Sasso Science Institute, L'Aquila, AQ, Italy. Interests: mountains, sport, politics, science, health. Work: applied logic and theoretical CS (automata, processes, formal languages, rewriting theory, parameterized complexity).