Università di Padova

Paolo Baldan's Home

Dipartimento di Mtematica Pura e Applicata







Anno Corrente

  • Corsi:

  • Office time for students:

    Wednesday 11.00 - 13.00   -   Office 413, 4th floor, Torre Archimede

    If you inted to come to my office, please contact me in advance.

  • Thesis Projects

    I am available to supervise theses on topics related to my research activity that focuses, in a broad sense, on techniques and languages ​​for the specification, programming, analysis and verification of competing systems and distributed. Some indications / keywords follow:
    • Formal techniques for the verification of concurrent systems
    • Logics for the description of concurrency properties
    • Information flow and non-intereference
    • Process mining: synthesis and analysis of the obtained models
    • Quantitative analysis techniques
    • Foundational aspects of the theory of concurrency
    • Computatinal models for the specification and analysis of biological systems
    A few more ideas can also be obtained by taking a look at the link reporting my publications (not always up to date, an updated list is available on DBLP .


Past years