The University of Insubria.
The University of Insubria The University of Insubria The University of Insubria The University of Indubria
The University of Insubria The University of Insubria logo The University of Insubria image bar  
The University of Insubria
The Univsersity of Insubria

 
The University of Insubria CV
The University of Insubria CV
The University of Insubria CV The University of Insubria CV Simone Tini
The University of Insubria CV
 

Contact data

Associate Professor
Department of Computer Science and Communication
Via Valleggio 11, 22100, Como
Tel: 031 2386270
Fax: 031 2386309
E-mail: simone.tini@uninsubria.it

 

Biography

Date of birth: April 11, 1971. Place of birth: La Spezia. Education: Master in Computer Science, University of Pisa, June 1995; Ph.D. in Computer Science, University of Pisa, February 2000. Academic appointments: Research fellow, Department of Computer Science, University of Pisa, March 2000 – September 2001; Assistant Professor, University of Insubria, October 2001- February 2005; Associate Professor, University of Insubria, since March 2005.

 

Qualifications and awards

Master in Computer Science, University of Pisa, June 1995. Ph.D. in Computer Science, University of Pisa, February 2000.
 

Research interests

Research interests focus on formal methods for computer science. More precisely, formal methods are applied to synchronous languages for the specification, programming, verification, and optimization of reactive systems, theory of concurrent automata, for modelling concurrent systems, theory of noninterference, and theory of probabilistic processes.
 

Teaching experience and appointments

Operating Systems seminar, 2001-2002; Algorithm Theory seminar, 2001-2002; Programming Theory (Part I), since 2002-2003; Programming Theory (Part II), since 2002-2003; Programming Languages for Concurrent and Distributed Systems, since 2002-2003.
 

Representative  publications

  • S. Tini: An axiomatic semantics for Esterel. Theor. Comput. Sci. 269(1-2): 231-282 (2001).
  • A. Maggiolo-Schettini, S. Tini: On disjunction of literals in triggers of statecharts transitions. Inf. Process. Lett. 84(6): 305-310 (2002).
  • R. Lanotte, A. Maggiolo-Schettini, S. Tini: Concurrency in timed automata. Theor. Comput. Sci. 309(1-3): 503-527 (2003).
  • A. Maggiolo-Schettini, A. Peron, S. Tini: A comparison of Statecharts step semantics. Theor. Comput. Sci. 290(1): 465-498 (2003).
  • S. Tini: An axiomatic semantics for the synchronous language Gentzen. J. Comput. Syst. Sci. 66(2): 316-348 (2003).
  • S. Tini: Rule formats for compositional non-interference properties. J. Log. Algebr. Program. 60-61: 353-400 (2004).
  • S. Tini: Timed CCP compositionally embeds Argos and Lustre. Formal Asp. Comput. 16(3): 292-312 (2004).
  • R. Lanotte, A. Maggiolo-Schettini, S. Tini: Information flow in hybrid systems. ACM Trans. Embedded Comput. Syst. 3(4): 760-799 (2004).

 

 
   
leftmenu univ of insubria
 
 
 
CV CV