Scholar
Danil Annenkov
Google Scholar ID: JjtxzfkAAAAJ
Aarhus University
type theory
proof assistants
formal verification
programming languages
semantics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
324
H-index
8
i10-index
7
Publications
20
Co-authors
0
