Gian Luigi Ferrari

Gian Luigi Ferrari

Professore Computer Science, Dipartimento di Informatica, Università di Pisa e Coordinatore del Comitato Scientifico di Internet Festival

My research interests generally fall in the area of semantic theories for concurrent programming and specification languages. I am also interested in the development of programming languages for highly distributed networks and semantic-based verification environments.

ASCENS – Autonomic Service-Component Ensambles. It is an Information Society Technologies (IST) project funded by the EU as Integrated Project (IP) in the 7th Framework Programme (FP7) as part of the Future Emerging Technologies Proactive Initiative (FET Proactive).

RUPOS: (Ricerca per l’Usabilità delle Piattaforme Orientate ai Servizi) è un progetto finanziato da Regione Toscana nell’ambito del programma di aiuti alle imprese per investimenti in materia di ricerca industriale e sviluppo sperimentale (Bando Unico Ricerca e Sviluppo 2008).

TESLA: Techniques for Enforcing Security in Languages and Applications.Projects (present)

Eventi Gian Luigi Ferrari

Promosso da:

Organizzato da:

Media Partner:

Promosso da:

Organizzato da:

Media Partner:


		
Keywords Keywords
Events Event
People Protagonisti
List
{{item.title}} {{item.title}}
SEARCH CERCA
Pathways Percorsi
{{item.title}} {{item.title}}
{{item.owner}}
{{item.title}} {{item.title}}
{{item.owner}}
SEARCH CERCA
{{title}}
by {{owner}}
{{item.title}} {{item.title}}
SHARE CONDIVIDI
SHARE CONDIVIDI
{{title}} {{title}}
Add to Pathways Aggiungi ai Percorsi
Name of new pathway Nome del nuovo Percorso
Your name Il Tuo Nome
... or add to an existing pathway: ... o agguiungilo ad un percorso già esistente:
{{item.title}}
Date and Time: Date e Orari:
Dal From {{item.start}} - al to {{item.end}}
Program: Programma:
{{item.name}}
With: Con:
{{item.title}}
Venue: Sede:
{{item.title}}
Typology: Tipologia:
{{item.title}}
Target: Target:
{{item.title}}
Language: Lingua:
{{item.title}}
Keywords: Keywords:
{{item.title}}
PROGRAM PROGRAMMA
{{item.name}}
VEDI I DETTAGLI SEE DETAILS
About About
{{title}} {{title}}
Events: Eventi: {{item.title}}