I got my master degree in Computer Science at the University of the Basque Country (UPV/EHU) in 1999 with a thesis on the simulation of network protocols. From 1999 until 2003 I was a research and teaching assistant of Thomas Ottmann at the Albert-Ludwigs University of Freiburg, where I got my Ph.D. in Computer Science with a thesis on directed model checking, a novel approach based on the application of heuristic search for the verification of communication protocols. I joined the group of Ugo Montanari in 2003, working as a post-doctoral researcher at the Department of Computer Science of the University of Pisa. My position was granted by the European Research Training Network SEGRAVIS and the European integrated Project SENSORIA and my research activities where mainly devoted to the development of logic and graph-based formalisms for service oriented computing. Since 2009 I am an assistant professor at the IMT Institute for Advances Studies Lucca and member of the SysMA research unit of the Computer Science and Research area.
User Since
Saturday, 29 September 2012
User Page Views
905
User Contribution Index (UCI)
0
Conference Registration Discount
0%
Published Papers of Dr. Alberto Lluch Lafuente
Conference Chairings of Dr. Alberto Lluch Lafuente
Conference Committees of Dr. Alberto Lluch Lafuente
