Ricerca Resilient Computing LabMembersStaff members

Staff members

Staff members

 

Email: bondavalli(AT)unifi.it
Phone: +39 055 2751481

Personal Page with CV 

List of Publications: Google Scholar ,  Flore

Research interests:  Safety Critical Systems, Embedded Real-time systems, Cyber Physical Systems, Systems of Systems. Fault tolerant mechanisms and Architectures. Machine learning applied to critical systems. Verification, Validation, Certification, Quantitative evaluation and assessment of QoS.

Teachings:

• Bachelor degree in Computer Science: B006802 - ARCHITETTURE DEGLI ELABORATORI
• Master Degree in Software: Science and Technology: B032429 - RESILIENCY, REAL TIME AND CERTIFICATION

 

 

Email: francesco.flammini(AT)unifi.it
Phone: +39 TBA

Personal Page with CV 

List of Publications: Google Scholar ,  Flore

Research interests:  trustworthy autonomous systems, critical infrastructure protection, stochastic modeling, cyber-physical systems security, resilient computing

Teachings:

• Master Degree in Software: Science and Technology: : B032426 - ARCHITECTURE, MODEL AND ANALYSIS OF CYBER PHYSICAL SYSTEMS;

 

Email: andrea.ceccarelli(AT)unifi.it
Phone: +39 055 2751487

Personal Page with CV 

List of Publications: Google Scholar,  Flore

Research interests:  Resilient architectures and systems of systems; intrusion and error detection; anomaly detection for secure and safety-critical systems; safe detection and planning for autonomous systems.

Teachings:

• Bachelor degree in Computer Science: B032846 - INGEGNERIA DEL SOFTWARE
• Master Degree in Software: Science and Technology: B032426 - ARCHITECTURE, MODEL AND ANALYSIS OF CYBER PHYSICAL SYSTEMS; B032430 - DATA COLLECTION AND MACHINE LEARNING FOR CRITICAL CYBER-PHYSICAL SYSTEMS 

 

 

Email: paolo.lollini(AT)unifi.it
Phone: +39 055 2751486

Personal Page with CV https://www.unifi.it/p-doc2-2016-200010-L-3f2b342a32292a-0.html

List of Publications: Google Scholar,  Flore

Research interests:  Stochastic Modelling Methodologies for Dependability, Security and Performability analysis. Application domains: (Cyber-Physical) Systems of Systems, Critical Infrastructures, Safety-critical Systems, Embedded Systems.  .

Teachings:

• Bachelor degree in Computer Science: B006804 - PROGRAMMAZIONE
• Master Degree in Software: Science and Technology: B032426 - ARCHITECTURE, MODEL AND ANALYSIS OF CYBER PHYSICAL SYSTEMS 

 

Email: tommaso.zoppi(AT)unifi.it
Phone: +39 055 2751479

Personal Page with CV : https://cercachi.unifi.it/p-doc2-0-0-A-3f2b3b29362d31.html

List of Publications: Google Scholar,  Flore

Research interests:  Anomaly Detection, Security, Safety, RAMS, Machine Learning.

Teachings:

• Bachelor degree in Computer Science:  [B006802] COMPUTER ARCHITECTURE
• Master Degree in Software: Science and Technology:  [B032430] DATA COLLECTION AND MACHINE LEARNING FOR CRITICAL CYBER-PHYSICAL SYSTEMS

 

Email:  muhammad.atif(AT)unifi.it

Personal page with CV

Research interests: Machine Learning; Computer Vision; Safety Critical Systems; fault detection and tolerance; intrusion detection.

List of Publications: Google Scholar