Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Punti fissi, astrazione e giochi per la verifica di 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 | - |
| Descrizione sintetica in italiano | 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 | 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 | 09/09/2021 |
| 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) |
|---|
| Nome dell'Ente finanziatore | UNIVERSITà DEGLI STUDI DI PADOVA - DIPARTIMENTO DI MATEMATICA |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | PADOVA |
| 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 | 24/09/2021 |
|---|---|
| Come candidarsi | https://pica.cineca.it/unipd/ |