Denis Firsov - (original) (raw)

Name:Denis Firsov

Country:Estonia

Affiliation:Guardtime AS

Personal website: http://firsov.ee

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