• Sign in
  • Sign up
conf.researchr.org / Georgy Lukyanov
  • ECOOP and ISSTA 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2022 profile
  • PLDI 2020 profile
  • POPL 2019 profile
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

2022

ICFP

  • Author of Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming) within the ICFP Papers and Events-track

2020

ICFP

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

DeepSpec

  • Author of Katamaran: semi-automated verification of ISA specifications within the REMS-DeepSpec 2020-track

2019

Haskell

  • Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track

ICFP

  • Author of Selective Applicative Functors within the Research Papers-track

CoqPL

  • Author of Towards a Coq Formalisation of Build Systems within the CoqPL-track

2018

ML4PL

  • Committee Member in Program Committee within the ML4PL-track
Share
xSat 10 May 09:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up