Massimo Merro
Scholar

Massimo Merro

Google Scholar ID: mplMoHYAAAAJ
Professor of Computer Science, University of Verona - Italy
Concurrency TheoryFormal VerificationCyber-Physical SystemsCyber-Physical System SecurityIoT
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
582
 
H-index
14
 
i10-index
17
 
Publications
20
 
Co-authors
20
list available
Contact
CVOpen ↗
Publications
1 items
SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes
2025
Cited
0
Resume
Academic Achievements
  • Published dozens of papers in top international journals; received funding from the National Natural Science Foundation.
Research Experience
  • Worked as an Assistant Professor at the University of Verona, participated in several national research projects.
Education
  • PhD, Department of Computer Science, University of Verona, Advisor: [Advisor's Name], Years: 2005-2009.
Background
  • Research interests include formal verification and security protocols in the field of Computer Science; specialized in Software Engineering.
Miscellany
  • Enjoys traveling and photography, likes to explore new technology trends during free time.
Co-authors
9 total
Davide Sangiorgi
Davide Sangiorgi
Professor of Computer Science, University of Bologna
Luca Viganò
Luca Viganò
Professor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College
Nicola Zannone
Nicola Zannone
Eindhoven University of Technology
Michele Bugliesi
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
Riccardo Muradore
Riccardo Muradore
Department of Computer Science, University of Verona
Musard Balliu
Musard Balliu
KTH Royal Institute of Technology
Paolo Fiorini
Paolo Fiorini
Professor of Computer Science, University of Verona
Michael D. Ernst
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington