Research

Prof. Bultan’s research interests are in automated verification, web software, software engineering, software dependability, formal methods, and program analysis. In recent years he has been particularly interested in improving dependability of web software and services. Storage, retrieval and analysis of Network Science data will require development of web based software systems. Web application development is a notoriously error prone task and there is a chronic shortage of programmers who are able to develop dependable software systems. Prof. Bultan's research group has developed automated verification and analysis techniques that help developers in identifying and eliminating errors in web software. Prof. Bultan's research goal is to develop automated tools and techniques that will enable construction of dependable software applications for analyzing large networks.