Andrey Mokhov (@andreymokhov) is a Visiting Fellow at Newcastle University, UK, currently on a leave to industry. During his PhD study (2005-2009) Andrey worked on asynchronous circuits and concurrent systems in general. His current research interests are in applying abstract mathematics and functional programming to solving large-scale engineering problems.