{"id":265,"date":"2016-12-04T18:16:43","date_gmt":"2016-12-04T18:16:43","guid":{"rendered":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/?page_id=265"},"modified":"2020-04-28T23:21:42","modified_gmt":"2020-04-28T22:21:42","slug":"about","status":"publish","type":"page","link":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/about\/","title":{"rendered":"About Andrey"},"content":{"rendered":"<p>My name is Andrey Mokhov, I am a <a href=\"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/moving-to-jane-street\/\">software engineer<\/a> at Jane Street London, and a visiting fellow at Newcastle University, UK. My research interests are in applying abstract mathematics and functional programming to solving large-scale engineering problems.<\/p>\n<p>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\u00a0by decomposing them into simple, well-understood parts. This modelling approach is now part of <a href=\"http:\/\/www.workcraft.org\/\">Workcraft<\/a>, an open-source software toolkit for the design, verification and synthesis of asynchronous circuits.<\/p>\n<p>I am originally from Kyrgyzstan, where I received a Software Engineering degree (2000-2005) from\u00a0Kyrgyz-Russian Slavic University. I was a 5-time champion of Kyrgyzstan in algorithmic competitions, and currently help to run <a href=\"https:\/\/en.wikipedia.org\/wiki\/ACM_International_Collegiate_Programming_Contest\">ACM ICPC<\/a>\u00a0Quarterfinal in Kyrgyzstan.<\/p>\n<p>I am <a href=\"https:\/\/twitter.com\/andreymokhov\">@andreymokhov<\/a> on Twitter and <a href=\"https:\/\/github.com\/snowleopard\">@snowleopard<\/a> on GitHub.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>My name is Andrey Mokhov, I am a software engineer at Jane Street London, and a visiting fellow 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 &hellip; <a href=\"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/about\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">About Andrey<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1174,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-265","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/wp-json\/wp\/v2\/pages\/265","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/wp-json\/wp\/v2\/users\/1174"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/wp-json\/wp\/v2\/comments?post=265"}],"version-history":[{"count":16,"href":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/wp-json\/wp\/v2\/pages\/265\/revisions"}],"predecessor-version":[{"id":1284,"href":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/wp-json\/wp\/v2\/pages\/265\/revisions\/1284"}],"wp:attachment":[{"href":"https:\/\/blogs.ncl.ac.uk\/andreymokhov\/wp-json\/wp\/v2\/media?parent=265"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}