Tevfik Bultan

Verification Laboratory

Short Biography

CV

Publications

Professional Activities

ISSTA 2009, TAV-WEB 2008, CONCUR 2008, NSV 2008, ICSOC 2008, FACS 2008, ASE 2008, MEMOCODE 2008, TACAS 2008, SOCA.

Courses and Seminars This Quarter:

• CS 267: Automated Verification
• CS 595C: Static String Analysis

Undergraduate Courses:

• CS 172/189A: Software Engineering (W'00) (W'02) (W'03) (W'04) (W'06) (W'07) (W'08)
• CS 160: Translation of Programming Languages (W'99) (F'99) (F'00) (F'01) (W'04)

Graduate Courses:

• CS 267: Automated Verification (S'99) (W'01) (F'02) (S'06)
• CS 272: Software Engineering (S'03) (S'07)
• CS 260: Advanced Topics in Translation (S'04) (S'02)
• CS 290: Concurrent Program Design and Verification (S'00)
  

Seminars:

• CS 595C: Architectural Support for Dynamic Software Analysis (S'07)
• CS 595: Environment Generation and Model Based Testing (S'06)
• CS 595: Web Services and Security (W'06)
• CS 595: Topics in Automated Verification (F'00) (S'02) (S'04)
• CS 595: Web Services (S'03) (F'03)
• CS 595: Interfaces, Web Services and Verification (W'03)
• CS 595: Faculty Research Seminar (W'00)
• CS 595: Automated Verification of Infinite State Systems (F'99)
• CS 595: Workflow Specification Languages (W'99)

Current Students

• Fang Yu, Ph.D. student.
• Graham Hughes, Ph.D. student.
• Muath Alkhalaf, M.S. student.
• Chris Ferguson, M.S. student.

Past Students

• Elliot Barlas, B.S./M.S., 2007.
  Project title: A Framework for Verification of Distributed Java Programs Using Java PathFinder.
  Current position: Citrix Online
• Jennifer Choe, M.S., 2006.
  Project title: An Extended Finite State Machine Approach to Automated GUI Testing.
  Current position: Veeco Systems
• Aysu Betin-Can, Ph.D., 2005.
  Thesis title: Design for Verification for Concurrent and Distributed Programs.
  Current position: Assistant Professor, Informatics Institute, Middle East Technical University, Ankara, Turkey.
• Constantinos Bartzis, Ph.D., 2004.
  Thesis title: Symbolic Representations for Integer Sets in Automated Verification.
  Current position: Post Doctoral Fellow, School of Computer Science, Carnegie Mellon University.
• Xiang Fu, Ph.D., 2004, co-advised with Jianwen Su.
  Thesis title: Formal Specification and Verification of Asynchronously Communicating Web Services.
  Current position: Assistant Professor, School of Computer and Information Science, Georgia Southwestern State University.
• Tuba Yavuz-Kahveci, Ph.D., 2004.
  Thesis title: Specification and Automated Verification of Concurrent Software Systems.
  Current Position: Research Scientist, Department of Computer and Information Science and Engineering, University of Florida, Gainesville.
• Zhe Dang, Ph.D., 2000, co-advised with Richard A. Kemmerer.
  Thesis title: Verification and Debugging of Infinite State Real-time Systems.
  Current position: Associate Professor, School of Electrical Engineering and Computer Science, Washington State University.

Talks

Contact Information:

Department of Computer Science
University of California
Santa Barbara, CA 93106-5110