I am a postdoc at the ILLC (Institute of Logic, Language and Computation, University of Amsterdam). Formerly I was in the Universidad Complutense de Madrid. I do research in automata theory, formal methods, nominal calculi and coalgebras. In my free time, I play music, I particularly like jazz. I somewhat play the fretless bass, but I can also play guitar, and I am a wannabe drummer.

See also http://www.di.unipi.it/~ciancia