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
- Launchpad Id:
- Log in for email information.
- <email address hidden>
- Member since:
- Signed Ubuntu Code of Conduct: