Tevfik Bultan
Assistant Professor
Department of Computer Science
University of California, Santa Barbara
Current Research Interests:
Specification and automated analysis of concurrent systems. Model
checking. Computer aided verification. Static analysis. Software engineering.
Professional Activities
CIAA 2003
ISSTA 2002
Courses and Seminars This Quarter:
CS172: Software Engineering
CS595:
Interfaces, Web Services and Verification
Previous Courses:
CS290: Static
Analysis (S'02)
CS172: Software Engineering
(W'00) (W'02)
CS160:
Translation of Programming Languages (W'99) (F'99) (F'00) (F'01)
CS290:
Computer Aided Verification (S'99) (W'01) (F'02)
CS290:
Concurrent Program Design and Verification (S'00)
Previous Seminars:
CS595: Topics
in Automated Verification (S'02)
CS595: Topics
in Automated Verification (F'00)
CS595: Faculty
Research Seminar (W'00)
CS595:
Automated Verification of Infinite State Systems (F'99)
CS595I:
Workflow Specification Languages (W'99)
Contact Information:
Address:
Department of Computer Science
University of California
Santa Barbara, CA 93106
Office: 2123 Engineering I
Phone: (805) 893 3735 FAX: (805)
893 8553
E-Mail: mailto:bultan@cs.ucsb.edu