Denis Firsov -

Registered user since Fri 1 Dec 2017

Name:Denis Firsov

Country:Estonia

Affiliation:Guardtime AS

Personal website: http://firsov.ee

Research interests:algorithms, mathematically certified software, type theory, semantics

Contributions

2020

CPP

Author of Verified Security of BLT Signature Scheme within the CPP 2020-track

2018

ICFP

Author of Generic Zero-Cost Reuse for Dependent Types within the Research Papers-track

CPP

Author of Generic Derivation of Induction for Impredicative Encodings in Cedille within the CPP 2018-track