Andrea Franchini's website
Description: Michele Chiari's website.
Main Navigation Research Teaching CV Home I am the PI of the MSCA PF project CORPORA hosted by the TrustCPS group led by Univ-Prof Ezio Bartocci at TU Wien .
My research interests cover formal methods for the verification of safety-critical and real-time systems, focusing on temporal logic, formal languages and automata theory.
I am currently working on context-free temporal logic and (probabilistic) pushdown model checking. In particular, I introduced a new temporal logic (POTL) based on Operator Precedence Languages, with the purpose of allowing better and more general modelling and specification of recursive programs. Within CORPORA, I am studying ways of verifying recursive probabilistic programs through probabilistic pushdown model checking.
Andrea Franchini's website