Tevfik Bultan
Location: (Santa Barbara, CA)
Personal Research Web Page: http://www.cs.ucsb.edu/~bultan/
Keywords: model checking, static analysis, service oriented computing, concurrency, and software engineering
Posted on: Monday, June 8th, 2009
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers, Software Engineering
Research Interests:
My current research interests include:
* Software model checking: Using symbolic or explicit state model checking techniques to verify (or falsify) software systems.
* String analysis: Automata-based symbolic analysis for detecting and preventing vulnerabilities that relate to string manipulation.
* Analysis and verification of web software: Application of automated verification techniques to interactive web applications and web services.
* Design for verification: Investigating new ways of constructing software to facilitate effective automated verification.
Analyzing Web software:
Contact Information:
E-mail: email obfuscated - click to reveal
Office phone: (805) 893 3735
