Andrey Mokhov is a Lecturer in Computer Engineering at Newcastle University, UK. He is interested in applying formal methods and functional programming to hardware design, with particular focus on asynchronous circuits. In 2015 he was a visiting researcher at Microsoft Research Cambridge redesigning the build system of the Glasgow Haskell Compiler.

Talks I've Given