Experience
Education
Bio
I am interested in developing systematic tools/theories/methodologies for software/system correctness, reliability and efficiency. My current focus is on automated system verification techniques, in particular, model checking. I am interested in publishing at the following top-tier conferences and journals: CAV, ICSE, FSE, FM, TACAS, IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, etc. A big part of my recent research is on a model checking framework called PAT. To this date (3.5.14), PAT has attracted more than 3000 registered users from more than 300 organizations. It has been used to teach formal methods and model checking in multiple universities and companies. Research Interests I am interested in developing systematic tools/theories/methodologies for software/system correctness, reliability and efficiency. My current research focus is on automated software system analysis techniques including model checking, program analysis/verification, cyber-security, etc. I am interested in publishing at the following top-tier conferences and journals: CAV, ICSE, FSE, FM, TACAS, IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, etc. A part of my research is on a model checking framework called PAT. To this date (24.6.14), PAT has attracted more than 3000 registered users from more than 500 organizations. It has been used to teach formal methods and model checking in multiple universities.