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 - DINFO
Email: laura.carnevali(AT)unifi.it
Tel: +390552758519
Web: http://stlab.dinfo.unifi.it/carnevali   (Google Scholar)
Interessi di ricerca:  Quantitative evaluation; stochastic models; real-time systems.
Insegnamenti: Quantitative Evaluation of Stochastic Models

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: Ricercatore a Tempo Determinato 
Affiliazione: Università degli Studi di Firenze - DiMAI
Email:  gianmarco.gurioli(AT)unifi.it
Web: Google Scholar
Interessi di ricerca:  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.
Insegnamenti:  Elements of Numerical Calculus

Posizione: Professore Associato
Affiliazione: Università degli Studi di Firenze - DiSIA
Email: mariafrancesca.marino(AT)unifi.it
Tel: +390552751569
Web: www.disia.unifi.it/marino   (Google Scholar)
Interessi di ricerca:  Latent variable models; longitudinal and multi-level data analysis.; missing data analysis; network data Analysis.
Insegnamenti:  Statistical Methods for Computer Science

Posizione: Ricercatore a Tempo Determinato 
Affiliazione: Università degli Studi di Firenze - DiSIA
Email: fiammetta.menchetti(AT)unifi.it
Tel: +390552751537
Web: www.disia.unifi.it/menchetti  (Google Scholar)
Interessi di ricerca:  Causal inference; time series; policy evaluation.
Insegnamenti:  Statistical Methods for Computer Science

Posizione: Ricercatore a Tempo Determinato 
Affiliazione: Università degli Studi di Firenze - DiMAI
Email: francesco.patrizi(AT)unifi.it
Tel: +390552751463
Interessi di ricerca:  Adaptive Splines, Isogeometric Analysis, Structure-Preserving Methods, Generalized Barycentric Coordinates.
Insegnamenti:  Elements of Numerical Calculus

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 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