After receiving his Ph.D. on formal description of service availability and denial of service in computer networks from Tarbiat Modares University, he has continued research and teaching in the area of information security for almost 10 years. During 2004-2009, he has been moving into new research areas. In addition to topics in information security and formal methods, he is pursuing research in game theoretic analysis and design of computing systems, especially secure systems, as well as in foundations of programming languages which is fundamental to designing secure software. His recent papers are mostly in the area of language-based security.