Andrea Asperti Dean of the Department of Computer Science

---

Projects

---

	IST-2001-33562 MoWGLI (project leader) IST-2001-37057 MMK-NET (site leader) TMR-Network LINEAR (site leader) Working Group WG-21836 CONFER-II (site leader)
	PRIN 2004/06: McTafi (site leader) PRIN 2002/04: McTafi(site leader) PRIN 2000/02: Linear Logic and Beyond (national leader)
	Matita: My Proof Assistant

 

home

cv

didattica

papers

 

december 2004