Bultan's research focuses on automated verification techniques and their application to software. As computer systems become more pervasive, their dependability becomes increasingly important. The size and complexity of the software systems nowadays inevitably lead to errors during both design and implementation phases. Bultan's research group develops automated verification and analysis techniques that help developers in identifying and eliminating errors in software. Bultan’s recent research results include string analysis for achieving input validation/sanitization correctness in web applications, data model verification for cloud-based web applications, interaction analysis for service-oriented and distributed systems, and design for verification for concurrent software.