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.
I'm speaking at...
Haskell eXchange 2017
Two days in London
Back for a sixth installment, the Haskell eXchange is an annual conference created for and by the Skills Matter community. An opportunity for Haskellers to meet, learn and share skills, discover emerging technologies and help evolve the Haskell ecosystem. Everyone is welcome to join, whether you...haskell haskellx types functional-programming
Talks I've Given
Meet Hadrian: a new build system for GHC
Featuring Andrey Mokhov
Most build systems start small and simple, but over time grow into hairy monsters that few dare to touch. Our favourite Glasgow Haskell Compiler is no exception. In this talk, you will learn that there are a few issues that cause build systems major scalability challenges, and many pervasively...haskellx haskell hadrian ghc