Aslan Askarov

Postdoctoral Fellow
School of Engineering and Applied Sciences
Harvard University
Email: aslan (at) seas.harvard.edu



Research interests

  • Programming languages: semantics, type systems, program analysis.
  • Security: foundations, information-flow policies, declassification, programming language-based techniques for enforcement, implementation of security protocols, web security, mitigation of timing channels.

Professional activities

Selected recent publications