Position: Associate Professor
Affiliation: Università degli Studi di Firenze - DiSIA
Email: lorenzo.bettini(AT)unifi.it
Phone: +390552751503
Web: https://www.lorenzobettini.it/   (Google Scholar)
Research interests:  Design, theory, and the implementation of programming languages; domain-specific languages.                           
Courses:  Automated Software Testing

Position: Full Professor
Affiliation: Università degli Studi di Firenze - DiMAI
Email: andrea.bondavalli(AT)unifi.it
Phone: +390552751481
Web: https://www.unifi.it/p-doc2-2017-B032-A-3f2a3d303b2c30-0.html   (Google Scholar)
Research interests:  Cyber Physical Systems;  Resilient architectures and systems.
Courses:  Resiliency, Real Time and Certification

Position: Associate Professor
Affiliation: Università degli Studi di Firenze - DINFO
Email: paola.cappanera(AT)unifi.it
Phone: +390552758640
Web: https://webgol.dinfo.unifi.it/who-we-are/paola-cappanera/   (Google Scholar)
Research interests:  Combinatorial optimization; network optimization; modelling and  solving approaches on reals problems with a special focus on emerging problems in healthcare and mobility.
Courses: Operations Research and Optimization

Position: Associate Professor
Affiliation: Università degli Studi di Firenze - DINFO
Email: laura.carnevali(AT)unifi.it
Phone: +390552758519
Web: http://stlab.dinfo.unifi.it/carnevali   (Google Scholar)
Research interests:  Quantitative evaluation; stochastic models; real-time systems.
Courses: Quantitative Evaluation of Stochastic Models

Position: Associate Professor
Affiliation: Università degli Studi di Firenze - DiMAI
Email:  andrea.ceccarelli(AT)unifi.it
Phone: +390552751487
Web: https://www.unifi.it/p-doc2-0-0-A-3f2b342f372e2b.html   (Google Scholar)
Research interests:  Resilient computing; systems of systems engineering; fault detection and tolerance; intrusion detection.
Courses:  Architecture, Model and Analysis of Cyber Physical Systems; Data Collection and Machine Learning for Critical Cyber-Physical Systems

Position: Full Professor
Affiliation: Università degli Studi di Firenze - DINFO
Email: alessandro.fantechi(AT)unifi.it
Phone: +390552758639
Web: https://stlab.dinfo.unifi.it/fantechi/   (Google Scholar)
Research interests:  Formal Methods; Software engineering; Requirements Engineering; Software Product Lines.                           
Courses:  Software Dependability

Position: Assistant Professor 
Affiliation: Scuola IMT Alti Studi Lucca
Email: letterio.galletta(AT)imtlucca.it
Phone: +3905834326590
Web: https://sysma.imtlucca.it/pages/letterio-galletta/   (Google Scholar)
Research interests:  Cybersecurity; formal methods; software verification; blockchain.
Courses:  Distributed Programming for Web, IoT and Mobile Systems

Position: Assistant Professor
Affiliation: Università degli Studi di Firenze - DiMAI
Email:  gianmarco.gurioli(AT)unifi.it
Web: Google Scholar
Research interests:  Energy-preserving methods for conservative problems and Hamiltonian PDEs; adaptive regularisation methods under inexact evaluations for nonconvex optimisation and machine learning applications; structural health monitoring and anomaly detection of age-old towers and infrastructures.
Courses:  Elements of Numerical Calculus

Position: Associate Professor
Affiliation: Università degli Studi di Firenze - DiSIA
Email: mariafrancesca.marino(AT)unifi.it
Phone: +390552751569
Web: www.disia.unifi.it/marino   (Google Scholar)
Research interests:  Latent variable models; longitudinal and multi-level data analysis.; missing data analysis; network data Analysis.
Courses:  Statistical Methods for Computer Science

Position: Assistant Professor 
Affiliation: Università degli Studi di Firenze - DiSIA
Email: fiammetta.menchetti(AT)unifi.it
Phone: +390552751537
Web: www.disia.unifi.it/menchetti  (Google Scholar)
Research interests:  Causal inference; time series; policy evaluation.
Courses:  Statistical Methods for Computer Science

Position: Assistant Professor
Affiliation: Università degli Studi di Firenze - DiMAI
Email: francesco.patrizi(AT)unifi.it
Phone: +390552751463
Research interests:  Adaptive Splines, Isogeometric Analysis, Structure-Preserving Methods, Generalized Barycentric Coordinates.
Courses:  Elements of Numerical Calculus

Position: Associate Professor
Affiliation: Università degli Studi di Firenze - DINFO
Email: tommaso.pecorella(AT)unifi.it
Phone: +390552758540, +393204379803
Web: https://www.unifi.it/p-doc2-0-0-A-3f2a3d31362e2c.html     (Google Scholar)
Research interests:  Network security; internet protocols; IoT systems.
Courses: Computer and Network Security

Position: Full Professor
Affiliation: Università degli Studi di Firenze - DiSIA
Email: rosario.pugliese(AT)unifi.it
Phone: +390552751512
Web: http://local.disia.unifi.it/pugliese/   (Google Scholar)
Research interests:  Formal methods; distributed systems; access control; domain-specific languages.
Courses:  Computer and Network Security

Position: Associate Professor
Affiliation: Università degli Studi di Firenze - DiSIA
Email: francesco.tiezzi(AT)unifi.it
Phone: +390552751514
Web: www.disia.unifi.it/tiezzi   (Google Scholar)
Research interests:  Distributed systems; formal methods; software engineering; business process management; blockchain.
Courses:  Software Project Management; Game Development

Position: Full Professor
Affiliation: Scuola IMT Alti Studi Lucca
Email: mirco.tribastone(AT)imtlucca.it
Phone: +3905834326 594
Web: http://cse.lab.imtlucca.it/~mirco.tribastone/   (Google Scholar)
Research interests:  Formal methods; modeling and simulation; software performance engineering;  computational methods.
Courses:  Software Performance Engineering

Position: Full Professor
Affiliation: Università degli Studi di Firenze - DINFO
Email: enrico.vicario(AT)unifi.it
Phone: +390552758518
Web: http://stlab.dinfo.unifi.it/vicario   (Google Scholar)
Research interests:  Software engineering; quantitative evaluation; stochastic models; model driven engineering.
Courses:  Quantitative Evaluation of Stochastic Models, Software Architectures and Methodologies