Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Fondazione logica della computazione e della complessita' |
|---|---|
| Titolo del progetto di ricerca in inglese | Logical foundation of computation and complexity |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | The diffusion of the distributed computer science increased the interest of the scientific community for the issues of programs certification. In particular, computer networks constituted of small devices with bounded computational resources that receive programs to be executed from the network itself, are more and more frequent. So it is important to assure that programs do not exceed the availability of resources of the devices. Inside this very general problematic, we want to study tools in order to revise the recursion and the complexity theories in the light of the computational model based on the notion of interaction. These tools will be based on linear logic, in particular light logics, geometry of interaction and denotational semantics. Finally we want to apply such tools to the analysis and to the design of paradigmatic programming languages enjoying particular properties, mainly connected to the use of resources and to the interaction with the execution environment. |
| Descrizione sintetica in inglese | The diffusion of the distributed computer science increased the interest of the scientific community for the issues of programs certification. In particular, computer networks constituted of small devices with bounded computational resources that receive programs to be executed from the network itself, are more and more frequent. So it is important to assure that programs do not exceed the availability of resources of the devices. Inside this very general problematic, we want to study tools in order to revise the recursion and the complexity theories in the light of the computational model based on the notion of interaction. These tools will be based on linear logic, in particular light logics, geometry of interaction and denotational semantics. Finally we want to apply such tools to the analysis and to the design of paradigmatic programming languages enjoying particular properties, mainly connected to the use of resources and to the interaction with the execution environment. |
| Data del bando | 05/09/2011 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.unito.it/unitoWAR/page/istituzionale/ricerca2/Ricerca_assegni_miur3 |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | yes |
| Comprende il costo della ricerca | yes |
| Altri costi in italiano | \ |
| Altri costi in inglese | \ |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | \ |
| Criteri di selezione in inglese (breve descrizione) | \ |
| Processo di selezione in italiano (breve descrizione) | per titoli e colloquio |
| Processo di selezione in inglese (breve descrizione) | qualifications and interview |
| Nome dell'Ente finanziatore | Universita' degli Studi di Torino |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Turin |
| Sito web | http://www.unito.it/ |
| arearicerca_assegni@unito.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 26/09/2011 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |