https://www.lucatesei.com/ 2026-10-15T01:49:13+02:00 https://www.lucatesei.com/ https://www.lucatesei.com/lib/tpl/stm/images/favicon.ico text/html 2024-05-13T09:24:27+02:00 adminluca https://www.lucatesei.com/doku.php?id=start&rev=1715585067&do=diff Profile I am Associate Professor of Computer Science [Professore Associato nel SSD INF/01 INFORMATICA] at the Computer Science Division of the School of Science and Technology at the University of Camerino, Italy. [From 1st November 2019] 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 text/html 2021-09-24T10:54:16+02:00 luca https://www.lucatesei.com/doku.php?image=teaching%3Aasdl2122-codice-slides-java-oop.zip&ns=teaching&rev=1632473656&tab_details=history&mediado=diff&do=media text/html 2018-06-20T16:04:35+02:00 luca https://www.lucatesei.com/doku.php?id=sidebar&rev=1529503475&do=diff [Luca Tesei] Navigate * Research * Teaching Links BioShape and BigData Lab Computer Science Division School of Science and Technology University of Camerino text/html 2018-06-20T16:00:25+02:00 luca https://www.lucatesei.com/doku.php?id=research&rev=1529503225&do=diff 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. text/html 2018-06-20T15:31:55+02:00 luca https://www.lucatesei.com/doku.php?id=contact&rev=1529501515&do=diff Visit me Office: Polo Informatico “Carla Lodovici”, via Madonna Delle Carceri 9, 62032 Camerino (MC), Italy Write to me University <luca.tesei@unicam.it> Personal <luca.tesei@gmail.com> Speak to me Phone +39 0737 402572 Fax +39 0736 402561 Skype luca.tesei Google Hangout luca.tesei@unicam.it text/html 2018-01-02T18:15:16+02:00 luca https://www.lucatesei.com/doku.php?id=events&rev=1514913316&do=diff Events of my interest * Kick-off Meeting of Erasmus+ KA2 Project “Data Science Pathways to re-imagine education” (DA.RE), Coordinator AEA S.r.l. (Loccioni Group). The kick-off meeting will take place on 12-13 October 2016. On the 12th the meeting will be in Camerino at Palazzo Battibocca, on the 13th the meeting will be at Loccioni Headquarter, Angeli di Rosora (AN). text/html 2017-04-07T11:55:11+02:00 luca https://www.lucatesei.com/doku.php?id=teaching:ifts1617&rev=1491558911&do=diff Materiale del corso IFTS * Slides del 31/03/2017: [download pdf] * Materiale del 31/03/2017: [download zip] * Slides del 03/04/2017: [ download pdf] * Materiale del 03/04/2017: [download zip] * Slides del 07/04/2017: [download pdf] * Materiale del 07/04/2017: [download zip] text/html 2017-04-07T11:54:10+02:00 luca https://www.lucatesei.com/doku.php?image=teaching%3Atest_07-04-2017_soluzioni.pdf&ns=teaching&rev=1491558850&tab_details=history&mediado=diff&do=media text/html 2017-04-07T09:22:44+02:00 luca https://www.lucatesei.com/doku.php?image=teaching%3Asito_statico3.zip&ns=teaching&rev=1491549764&tab_details=history&mediado=diff&do=media text/html 2017-04-07T09:21:39+02:00 luca https://www.lucatesei.com/doku.php?image=teaching%3Aifts_html_3_tesei.pdf&ns=teaching&rev=1491549699&tab_details=history&mediado=diff&do=media text/html 2017-04-03T01:25:06+02:00 luca https://www.lucatesei.com/doku.php?image=teaching%3Asito_statico2.zip&ns=teaching&rev=1491175506&tab_details=history&mediado=diff&do=media text/html 2017-04-03T01:24:28+02:00 luca https://www.lucatesei.com/doku.php?image=teaching%3Aifts_html_2_tesei.pdf&ns=teaching&rev=1491175468&tab_details=history&mediado=diff&do=media text/html 2017-03-31T00:41:11+02:00 luca https://www.lucatesei.com/doku.php?image=teaching%3Asito_statico.zip&ns=teaching&rev=1490913671&tab_details=history&mediado=diff&do=media text/html 2017-03-31T00:40:41+02:00 luca https://www.lucatesei.com/doku.php?image=teaching%3Aifts_html_1_tesei.pdf&ns=teaching&rev=1490913641&tab_details=history&mediado=diff&do=media text/html 2017-03-31T00:10:09+02:00 luca https://www.lucatesei.com/doku.php?id=teaching&rev=1490911809&do=diff Questa pagina è accessible solo agli studenti Unicam text/html 2016-11-30T22:31:57+02:00 luca https://www.lucatesei.com/doku.php?id=research:publications&rev=1480541517&do=diff List of Luca Tesei's Publications 2016 Journal Papers * Bernardo, Marco and Corradini, Flavio and Tesei, Luca (2016) “Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions”, Theoretical Computer Science text/html 2016-11-30T22:31:26+02:00 luca https://www.lucatesei.com/doku.php?image=research%3Abdt01-postprint.pdf&ns=research&rev=1480541486&tab_details=history&mediado=diff&do=media text/html 2016-11-30T22:25:50+02:00 luca https://www.lucatesei.com/doku.php?image=research%3Abdst02-postprint.pdf&ns=research&rev=1480541150&tab_details=history&mediado=diff&do=media text/html 2016-11-30T22:17:26+02:00 luca https://www.lucatesei.com/doku.php?image=research%3Adst03-postprint.pdf&ns=research&rev=1480540646&tab_details=history&mediado=diff&do=media text/html 2016-11-30T21:58:30+02:00 luca https://www.lucatesei.com/doku.php?image=research%3Abt03-postprint.pdf&ns=research&rev=1480539510&tab_details=history&mediado=diff&do=media