Senior Lecturer of Computing Science, University of Glasgow
Michele Sevegnani is Senior Lecturer of Computing Science at the University of Glasgow. He received a joint MSc in Bioinformatics from the universities of Edinburgh and Trento (Italy) in 2008 and a PhD in Computing Science from the University of Glasgow in 2012. He was a Visiting Researcher at the University of California Berkeley and the University of Cambridge working on formal modelling techniques for robotic and cloud systems.
He is currently the Principal Investigator of research projects focussing on achieving security and resilience for autonomous vehicles and Agritech systems.
His research interests include theoretical models of computation, stochastic processes for predicting failures and availability, cybersecurity in IoT, and automated reasoning for autonomous agents. He has received funding from EPSRC, the Royal Society, RSE, the British Council, the London Mathematical Society, and Amazon Research.