Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Punti fissi, Astrazione e Giochi nella Verifica dei Sistemi Software |
---|---|
Titolo del progetto di ricerca in inglese | Fixpoints, Abstraction and Games in the Verification of Software Systems |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Il progetto affronta a livello fondazionale alcuni problemi che sorgono nella soluzione di sistemi di equazioni di punto fisso, con l'idea di sfruttare e combinare intuizioni, tecniche e strumenti propri degli approcci induttivo e coinduttivo, che fino ad ora hanno avuto interazioni limitate. Nello specifico, si propone di ideare tecniche per caratterizzare la soluzione di sistemi di equazioni di punto fisso nelle quali convivono punti fissi minimi e massimi, su classi generali di domini; sviluppare tecniche per produrre approssimazioni corrette e complete per sistemi di equazioni; integrare tali tecniche in algoritmi di verifica basati sulla teoria dei giochi, con particolare interesse per i giochi con caratteristiche quantitative. |
Descrizione sintetica in inglese | The project addresses at a foundational level some problems arising in the solution of systems of fixpoint equations, with the idea of exploiting and mixing insights, techniques and tools coming from the inductive and coinductive worlds, which until now have had limited interactions. Specifically, it aims at devising techniques for characterising the solution of systems of fixpoint equations, mixing least and largest fixpoints over general classes of domains; developing a theory of sound and complete approximations for systems of equations; integrating abstraction techniques in game-theoretical algorithms for verification, with special interest in games with quantitative features. |
Data del bando | 16/12/2022 |
Numero di assegnazioni per anno | 1 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
EUROPE |
Nazionalità dei candidati |
EUROPE |
Sito web del bando | https://www.math.unipd.it/ricerca/bandi-e-concorsi/ |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
Importo annuale | 19367 |
Valuta | Euro |
Nome dell'Ente finanziatore | UNIVERSITà DEGLI STUDI DI PADOVA - DIPARTIMENTO DI MATEMATICA |
---|---|
Tipologia dell'Ente | Academic |
Paese dell'Ente | Italy |
Città | PADOVA |
Codice postale | 35121 |
Indirizzo | via trieste 63 |
Sito web | https://www.math.unipd.it/ |
assegni.ricerca@math.unipd.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 10/01/2023 |
---|---|
Come candidarsi | https://pica.cineca.it/unipd/ |