Tenure-Track Researcher
Institute of Computer Science
of the Czech Academy of Sciences

Pod Vodárenskou věží 271/2
182 00 Praha 8, Czechia

luca.ca+sprai.uni [a+spt] gm+spail [do+spt] com
ca+sprai [a+spt] cs.ca+sps [do+spt] cz

I am part of the Metalogic group
and work on the INTERACT project