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