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 :

Research

Interests:

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

Research Papers

Group: "Concurrency and Mobility Group"

Projects (currently):

• 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)

Last modified: April 14, 2010, at 03:17 PM