Home

Vadim Alimguzhin

Details

Last Updated on Tuesday, 09 May 2017 09:16

Post Doc

List of Publications
Personal home page

Current position Since 2014 Vadim Alimguzhin is a Postdoctoral Researcher at the Computer Science Department of Sapienza University of Rome (Italy).

Education In 2013 he received his PhD degree from Sapienza University of Rome (Italy). His advisor was Prof. Enrico Tronci. In 2009 he received his Master Degree from Ufa State Aviation Technical University in "Software and administration of information systems".

Research interests His current research interests comprise: data structures, formal methods, model checking, hybrid systems, automatic control software synthesis.