conf.researchr.org / Georgy Lukyanov
Georgy Lukyanov

Registered user since Wed 28 Mar 2018

Name: Georgy Lukyanov

Country: United Kingdom

Affiliation: Newcastle University, UK

Personal website: http://geo2a.info

Research interests: Functional Programming, Formal Verification

Contributions

Haskell 2019Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track
CoqPL 2019Author of Towards a Coq Formalisation of Build Systems within the CoqPL-track
ML4PL 2018Committee Member in Program Committee within the ML4PL-track
ICFP 2019Author of Selective Applicative Functors within the Research Papers-track