**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**:

  * [[:research:publications|Selected List of Publications]] 
  * [[:research:projects|List of Research Projects I am/was involved in]]
  * [[https://docenti.unicam.it/pdett.aspx?UteId=572&tv=p&ru=RU|Full List of my Publications (including technical reports, abstracts and posters)]]

**External Profiles**:

  * [[http://dblp.uni-trier.de/pers/hd/t/Tesei:Luca|My entry at DBLP]]
  * [[http://www.researcherid.com/rid/L-9309-2015|My ResearcherID Profile (Thomson Reuter)]]
  * [[http://www.scopus.com/inward/authorDetails.url?authorID=55894493600&partnerID=MN8TOARS|My Scopus Author ID]]
  * [[http://orcid.org/0000-0002-7536-8796|My ORCID Profile]]
  * [[https://scholar.google.it/citations?user=gF2ylTAAAAAJ&hl=it&oi=sra|My Google Scholar Citation Page]]
  * [[https://www.researchgate.net/profile/Luca_Tesei|My Profile at Research Gate]]
  * [[https://unicam.academia.edu/LucaTesei|My profile at Academia.edu]]