Curriculum Vitae
Luca Tesei
May 2013
Personal Data and Contact Information
Name and Surname: Luca Tesei
Place and Date of Birth: Macerata, 25th April 1975
Office Address: Polo Tecnologico, Via del Bastione 1, 62032 Camerino (MC) - Italy
Office Phone and Fax Numbers: +39 0737 402572, +39 0737 402561
Email: [email protected]
Web Site: http://www.cs.unicam.it/tesei/
Educational Qualifications
28/04/2004 PhD in Computer Science at Department of Computer Science, University of
Pisa, Itay. Phd Thesis: Specification and Verification using Timed Automata, Series TD
- 6/04, Dipartimento di Informatica, Università di Pisa, 2004. Supervisor: Prof. Roberto
Barbuti. Reviewers: Prof. Danièle Beauquier and Prof. Manfred Droste.
21/07/2000 MSc in Computer Science (five-year programme) at University of Pisa, Italy. Final grade: cum laude. Thesis: Automi Temporizzati Paralleli con Azioni Non Istantanee.
Supervisor: Prof. Roberto Barbuti and Prof. Nicoletta De Francesco. Reviewer: Prof.
Fabio Gadducci.
Research Positions
01/06/2011 – Present Assistant Professor of Computer Science, permanent position. School
of Science and Technology, Computer Science Division, University of Camerino.
01/04/2005 – 31/03/2011 Assistant Professor of Computer Science, six-year fixed term
contract. School of Science and Technology, Computer Science Division, University of
1
Camerino, formerly Department of Mathematics and Computer Science, University of
Camerino.
29/10/2003 – 28/10/2004 Post-doc position at Dipartimento di Scienze dell’Informazione,
Alma Mater Studiorum - University of Bologna. Research within the National Research
Programme PRIN 2002 ”Verifica di sistemi reattivi basata su vincoli” (COVER). PI and
Supervisor: Prof. Maurizio Gabbrielli.
01/01/2001 – 31/12/2003 PhD candidate (Italian XVI Cycle – 2001) at Department of
Computer Science, University of Pisa. Supervisor: Prof. Roberto Barbuti.
01/10/2000 – 30/11/2000 Research contract, Department of Computer Science, University
of Pisa. Supervisor: Prof. Roberto Barbuti.
Research Topics
• Formal Methods for the Specification and the Verification of Hardware and Software
Systems
– Automata, Process Calculi and their Quantitative Extensions including Time, Probability, Stochasticity.
– Temporal Logics, Model Checking, Abstract Interpretation
– Application to: Real-time systems, Computer Security, Protocol and Bytecode Verification
• Modelling, Analysis and Simulation of (Biological) Complex Systems:
– Biological oscillators, Bone Remodelling
– Ecosystems, Marine Ecosystems, Fishing Stock Assessment
– Membrane Computing
Research Projects
2013 – Present National Research Programme Project PRIN 2010-2011: “CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura”. PI: Prof.
Rocco De Nicola– Member of Research Unit of Camerino.
Website:
http://cercauniversita.cineca.it/php5/prin/cerca.php?codice=2010LHT4KM
2012 – Present EU FP7 ICT FET Proactive 2012 “TOPDRIM: Topology Driven Methods
for Complex Systems”. PI: Prof.ssa Emanuela Merelli, Grant Agreement N. 318121, from
01/10/2012 to 30/09/2014 – Member of Research Unit of Camerino.
Website:
http://www.topdrim.eu
2012 – Present National Research Programme Project IT FLAGSHIP “RITMARE - La ricerca italiana per mare”. Five-year project: 2012-2016. CINFAI (http://www.cinfai.
it/new/english/) Research Unit SP2 WP2 AZ2 UO05. PI of the Unit: Prof. Emanuela
Merelli. Topic: “Modelli di analisi spaziale e temporale multi-scala per la simulazione e
2
previsione della dinamica di popolazioni in ecosistemi marini: un approccio agent-based”
– Member of Research Unit SP2 WP2 AZ2 UO05.
Website:
http://www.ritmare.it/en/
2008 – 2011 National Research Programme Project PRIN 2007:“Performability-Aware Computing: Logiche, Modelli e Linguaggi (PaCo)”. PI: Prof. Marco Bernardo – Member of
Research Unit of Camerino.
Websites:
http://cercauniversita.cineca.it/php5/prin/cerca.php?codice=2007M837YT
http://www.sti.uniurb.it/paco/index.html
2008 – 2010 National Research Programme Project FIRB 2003: “Laboratory for Interdisciplinary Technologies in Bioinformatics (LITBIO)”. PI: Dr Luciano Milanesi – Member of
Research Unit of Camerino.
Website:
http://www.litbio.org/main.htm
2004 National Research Programme Project PRIN 2002: “Verifica di sistemi reattivi basata su
vincoli (CoVer)“”. PI: Prof. Maurizio Gabbrielli – Member of Research Unit of Bologna
as post-doc.
Website:
http://cercauniversita.cineca.it/php5/prin/cerca.php?codice=2002017471
2002 – 2003 National Research Programme Project PRIN 2001: “Metodi Formali per la Sicurezza (MEFISTO)”. PI: Prof. Roberto Gorrieri – Member of Research Unit of Pisa as
PhD candidate.
Website:
http://cercauniversita.cineca.it/php5/prin/cerca.php?codice=2001011474
Teaching Activity
In Italian
A.Y. 2012/2013 Computer Programming I (12 ECTS credits) Year 1, Semester I, BSc in
Computer Science, University of Camerino.
A.Y. 2011/2012 Computer Programming + Lab (12 ECTS credits) Year 1, Semester I, BSc
in Computer Science, University of Camerino.
A.Y. 2010/2011 Computer Programming + Lab (12 ECTS credits) Year 1, Semester I, BSc
in Computer Science, University of Camerino.
A.Y. 2009/2010 Computer Programming + Lab (12 ECTS credits) Year 1, Semester I, BSc
in Computer Science, University of Camerino.
A.Y. 2008/2009 Computer Programming + Lab (9 ECTS credits) Year 1, Semester I, BSc
in Computer Science, University of Camerino.
A.Y. 2007/2008 Computer Programming + Lab (12 ECTS credits) Year 1, Semester I, BSc
in Computer Science, University of Camerino.
3
A.Y. 2006/2007 Computer Programming + Lab (12 ECTS credits) Year 1, Semester I, BSc in
Computer Science and Year 1, Semester I, MSc in Bioinformatics, University of Camerino.
A.Y. 2005/2006 Computer Programming + Lab (12 ECTS credits) Year 1, Semester I, BSc in
Computer Science and Year 1, Semester I, MSc in Bioinformatics, University of Camerino.
A.Y. 2004/2005 Computer Programming + Lab (12 ECTS credits) Year 1, Semester I, BSc in
Computer Science and Year 1, Semester I, MSc in Bioinformatics, University of Camerino.
A.Y. 2002/2003 Computer Programming (9 ECTS credits) Year 1, Semester I, BSc in Computer Science, University of Camerino.
In English
A.Y. 2012/2013 Advanced Topics in Computer Science (6 ECTS credits) Year 1, Semester
II, MSc in Computer Science, University of Camerino.
A.Y. 2011/2012 Advanced Topics in Computer Science (6 ECTS credits) Year 1, Semester
II, MSc in Computer Science, University of Camerino.
A.Y. 2009/2010 Software Verification and Validation: Real-time System Verification (4 ECTS credits) Year 2, Semestre I, MSc in Computer Science, University of Camerino.
A.Y. 2008/2009 Advanced Topics in Computer Science: Timed Systems (4 ECTS cresits),
Year 2, Semester I, MSc in Computer Science, University of Camerino.
July 2008 Visiting Reykjavik University (IS) - Teaching Staff Mobility LLP Erasmus - 5 hours
of Seminars for students and researchers.
September 2007 Visiting Reykjavik University (IS) - Teaching Staff Mobility LLP Erasmus
- 5 hours of Lectures for students.
Publications
In decreasing chronological order. Code: J = Journal Paper, C = Conference and Workshop
Paper, I = Informal Publication, B = Book Chapter and Book
[B2] N. Cannata, F. Corradini, E. Merelli, and L. Tesei, Agent-Based Models of Cellular Systems, vol. 930, pp. 399–426. New York: Humana Press as a part of Spinger Scinces,
2013. ISBN: 9781627030588.
[I9] M. Gianfreda, E. Merelli, M. Rucco, A. Salvucci, and L. Tesei, “Advanced methods for
data reconstruction: interpolation methods applied to a set of radiation data,” in Book
of Abstracts of the 2nd Scientific Day of School of Science and Technology, UNICAM,
pp. 34–34, Centro Stampa Università di Camerino, June 2012. Poster at the 2nd Scientific
Day of School of Science and Technology, UNICAM - ISBN: 9788890736308.
[I8] F. Buti, F. Corradini, E. Merelli, and L. Tesei, “BioShape - a 3D Modelling and Simulator
Environment for Biological Systems,” in Book of Abstracts of the 2nd Scientific Day of
School of Science and Technology, UNICAM, p. 25, Centro Stampa Università di Camerino, June 2012. Poster at the 2nd Scientific Day of School of Science and Technology,
UNICAM - ISBN: 9788890736308.
4
[I7] P. Penna, M. Marini, L. Tesei, L. Bolognini, E. Merelli, N. Paoletti, M. Taffi, and G. Scarcella, “Spatial Multiscale Agent-Based Fish Behavioural Model,” in Book of Abstracts of
the 2nd Scientific Day of School of Science and Technology, UNICAM, pp. 33–33, Centro
Stampa Università di Camerino, June 2012. Poster at the 2nd Scientific Day of School
of Science and Technology - ISBN: 9788890736308.
[I6] M. Taffi, P. Penna, L. Tesei, E. Merelli, N. Paoletti, and M. Marini, “Ecological Modelling
and Analysis of Contaminant in the Marine Environment,” in Book of Abstracts of the
2nd Scientific Day of School of Science and Technology, UNICAM, pp. 36–36, Centro
Stampa Università di Camerino, June 2012. Poster at the 2nd Scientific Day of School
of Science and Technology, UNICAM - ISBN: 9788890736308.
[C20] E. Merelli, N. Paoletti, and L. Tesei, “A multi-level model for self-adaptive systems,”
Electronic Proceedings in Theoretical Computer Science, vol. 91, pp. 112–126, August 2012. Proc. of the 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation (FOCLASA 2012) - ISSN: 2075-2180.
[C19] F. Buti, F. Corradini, E. Merelli, and L. Tesei, “A Geometrical Refinement of Shape
Calculus Enabling Direct Simulation,” in Proc. of the 2nd International Conference on
Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH
2012), pp. 218–227, SciTePress, July 2012. ISBN: 9789898565204.
[J20] F. Buti, M. Callisto De Donato, F. Corradini, M. R. Di Berardini, E. Merelli, and
L. Tesei, “Towards Abstraction-Based Verification of Shape Calculus,” Electronic Notes
in Theoretical Computer Science, vol. 284, pp. 23–34, June 2012. Proc. of the 2nd
International Workshop on Static Analysis and Systems Biology (SASB 2011) - ISSN:
1571-0661.
[J19] F. Corradini, E. Merelli, D. R. Cacciagrano, R. Culmone, L. Tesei, and L. Vito, “ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People,” ERCIM
News, vol. 87, pp. 36–37, October 2011. ISSN: 0926-4981.
[C18] F. Buti, M. Callisto De Donato, F. Corradini, E. Merelli, and L. Tesei, “Multiscale Modelling: A Mobile Membrane Approach,” in Proc. of 5th Workshop on Membrane Computing
and Biologically Inspired Process Calculi (MeCBIC 2011), pp. 113–114, August 2011.
[C17] R. Barbuti, D. R. Cacciagrano, A. Maggiolo-Schettini, P. Milazzo, and L. Tesei, “A
Testing Framework for P Systems,” in Proc. of the 5th Workshop on Membrane Computing
and Biologically Inspired Process Calculi (MeCBIC 2011), pp. 7–23, August 2011.
[C16] F. Buti, D. R. Cacciagrano, M. Callisto De Donato, F. Corradini, E. Merelli, and L. Tesei,
“BioShape: End-User Development for Simulating Biological Systems,” in Proc. of the 3rd
International Symposium on End-User Development (IS-EUD 2011), vol. 6654 of Lecture
Notes in Computer Science, pp. 379–382, Springer, June 2011. ISBN: 9783642215292.
[J18] R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, G. Pardini, and L. Tesei, “Spatial P
Systems,” Natural Computing, vol. 10, pp. 3–16, March 2011. Published online: 24
March 2010 - ISSN: 1567-7818.
[J17] F. Buti, D. R. Cacciagrano, F. Corradini, E. Merelli, and L. Tesei, “A uniform multiscale
meta-model of BioShape,” Electronic Notes in Theoretical Computer Science, vol. 277,
pp. 15–27, October 2011. Proc. of Cs2Bio 2011, June 9th, Reykjavik, Iceland - ISSN:
1571-0661.
5
[B1] D. R. Cacciagrano, F. Corradini, and L. Tesei, SoURCE - Sustainable Urban Cells,
ch. Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico,
pp. 115–121. Ugo Quintily, Roma, 2011. ISBN: 9788890261190.
[J16] R. Barbuti, N. De Francesco, and L. Tesei, “An Abstract Interpretation Approach for
Enhancing the Java Bytecode Verifier,” The Computer Journal, vol. 53, no. 6, pp. 679–
700, 2010. First published online: April 23, 2009 - ISSN: 0010-4620.
[J15] E. Bartocci, D. Cacciagrano, M. R. Di Berardini, E. Merelli, and L. Tesei, “Timed Operational Semantics and Well-formedness of Shape Calculus,” Scientific Annals of Computer
Science, vol. 20, pp. 33–52, November 2010. ISSN: 1843-8121.
[I5] E. Bartocci, D. R. Cacciagrano, M. R. Di Berardini, E. Merelli, and L. Tesei, “Shape
Calculus: Timed Operational Semantics and Well-Formedness,” tech. rep., Available at
http://arxiv.org/abs/1011.2488, November 2010.
[J14] E. Bartocci, F. Corradini, M. R. Di Berardini, E. Merelli, and L. Tesei, “Shape Calculus.
A Spatial Mobile Calculus for 3D Shapes,” Scientific Annals of Computer Science, vol. 20,
pp. 1–31, November 2010. ISSN: 1843-8121.
[J13] E. Bartocci, F. Corradini, E. Merelli, and L. Tesei, “Detecting Synchronisation of Biological Oscillators by Model Checking,” Theoretical Computer Science, vol. 411, no. 20,
pp. 1999–2018, 2010. ISSN: 0304-3975.
[I4] F. Buti, D. Cacciagrano, F. Corradini, E. Merelli, and L. Tesei, “Bone Remodelling @
UNICAM,” September 2010. Poster at the 8th Conference on Computational Methods
in Systems Biology (CMSB 2010) - http://www.cosbi.eu/cmsb2010/index.php/acceptedpapers.
[J12] F. Buti, D. Cacciagrano, F. Corradini, E. Merelli, L. Tesei, and M. Pani, “Bone Remodelling in BioShape,” Electronic Notes in Theoretical Computer Science, vol. 268, pp. 17–29,
December 2010. In Proc. of 1st Int. Workshop on Interactions between Computer Science and Biology (CS2Bio 2010), Amsterdam, The Netherlands, June 10, 2010 - ISSN:
1571-0661.
[C15] F. Buti, D. Cacciagrano, and L. Tesei, “BioShape: a uniform multi-scale simulator for
biological systems,” in Proc. of 12th Italian Conference on Theoretical Computer Science
(ICTCS 2010), (Camerino, Italy), September 2010.
[J11] F. Buti, D. R. Cacciagrano, F. Corradini, E. Merelli, and L. Tesei, “BioShape: a spatial
shape-based scale-independent simulation environment for biological systems,” Procedia
Computer Science, vol. 1, pp. 827–835, May 2010. Proc. of 7th Int. Workshop on Multiphysics Multiscale Systems. In International Conference on Computational Science (ICCS
2010)., Amsterdam, The Netherlands, May 31 - June 2, 2010 - ISSN: 1877-0509.
[C14] F. Buti, F. Corradini, E. Merelli, E. Paschini, P. Penna, and L. Tesei, “An Individualbased Probabilistic Model for Fish Stock Simulation,” in Proc. Compendium of the 4th
Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC
2010) and of the 1st Workshop on Applications of Membrane Computing, Concurrency,
and Agent-based Modelling in Population Biology (AMCA-POP 2010), (Jena, Germany),
pp. 189–201, Friedrich Schiller University Jena, Pro BUSINESS Verlag, August 2010.
Presented at AMCA-POP 2010 - ISBN: 9783868057676.
also published in:
Electronic Proceedings in Theoretical Computer Science, vol. 33, pp. 37–55, August 2010.
6
Proc. of the 1st Workshop on Applications of Membrane Computing, Concurrency, and
Agent-based Modelling in Population Biology (AMCA-POP 2010) - ISSN: 2075-2180.
[C13] D. Cacciagrano, F. Corradini, E. Merelli, and L. Tesei, “Multiscale Bone Remodelling
with Spatial P Systems,” in Proc. Compendium of the 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) and of the 1st Workshop
on Applications of Membrane Computing, Concurrency, and Agent-based Modelling in
Population Biology (AMCA-POP 2010), (Jena, Germany), pp. 69–83, Friedrich Schiller
University Jena, Pro BUSINESS Verlag, August 2010. Presented at MeCBIC 2010 ISBN: 9783868057676.
also published in:
Electronic Proceedings in Theoretical Computer Science, vol. 40, pp. 70–84, October 2010.
Proc. of the 4th Workshop on Membrane Computing and Biologically Inspired Process
Calculi (MeCBIC 2010) - ISSN: 2075-2180.
[I3] M. Callisto De Donato, F. Corradini, M. R. Di Berardini, E. Merelli, and L. Tesei, “Tailoring
the Shape Calculus for Quantitative Analysis,” July 2010. Poster at 2nd Meeting of
ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA 2010).
[C12] L. Tesei, “Space, Geometry, Motion and Interactions in Modeling Biological Systems:
the BioShape Approach,” in Proc. of 6th Workshop on Computation of Biochemical Pathways and Genetic Networks, (Heidelberg, Germany), pp. 73–79, Logos Verlag, Berlin,
September 2010. ISBN: 9783832525873.
[J10] R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and L. Tesei, “Timed P Automata,”
Fundamenta Informaticae, vol. 94, no. 1, pp. 1–19, 2009. ISSN: 0169-2968.
[J9] R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and L. Tesei, “Timed P Automata,” Electronic Notes in Theoretical Computer Science, vol. 227, pp. 21–36, January 2009. Proc.
of 2nd Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi
(MeCBIC 2008), Iaşi, Romania, September 3-4, 2008 - ISSN: 1571-0661.
[I2] E. Bartocci, F. Corradini, M. R. Di Berardini, E. Merelli, and L. Tesei, “Shape Calculus:
A spatial calculus for 3D colliding shapes,” Tech. Rep. 6, Dipartimento di Matematica e
Informatica, University of Camerino, December 2009.
Available at http://s1report.cs.unicam.it/6/.
[J8] E. Bartocci, F. Corradini, E. Merelli, and L. Tesei, “Model Checking Biological Oscillators,”
Electronic Notes in Theoretical Computer Science, vol. 229, pp. 41–58, February 2009.
In Proc. of 2nd Int. Workshop From Biology to Concurrency and back (FBTC 2008),
Reykjavik, Iceland, July 12, 2008 - ISSN: 1571-0661.
[C11] E. Bartocci, M. R. Di Berardini, F. Corradini, E. Merelli, and L. Tesei, “A Shape Calculus
for Biological Processes,” in Proc. of 11th Italian Conference on Theroretical Computer
Science (ICTCS ’09), (Cremona, Italy), pp. 30–33, September 2009.
[C10] R. Alfieri, N. Cannata, E. Merelli, L. Milanesi, and L. Tesei, “Using SKOS to formalize
parameter estimation in systems biology,” in Proc. of 8th Int. Workshop on Network
Tools and Applications in Biology (NETTAB ’08), Systems Biology for health Collection,
(Varenna (LC), Italy), pp. 13–15, Sysbiohealth, May 2008.
[C9] D. Cacciagrano, F. Corradini, R. Culmone, L. Tesei, and L. Vito, “A model-prover for constrained dynamic conversations,” in Proc. of 10th Int. Conf. on Information Integration
7
and Web-based Applications & Services (iiWAS ’08), (New York, NY, USA), pp. 630–633,
ACM, 2008. ISBN: 9781605583495.
[C8] N. Cannata, F. Corradini, E. Merelli, and L. Tesei, “A spatial model and simulator for
metabolic pathways,” in Proc. of 8th Int. Workshop on Network Tools and Applications
in Biology (NETTAB ’08), Systems Biology for health Collection, (Varenna (LC), Italy),
pp. 40–42, Sysbiohealth, May 2008.
[C7] N. Cannata, F. Corradini, E. Merelli, and L. Tesei, “A Spatial Simulator for Metabolic
Pathways,” in Workshop Notes of Sistemi MultiAgente & Bioinformatica (MAS&BIO
2008), (Cagliari, Italy), pp. 31–46, September 2008.
[J7] F. Corradini, A. Polzonetti, B. Re, and L. Tesei, “Quality of Service in e-Government underlines the role of information usability,” International Journal of Information Quality,
vol. 2, no. 2, pp. 133–151, 2008. ISSN: 1751-0457.
[J6] R. Barbuti, S. Cataudella, and L. Tesei, “Abstract Interpretation Against Races,” Fundamenta Informaticae, vol. 60, no. 1-4, pp. 67–79, 2004. ISSN: 0169-2968.
[J5] R. Barbuti and L. Tesei, “Timed automata with urgent transitions,” Acta Informatica,
vol. 40, no. 5, pp. 317–347, 2004. ISSN: 0001-5903.
[I1] L. Tesei, Specification and Verification using Timed Automata. PhD thesis, Dipartimento
di Informatica, University of Pisa, April 2004. Series TD - 6/04.
[C6] R. Barbuti, S. Cataudella, and L. Tesei, “Abstract Interpretation against Races,” in Proc.
of 12th Concurrency, Specification & Programming Workshop (CS&P’2003) (L. Czaja,
ed.), vol. 591/2003, (Czarna, Poland), pp. 55–66, Warsaw University, Zaklad Graficzny
UW, September 2003.
[J4] R. Barbuti and L. Tesei, “A Decidable Notion of Timed Non-Interference,” Fundamenta
Informaticae, vol. 54, no. 2-3, pp. 137–150, 2003. ISSN: 0169-2968.
[J3] N. De Francesco, A. Santone, and L. Tesei, “Abstract Interpretation and Model Checking
for Checking Secure Information Flow in Concurrent Systems,” Fundamenta Informaticae,
vol. 54, no. 2-3, pp. 195–211, 2003. ISSN: 0169-2968.
[C5] R. Barbuti, C. Bernardeschi, N. De Francesco, and L. Tesei, “Fixing the Java bytecode
verifier by a suitable type domain,” in Proc. of 14th Int. Conf. on Software engineering
and knowledge engineering (SEKE ’02), (New York, NY, USA), pp. 377–382, ACM, July
2002. ISBN: 1581135564.
[J2] R. Barbuti, N. De Francesco, A. Santone, and L. Tesei, “A Notion of Non-Interference
for Timed Automata,” Fundamenta Informaticae, vol. 51, pp. 1–11, May 2002. ISSN:
0169-2968.
[C4] R. Barbuti and L. Tesei, “A Decidable Notion of Timed non-Interference,” in Proc. of 11th
Concurrency, Specification & Programming Workshop (CS&P’2002) (H. D. Burkhard,
L. Czaja, G. Lindemann, A. Skowron, and P. Starke, eds.), no. 161 in Informatik-Bericht,
(Berlin, Germany), pp. 20–38, Humboldt-Universität Press, October 2002. ISSN: 0863095X.
[C3] R. Barbuti, N. De Francesco, A. Santone, and L. Tesei, “A Notion of non-Interference for
Timed Automata,” in Proc. of 10th Concurrency, Specification & Programming Workshop (CS&P’2001) (L. Czaja, ed.), vol. 583/2001, (Warsaw, Poland), pp. 6–15, Warsaw
University, Zaklad Graficzny UW, October 2001.
8
[J1] R. Barbuti, N. De Francesco, and L. Tesei, “Timed Automata with non-Instantaneous
Actions,” Fundamenta Informaticae, vol. 47, no. 3-4, pp. 189–200, 2001. ISSN: 0169-2968.
[C2] R. Barbuti and L. Tesei, “Timed Automata with Urgent Transitions,” in Proc. of 2nd Int.
Workshop on Models for Time-Critical Systems (MTCS’01) (F. Corradini and W. Vogler,
eds.), no. NS-01-5 in BRICS Notes, (Aarhus, Denmark), pp. 3–21, Aarhus University
Press, August 2001. ISSN: 0909-3206.
[C1] R. Barbuti, N. De Francesco, and L. Tesei, “Timed Automata with non-Instantaneous Actions,” in Proc. of 9th Concurrency, Specification & Programming Workshop (CS&P’2000)
(H. D. Burkhard, L. Czaja, A. Skowron, and P. Starke, eds.), no. 140 in InformatikBericht, (Berlin, Germany), pp. 17–28, Humboldt-Universität Press, October 2000. ISSN:
0863-095X.
Other Teaching Activities
2007 – Present Responsible for Internationalization, Erasmus, Double Degree Programs for
BSc and MSc in Computer Science, University of Camerino.
• Departmental and Accademic Coordinator for Erasmus and Erasmus Placement
exchanges in Computer Science, for incoming and outcoming students.
• Management of National Internationalization Cooperlink Projects for Double Degree Programs, 2009, 2010, 2011 (http:\\www.cooperlink.it). Partner Universities: Reykjavik University (Iceland), University of Applied Sciences Northwestern
Switzerland, Universidad Nacional de Catamarca (Argentina).
2005 – Present Supervisor of several BSc and MSc Theses, Supevisor of several National and
International Internships of BSc and MSc students. Mentor of several students, mainly
those involved in international mobility for Erasmus, Erasmus Placement and Double
Degree.
Language
Italian: Mother Tongue
English: Certificate in Advanced English (CAE), University of Cambridge, English for Speakers of Other Languages Examinations. Grade: C, level C1 of Common European Framework
of Reference for Languages, obtained in 2008. Reference Number: 086IT1265009, Accreditation
Number: 500/2598/3.
Camerino, May 2013
Luca Tesei
9