معرفی
Tiziano Villa is a Temporary Professor in the Department of Computer Science at the University of Verona, specializing in information processing systems (ING-INF/05). His office is located at Ca' Vignal 2, Floor 1, Room 77, and he can be reached at +39 045 802 7034.
Professor Villa's research spans computer architecture, embedded systems, operating systems, and formal methods for engineering systems. He leads the ForMe research group focused on applying formal methods to modeling, verification and synthesis of engineering systems across domains from timed systems to nonlinear cyberphysical systems. He's also involved with the INdAM Research Unit at the University of Verona and the Networked Systems and Technologies group which designs communication technologies for industry, agriculture, building automation, transport and land management.
His current research projects include VVV (Voglio Vedere Verde) for virtual simulation of natural ecosystems (started December 2023), PRIN 2022 for Urban Greening (started October 2023), and ongoing work on formal methods for verification and synthesis of discrete event and hybrid systems (started February 2018). Professor Villa has been teaching courses related to computer architecture and operating systems since at least 2006-2007 across multiple degree programs including Computer Science, Bioinformatics, and Computer Engineering for Robotics and Smart Industry.
- Faculty Board of PhD in Computer Science member
- Computer Science Teaching Committee member
Professor Villa holds the position of Honorary Professor since April 1, 2024, and has two temporary professor appointments: one from September 20, 2024 to September 30, 2025, and another from September 5, 2023 to December 31, 2025. His laboratory work includes involvement with the SPY (Formal Methods) Laboratory and other research facilities at the University of Verona.