Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Probabilistic Higher-Order Computation: Relational Reasoning. |
|---|---|
| Titolo del progetto di ricerca in inglese | Probabilistic Higher-Order Computation: Relational Reasoning. |
| Campo principale della ricerca | Mathematics |
| Sottocampo della ricerca | Mathematical logic |
| 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 il lambda-calcolo probabilistico all'ordine superiore, e in particolare la sua semantica denotazionale e operazionale. Più nello specifico, ci si concentrerà sullo studio di tecniche per il ragionamento relazionale su termini nel citato linguaggio. Mentre le teorie equazionali sul lambda-calcolo deterministico sono un tema di ricerca che l'informatica teorica ha studiato nel corso degli ultimi cinquant'anni ottenendo risultati forti e in un certo senso definitivi, la stessa cosa non si può certo dire per il lambda-calcolo probabilistico, che nonostante sia stato introdotto quarant'anni or sono, è stato studiato fino a una decina di anni fa solo dal punto di vista denotazionale. Non è ancora chiaro se il confronto di tali programmi debba avere un risultato qualitativo, oppure se tale risultato debba essere quantitativo. |
| Descrizione sintetica in inglese | The selected researcher will study the probabilistic lambda-calculus, and in particular its denotational and operational semantics. More specifically, he or she will focus on the study of techniques for relational reasoning on terms in the cited language. While the equational theories on deterministic lambda-calculus are a research topic that theoretical computer science has studied over the last fifty years obtaining strong and in a sense definitive results, the same thing can not be said for probabilistic lambda-calculi, which despite being introduced forty years ago, have been studied up to a decade ago only from a denotational point of view. From this point of view, it is still unclear whether the comparison of such programs should have a qualitative result, thus leading to a Boolean outcome, or if this result should be quantitative, thus reducing the comparison between programs to compute the relative distance. |
| Data del bando | 01/08/2018 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| 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://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| 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 |
| dallago@cs.unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 27/08/2018 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |