If you inted to come to my office, please contact me in advance.
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
A few more ideas can also be obtained by taking a look at
reporting my publications (not always up to date, an updated list is
available on DBLP .