Name:Alexander Kogtenkov

Country:Russia

Affiliation:Kaspersky Lab

Research interests:formal verification; software safety; programming languages semantics;