Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
research [2016/09/27 22:10] adminluca created |
research [2018/06/20 16:00] (current) luca |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | <WRAP center round box> | + | **Research Areas**: |
| - | **Short Bio** | + | * 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. | ||
| - | I graduated in Computer Science at the University of Pisa on July 2000 and took the PhD in Computer Science at the Department of Computer Science of the same university on April 2004. From October 2003 to October 2004 I had a post-doc position at Dipartimento di Scienze dell'Informazione, Alma Mater Studiorum, University of Bologna. From April 2005 to April 2011 I was Research Fellow at School of Science and Technology of the University of Camerino. From June 2011 to today I have been Assistant Professor of Computer Science at the School of Science and Technology of the University of Camerino (confirmed in role in 2014). | + | **Publications and Projects**: |
| - | From 2002 to 2011 I participated, as member of research unit, to 4 national PRIN research projects, one national FIRB research project, one national Flagship project and 2 European 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)]] | ||
| - | My main research interests are in Formal Methods for the specification and verification of software/hardware systems: (timed) (probabilistic) automata, (timed) process algebras, model checking, static analysis, abstract interpretation. I am also interested in Systems Biology: modelling and simulation of biological systems, emergent behaviours, membrane computing, modelling of ecosystems, multi-agent systems. Recently, I have been active in the field of Topological Data Analysis. | + | **External Profiles**: |
| - | I am co-author of more than 30 peer-reviewed publications of international relevance and of tenths of other poster, short contributions and technical reports. I participated, also as speaker, to several international workshops/conferences and I regularly do peer reviewing activity for several international workshops/conferences and important journals in the sector of Computer Science and Bioinformatics. | + | * [[http://dblp.uni-trier.de/pers/hd/t/Tesei:Luca|My entry at DBLP]] |
| - | </WRAP> | + | * [[http://www.researcherid.com/rid/L-9309-2015|My ResearcherID Profile (Thomson Reuter)]] |
| - | <WRAP group> | + | * [[http://www.scopus.com/inward/authorDetails.url?authorID=55894493600&partnerID=MN8TOARS|My Scopus Author ID]] |
| - | <WRAP half column> | + | * [[http://orcid.org/0000-0002-7536-8796|My ORCID Profile]] |
| - | * [[:research:projects|Projects]] | + | * [[https://scholar.google.it/citations?user=gF2ylTAAAAAJ&hl=it&oi=sra|My Google Scholar Citation Page]] |
| - | * [[:research:publications|Publications]] | + | * [[https://www.researchgate.net/profile/Luca_Tesei|My Profile at Research Gate]] |
| - | </WRAP> | + | * [[https://unicam.academia.edu/LucaTesei|My profile at Academia.edu]] |
| - | + | ||
| - | <WRAP half column> | + | |
| - | * [[http://orcid.org/0000-0002-7536-8796|ORCID Profile]] | + | |
| - | * [[http://www.researcherid.com/rid/L-9309-2015|ResearcherID Profile (Thompson Reuter)]] | + | |
| - | </WRAP> | + | |
| - | </WRAP> | + | |