Vincenzo Ciancia

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

User information

Launchpad Id:
vincenzo-ml
Email:
Log in for email information.
Jabber:
<email address hidden>
Member since:
2006-06-08
Icon of Launchpad Beta Testers Icon of Launchpad Users
Signed Ubuntu Code of Conduct:
Yes
IRC:
Le-Chuck_ITA on irc.freenode.net
OpenPGP keys:
7AA68EE4, 0E0DFE50
Languages:
English, Italian
Time zone:
Europe/Rome (UTC+0200)
Karma:
0 Karma help

Personal package archives

All memberships Latest memberships

Joined on 2009-04-24
Joined on 2008-12-16
Joined on 2008-04-27
Joined on 2008-04-26
Joined on 2007-09-11