Betti Venneri

Associate Professor
Università degli studi di Firenze
Dipartimento di Sistemi e Informatica
Viale Morgagni, 65
50134 Firenze
Tel. +39 055 4237451
Fax. +39 055 4237436
e-mail :

Turing@Firenze

Alan Turing year event in Firenze

Research

Interests:

• lambda calculus
• object-oriented languages: foundations and design
• type systems
• mobile and distributed systems

Research Papers

Group: "Concurrency and Mobility Group"

Projects:

• Software Engineering for Service-Oriented Overlay Computers ("SENSORIA") IST project funded by the EU as Integrated Project (IP) 6th Framework Programme (FP6) - Global Computing
• Distribution, Interaction, Specification, Composition for Object Systems ("DISCO") MIUR-COFIN

Conferences and Workshops: TAP 2008 PPPJ 2008 ITRS 2010 (chair) ITRS 2012

Last modified: July 10, 2012, at 02:40 PM