Antonino SALIBRA - Attività e competenze di ricerca
|
Settore Scientifico Disciplinare (SSD) di afferenza
|
|
|
|
Settore Scientifico Disciplinare (SSD) affine
|
|
|
Competenze di ricerca
Applicazione di strumenti matematici allo studio dei linguaggi di programmazione
|
Description
|
-
Application of mathematics to the study of programming languages
|
|
Parole Chiave
|
-
Physical sciences,
Computer science
|
Ricerche sviluppate e in corso
Lambda Teorie e Modelli del Lambda Calcolo
|
Altri membri del gruppo di ricerca
|
|
|
Lambda calcolo con risorse e logica lineare
|
Altri membri del gruppo di ricerca
|
|
|
Topologia e modelli di computazione
|
Altri membri del gruppo di ricerca
|
|
|
Finanziamenti
CONCERTO (CONtrol and CERTification of Resources Usage)
|
Sito di progetto
|
-
http://www.cs.unibo.it/~martini/CONCERTO/
|
|
Data inizio
|
-
Anno: 2008 Durata mesi: 24
|
Resource lambda calculus
|
Ente finanziatore
|
-
Universite' Paris 7 - Denis Diderot - Laboratoire PPS
|
|
Data inizio
|
-
Anno: 2011 Durata mesi: 1
|
Models of lambda calculus
|
Ente finanziatore
|
-
Universite' Paris 7 - Denis Diderot - Laboratoire PPS
|
|
Data inizio
|
-
Anno: 2009 Durata mesi: 1
|
Progetto PRIN 2010 codice progetto 2010FP79LR
|
Data inizio
|
-
Anno: 2012 Durata mesi: 24
|
Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca
Internazionale: Europa, America Settentrionale, Estremo Oriente
Lingue conosciute
- inglese (scritto: intermedio, parlato: intermedio)
- francese (scritto: intermedio, parlato: intermedio)
Partecipazione a comitati editoriali di riviste/collane scientifiche
Comitato di Programma della Conferenza Internazionale Computer Science Logic 2008
Feed RSS degli avvisi personali
