My research is on Software Verification and Security. More specifically, I worked on automatic detection and repair of bugs and security vulnerabilities in web applications such as Cross-Site Scripting (XSS) and SQL Injection (SQLI). I have published research papers in top software engineering and verification venues such as IEEE ICSE (largest and top conference in software engineering world wide) and ACM ISSTA (top conference in software testing). I won 2015 ACM SIGSOFT Outstanding Doctoral Dissertation Award. An independent paper published in IEEE/ACM ASE’14 conference ranked my string analysis library libStranger as best library compared to other libraries by Microsoft, MIT and UC Berkeley (see Scott Kausler and Elena Sherman “Evaluation of string constraint solvers in the context of symbolic execution”).