Posizione: Professore Associato
Affiliazione: Università degli Studi di Firenze - DiSIA
Email: lorenzo.bettini(AT)unifi.it
Tel: +390552751503
Web: https://www.lorenzobettini.it/   (Google Scholar)
Interessi di ricerca:  Design, theory, and the implementation of programming languages; domain-specific languages.                           
Insegnamenti:  Automated Software Testing

Posizione: Professore Ordinario
Affiliazione: Università degli Studi di Firenze - DiMAI
Email: andrea.bondavalli(AT)unifi.it
Tel: +390552751481
Web: https://www.unifi.it/p-doc2-2017-B032-A-3f2a3d303b2c30-0.html   (Google Scholar)
Interessi di ricerca:  Cyber Physical Systems;  Resilient architectures and systems.
Insegnamenti:  Resiliency, Real Time and Certification

Posizione: Professore Associato
Affiliazione: Università degli Studi di Firenze - DiSIA
Email: alessandro.cardinali((AT)unifi.it
Tel: -
Web: -
Interessi di ricerca:  -                                                                                                         
Insegnamenti:  Statistical Methods for Computer Science

Posizione: Professore Associato
Affiliazione: Università degli Studi di Firenze - DiMAI
Email:  andrea.ceccarelli(AT)unifi.it
Tel: +390552751487
Web: https://www.unifi.it/p-doc2-0-0-A-3f2b342f372e2b.html   (Google Scholar)
Interessi di ricerca:  Resilient computing; systems of systems engineering; fault detection and tolerance; intrusion detection.
Insegnamenti:  Architecture, Model and Analysis of Cyber Physical Systems; Data Collection and Machine Learning for Critical Cyber-Physical Systems

Posizione: Professore Associato
Affiliazione: Università degli Studi di Firenze - DINFO
Email: marianna.desantis(AT)unifi.it
Tel: +390552758609
Web: https://www.unifi.it/p-doc2-0-0-A-3f2c372f3a2e2a.html  (Google Scholar)
Interessi di ricerca:Mixed integer nonlinear programming, Large scale nonlinear programming, Multiobjective Optimization.
Insegnamenti: Operations Research and Optimization

Posizione: Professore Ordinario
Affiliazione: Università degli Studi di Firenze - DINFO
Email: alessandro.fantechi(AT)unifi.it
Tel: +390552758639
Web: https://stlab.dinfo.unifi.it/fantechi/   (Google Scholar)
Interessi di ricerca:  Formal Methods; Software engineering; Requirements Engineering; Software Product Lines.                           
Insegnamenti:  Software Dependability

Posizione: Ricercatore a Tempo Determinato 
Affiliazione: Scuola IMT Alti Studi Lucca
Email: letterio.galletta(AT)imtlucca.it
Tel: +3905834326590
Web: https://sysma.imtlucca.it/pages/letterio-galletta/   (Google Scholar)
Interessi di ricerca:  Cybersecurity; formal methods; software verification; blockchain.
Insegnamenti:  Distributed Programming for Web, IoT and Mobile Systems

Posizione: Professore Associato
Affiliazione: Università degli Studi di Firenze - DINFO
Email: tommaso.pecorella(AT)unifi.it
Tel: +390552758540, +393204379803
Web: https://www.unifi.it/p-doc2-0-0-A-3f2a3d31362e2c.html     (Google Scholar)
Interessi di ricerca:  Network security; internet protocols; IoT systems.
Insegnamenti: Computer and Network Security

Posizione: Professore Associato 
Affiliazione: Università degli Studi di Firenze - DIEF
Email: margherita.porcelli((AT)unifi.it
Web: https://sites.google.com/view/margherita-porcelli (Google Scholar)
Interessi di ricerca:  ENumerical methods for constrained linear and nonlinear optimization and for large-scale linear algebra problems; Derivative-free algorithms and black-box optimization for continuous and mixed-integer variables; Applications: optimization problems arising in the aeronautical design, modal analysis of elastic structures arising in the study of the behavior of masonry buildings, contact mechanics; matrix completion problems.
Insegnamenti:  Elements of Numerical Calculus

Posizione: Professore Ordinario
Affiliazione: Università degli Studi di Firenze - DiSIA
Email: rosario.pugliese(AT)unifi.it
Tel: +390552751512
Web: http://local.disia.unifi.it/pugliese/   (Google Scholar)
Interessi di ricerca:  Formal methods; distributed systems; access control; domain-specific languages.
Insegnamenti:  Computer and Network Security

Posizione: Professore Associato
Affiliazione: Università degli Studi di Firenze - DiSIA
Email: francesco.tiezzi(AT)unifi.it
Tel: +390552751514
Web: www.disia.unifi.it/tiezzi   (Google Scholar)
Interessi di ricerca:  Distributed systems; formal methods; software engineering; business process management; blockchain.
Insegnamenti:  Software Project Management; Game Development

Posizione: Professore Ordinario
Affiliazione: Scuola IMT Alti Studi Lucca
Email: mirco.tribastone(AT)imtlucca.it
Tel: +3905834326 594
Web: http://cse.lab.imtlucca.it/~mirco.tribastone/   (Google Scholar)
Interessi di ricerca:  Formal methods; modeling and simulation; software performance engineering;  computational methods.
Insegnamenti:  Software Performance Engineering

Posizione: Professore Ordinario
Affiliazione: Università degli Studi di Firenze - DINFO
Email: enrico.vicario(AT)unifi.it
Tel: +390552758518
Web: http://stlab.dinfo.unifi.it/vicario   (Google Scholar)
Interessi di ricerca:  Software engineering; quantitative evaluation; stochastic models; model driven engineering.
Insegnamenti:  Quantitative Evaluation of Stochastic Models, Software Architectures and Methodologies