Bio

Prof. Bultan joined the Department of Computer Science at UCSB in 1998, where he directs the Verification Laboratory.  Prof. Bultan is an internationally recognized research leader in software engineering, automated verification and service-oriented computing. He co-chaired the program committees of WS-FM 2010, ATVA 2011, FSE 2012 (the flagship conference of ACM SIGSOFT), and ASE 2013. He served as the vice chair of the Department of Computer Science at UCSB from 2005 to 2009.  He was a keynote speaker at CONCUR 2008, MEMOCODE 2008, PASTE 2008, FACS 2012, and FORTE/FMOODS 2013. He received the NSF CAREER award in 2000.

Research

Prof. 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.  Prof. Bultan's research group develops automated verification and analysis techniques that help developers in identifying and eliminating errors in software.  Prof. 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.

Honors and Awards

• Keynote speaker, 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), Florence, Italy, 2013
• ACM Recognition of Service Award, 2012
• Keynote speaker, 9th International Symposium on Formal Aspects of Component Software (FACS 2012), Mountain View, CA, 2012
• Keynote speaker, 13th International Workshop on Verification of Infinite-State Systems (Infinity 2011), Taipei, Taiwan, 2011
• Keynote speaker, 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), Atlanta, GA, 2008
• Keynote speaker, 19th International Conference on Concurrency Theory (CONCUR 2008), Toronto, Canada, 2008
• Keynote speaker, 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), Anaheim, CA, 2008
• Best paper award, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)
• ACM SIGSOFT distinguished paper award, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)
• National Science Foundation Faculty Early Career Development (CAREER) Award, 2000
• Regents’ Junior Faculty Fellowship, University of California, Santa Barbara, 1999
• NATO Science Fellowship, 1993

Publications