Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
start [2016/09/27 21:57] adminluca |
start [2019/11/18 15:46] (current) luca [Contacts] |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Profile ====== | ||
+ | I am **Associate Professor** of Computer Science [Professore Associato nel SSD INF/01 INFORMATICA] at the [[http://computerscience.unicam.it|Computer Science Division]] of the [[http://sst.unicam.it|School of Science and Technology]] at the [[http://www.unicam.it|University of Camerino]], Italy. [From 1st November 2019] | ||
- | <WRAP center round box> | + | Previously, I was Assistant Professor of Computer Science [Ricercatore Universitario nel SSD INF/01 INFORMATICA] at the same place from 1st June 2011 to 31st October 2019. On 05/12/2017 I took the [[http://abilitazione.miur.it/public/index.php?lang=eng|Italian National Scientific Qualification]] as Associate Professor in scientific sectors INF/01 - INFORMATICA (Computer Science, Informatics) and ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI (Computer Science, Engineering). |
- | {{ :wiki:logo.png?nolink&90|Luca Tesei}} | + | |
- | Assistant Professor of Computer Science\\ | + | |
- | Ricercatore Universitario nel Settore Scientifico-Disciplinare INF/01\\ | + | |
- | [[http://computerscience.unicam.it|Computer Science Division]]\\ | + | |
- | [[http://sst.unicam.it|School of Science and Technology]]\\ | + | |
- | [[http://www.unicam.it|University of Camerino]] | + | |
- | </WRAP> | + | |
- | <WRAP center round box> | + | ====== Contacts ====== |
- | **Short Bio** | + | **Office**: Polo Informatico "Carla Lodovici", via Madonna Delle Carceri 9, 62032 Camerino (MC), Italy |
- | 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). | + | **University Email** <luca.tesei@unicam.it>\\ |
+ | **Personal Email** <luca.tesei@gmail.com> | ||
- | 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. | + | **Office Phone** +39 0737 402572\\ |
+ | **Skype** luca.tesei\\ | ||
+ | **Webex** [[https://unicam.webex.com/meet/luca.tesei|Luca Tesei's virtual room]] | ||
- | 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. | + | **Web Page** [[start|This site]]\\ |
+ | **Unicam Institutional Web Page** [[https://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=572&ru=PA|Here]]\\ | ||
+ | **LinkedIn** [[http://it.linkedin.com/in/lucatesei|Here]]\\ | ||
+ | **Facebook** [[https://www.facebook.com/luca.tesei|Here]] | ||
- | 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. | ||
- | </WRAP> | ||