Paolo Baldan

Current courses

Office hours

Wednesday, 11:00–13:00 — Office 6DA6, 6th floor, Torre Archimede.

If you intend 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, which focuses, broadly, on techniques and languages for the specification, programming, analysis, and verification of concurrent and distributed systems. Some indicative keywords:

• Formal techniques for the verification of concurrent systems
• Logics for the description of concurrency properties
• Information flow and non-interference
• Process mining: synthesis and analysis of the obtained models
• Quantitative analysis techniques
• Foundational aspects of the theory of concurrency
• Computational models for the specification and analysis of biological systems

A few more ideas can be found by browsing my publications (not always fully up to date — an updated list is on DBLP).

Past years