Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Resource Awareness in Programming: Algebra, Rewriting, and Analysis |
|---|---|
| Titolo del progetto di ricerca in inglese | Resource Awareness in Programming: Algebra, Rewriting, and Analysis |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | La crescente consapevolezza dell’impatto sociale, ambientale ed etico del software stanno determinando un cambio di paradigma nella teoria dei linguaggi di programmazione. Tradizionalmente, i modelli teorici per l'analisi dei programmi sono agnostici rispetto all'uso delle risorse. La nuova consapevolezza che sta emergendo é che, per studiare adeguatamente le proprietà del software, dati e informazioni devono essere trattati come risorse fisiche, piuttosto che come entità logiche. Il nostro obiettivo è (i) introdurre una semantica algebrica ed una sintassi entrambi sensibili alle risorse, basate su categorie monoidali e string diagrams; (ii) sviluppare sistemi di riscrittura sensibili alle risorse per la sintassi monoidale e le sue proprietà operazionali, (iii) introdurre nuovi metodi di analisi di programmi sensibili alle risorse, basate sull'interpretazione astratta e logiche per la verifica. |
| Descrizione sintetica in inglese | The heterogeneity and growing awareness of social, environmental, and ethical impact of software are outlining a new world of safety criteria that go significantly beyond traditional input-output-based analysis. These phenomena can be uniformly understood in terms of a paradigm shift, whereby data and information are treated as physical resources, rather than as logical entities. Traditional theories of programs are inherently resource-agnostic. Even though theories of resources have been recently proposed, they all focus on specific traits of resource-awareness, lacking to truly model resources both syntactically and semantically. Our goal is to (i) introduce algebraic resource-aware semantics for resource-sensitive syntax, viz. string diagram/monoidal syntax, (ii) develop resource-aware rewrite systems for monoidal syntax and its operational properties, (iii) introduce novel resource-aware program analyses in the form of resource-based abstract interpretation and program logic. |
| Data del bando | 18/12/2023 |
| 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 |
| fabio.zanasi@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 09/01/2024 |
|---|---|
| Come candidarsi | Other |