Name:Alexander Kogtenkov

Country:Russia

Affiliation:Schaffhausen Institute of Technology, Switzerland

Research interests:static analysis; formal verification; compilation; type systems; software safety; programming languages semantics;