Experience
Education
Bio
Main research interests include program analysis, programming language design, automated testing, verification, JavaScript, XML, Web applications, and applications of mathematical logics and formal languages. Curriculum Vitae (PDF). DBLP. AU PURE. ACM DL. Google Scholar Citations. Manager of CASA - Center for Advanced Software Analysis. Chairman of the PhD committee at CS AU.