Università di Padova

Paolo Baldan's Home

Dipartimento di Mtematica Pura e Applicata

Generale

Teaching

Papers

Events

Projects

Links

Insegnamento

Anno Corrente

  • Corsi:

  • Orario di ricevimento:

    Mercoledì   11.00 - 13.00   -   Studio 401, IV piano, Torre Archimede

    Chi avesse intenzione di usufruire dell'orario di ricevimento è cortesemente invitato ad avvertirmi in precedenza.

  • Proposte di Tesi

    Sono disponibile a seguire tesi su argomenti collegati alla mia attività di ricerca che, in senso generale, si concentra su tecniche e linguaggi per la specifica, programmazione, analisi e verifica di sistemi concorrenti e distribuiti. Alcune indicazioni/keywords:
    • Tecniche formali per la verifica di sistemi concorrenti
    • Logiche per la descrizione di proprietà di concorrenza
    • Controllo del flusso di informazione (information flow e non-intereference)
    • Process mining: sintesi e analisi dei modelli ottenuti
    • Linguaggi di programmazione: costrutti e tecniche di analisi della concorrenza
    • Analisi quantitativa
    • Aspetti fondazionali della teoria della concorrenza
    • Modelli informatici per la specifica e l'analisi di sistemi biologici
    Qualche idea più può essere ricavata anche dando uno sguardo alla pagina delle pubblicazioni scientifiche (non sempre aggiornata, una lista aggiornata è disponibile sul database DBLP.

 

Anni Precedenti