User:Andrey Mokhov

I am a Lecturer in the School of Electrical and Electronic Engineering, Newcastle University, UK. In 2000-2005 I studied Computing Science at Kyrgyz-Russian Slavic University, Kyrgyzstan. After graduation I joined the Microsystems Research Group at Newcastle University as a PhD student and in 2009 successfully defended my PhD dissertation. My current research is focused on a new approach to formal design of concurrent hardware and software systems, which is based on the compact representation of families of graphs.