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

REMS-DeepSpec 2020	Author of Katamaran: semi-automated verification of ISA specifications within the REMS-DeepSpec 2020-track
ICFP 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Haskell 2019	Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track
CoqPL 2019	Author of Towards a Coq Formalisation of Build Systems within the CoqPL-track
ML4PL 2018	Committee Member in Program Committee within the ML4PL-track
ICFP 2019	Author of Selective Applicative Functors within the Research Papers-track