Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 2004From October 2003 to October 2004 I had a post-doc position at Dipartimento di Scienze dell'​Informazione,​ Alma Mater Studiorum, University of BolognaFrom April 2005 to April 2011 I was Research Fellow at School of Science and Technology of the University of CamerinoFrom 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 interpretationI am also interested ​in Systems Biologymodelling and simulation of biological systems, emergent behaviours, membrane computing, modelling of ecosystems, multi-agent systemsRecently, 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>​