7PQ VALUTATI POSITIVAMENTE-Dep.Computer Science-University of Verona

7PQ VALUTATI POSITIVAMENTE

External Funding Bodies

Projects
Title	Managers	Starting date
GeTFun: Generalizing Truth-Functionality	Luca Vigano'	1/1/12
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems	Tiziano Villa	8/23/11
UNSELFISH: UNtethered Sensor Enabled Locomotion FISH	Paolo Fiorini	4/15/11
AuTOMatic verifICation tool for embedded software (ATOMIC)	Franco Fummi	5/5/10
SANDMED: Shape ANalysis for the Diagnosis of METabolic Disorders	Andrea Giachetti	4/17/10
Tools for cOoperating Objects applications Life-cycle (TOOL)	Franco Fummi	3/1/10
COROSUR: Bringing Cognition to Robotic Surgery	Paolo Fiorini	2/15/10
SINEMA: Social and Immersive Networked MediA	Andrea Giachetti	10/1/09
Reliability aware methods for robust design technology (RELMUST)	Franco Fummi	7/6/09
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation	Roberto Giacobazzi	11/27/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation	Roberto Giacobazzi	3/26/08
TELEANY: Teleoperating Anything Anywhere	Paolo Fiorini	2/28/08
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY)	Franco Fummi	12/17/07
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH)	Franco Fummi	7/13/07
PLASTIC BRAIN: A Study of Brain Plasticity in Humans and Robots	Paolo Fiorini	5/7/07

Founding numbers
Year	Number
2012	1
2011	2
2010	4
2009	2
2008	3
2007	3