Luca Tesei

Research Areas:

• Formal Methods for the Specification and Verification of software/hardware systems: (timed) (probabilistic) automata, (timed) process algebras, model checking, static analysis, abstract interpretation, adaptive systems.
• Systems Biology and Bioinformatics: modelling and simulation of biological systems, emergent behaviours, membrane computing, modelling of ecosystems, multi-agent systems, RNA folding and structure comparison, topological data analysis.

Publications and Projects:

• Selected List of Publications
• List of Research Projects I am/was involved in
• Full List of my Publications (including technical reports, abstracts and posters)

External Profiles:

• My entry at DBLP
• My ResearcherID Profile (Thomson Reuter)
• My Scopus Author ID
• My ORCID Profile
• My Google Scholar Citation Page
• My Profile at Research Gate
• My profile at Academia.edu