Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Differential Program Semantics |
|---|---|
| Titolo del progetto di ricerca in inglese | Differential Program Semantics |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Programming |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Il Dottore di Ricerca selezionato dovrà occuparsi di studiare la semantica differenziale dei linguaggi di programmazione funzionale con effetti. Più nello specifico, ci si concentrerà sullo studio delle relazioni logiche, della coinduzione, della semantica a giochi e della logica lineare differenziale. Tutte queste aree della semantica sono state ampiamente studiate in un quadro qualitativo, in cui il risultato del confronto tra programmi diversi è tipicamente un valore booleano, tramite il quale è possibile concludere se i programmi in questione siano o meno confrontabili. Quello che ci si propone di fare è generalizzare tali quadri semantici in senso quantitativo, rendendoli in grado di determinare la distanza tra tali programmi, misurata tramite un valore non necessariamente numerico. Questo assegno di ricerca è finanziato dall’ERC Consolidator Grant DIAPASoN - DLV-818616. |
| Descrizione sintetica in inglese | The selected PhD will study the differential semantics of impure functional programming languages ?. More specifically, the focus will be on the study of logical relations, coinduction, game semantics, and differential linear logic. All these areas of program semantics have been extensively studied in a qualitative framework, where the result of the comparison between distinct programs is typically a Boolean value, through which it is possible to conclude whether or not the programs in question are comparable. What we propose to do is to generalise these semantic frameworks in a quantitative sense, making them able to determine the distance between these programs, measured by a non-necessarily numerical value. This research is funded by the ERC Consolidator Grant DIAPASoN - DLV-818616. |
| Data del bando | 09/09/2020 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://bandi.unibo.it/ricerca/assegni-ricerca |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://bandi.unibo.it/ricerca/assegni-ricerca |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://bandi.unibo.it/ricerca/assegni-ricerca |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| marco.difelice3@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | H2020/Erc |
|---|
| Data di scadenza del bando | 29/09/2020 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |