Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Andrey Mokhov

Registered user since Fri 21 Sep 2018

Name: Andrey Mokhov

Bio: I am a Senior Lecturer in Computer Engineering at Newcastle University, UK. My research interests are in applying abstract mathematics and functional programming to solving large-scale engineering problems.

During my PhD study (2005-2009) I worked on asynchronous circuits and concurrent systems in general. I developed Conditional Partial Order Graphs to model the behaviour of concurrent systems by decomposing them into simple, well-understood parts. In the last few years, I’ve been translating my PhD work to the world of functional programming, publishing open-source libraries for algebraic graphs and selective functors. I have also done some work on the topic of software build systems – this topic has been gradually changing from “terrifying” to “fascinating” to me, and I’m yet to see where this journey goes.

I am originally from Kyrgyzstan, where I received a Software Engineering degree (2000-2005) from Kyrgyz-Russian Slavic University. I was a 5-time champion of Kyrgyzstan in algorithmic competitions and currently help to run ACM ICPC Quarterfinal in Kyrgyzstan.

Country: United Kingdom

Affiliation: Newcastle University, UK

Personal website: https://twitter.com/andreymokhov

Contributions

PLMW @ ICFP 2019Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track
Committee Member in Speakers within the PLMW @ ICFP 2019-track
Haskell 2019Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track
ICFP 2019Author of Selective Applicative Functors within the Research Papers-track
Show activities from other conferences

Using general profile