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
  • Compositionality, Interaction, Negotiation, Autonomicity ("CINA") MIUR-COFIN

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

Last modified: January 02, 2014, at 06:43 PM