Alberto is Postdoctoral Researcher at the University of Verona, where he works on the European project NEUROPULS. His research focuses on developing security protocols for IoT and Edge Computing devices. The main goal is to strategically incorporate hardware capabilities to achieve substantial security gains with minimal power consumption.
He received his PhD in Computer Science from the University of Verona in 2017, discussing a thesis on the application of formal verification techniques to improve software quality. During his PhD, he gained experience in the industry working for Julia Srl, a university spin-off specialized in software verification. In this context, he contributed to the development of innovative tools and methodologies for code testing and analysis.
After his PhD, he expanded his research interests, participating in many projects ranging from the verification of Cobol code for legacy systems, to studies on the sustainability of production chains, where he applied his skills in data analysis and complex systems modeling.
Contact: alberto[dot]lovato[at]univr[dot]it