Tevfik Bultan

Verification Laboratory

Short Biography

CV

Publications

Professional Activities

ASE 2009, PESOS 2009, MEMOCODE 2009, ISSTA 2009, SOCA.

Courses and Seminars This Quarter:

• CS 595C: Dependable Web Applications via String Analysis

Undergraduate Courses:

• CS 189A/172: Capstone Project/Software Engineering (W'00) (W'02) (W'03) (W'04) (W'06) (W'07) (W'08) (W'09)
• 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) (S'08)
• CS 272: Software Engineering (S'03) (S'07) (F'08)
• CS 260: Advanced Topics in Translation (S'04) (S'02)
• CS 290: Concurrent Program Design and Verification (S'00)
  

Seminars:

• CS 595C: Static String Analysis (S'08)
• 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, Postdocs

• Sylvain Hallé, Postdoctoral researcher
• Fang Yu, Ph.D. student.
• Muath Alkhalaf, Ph.D. student.
• Zachary Stengel, M.S. student.

Past Students

• Graham Hughes, Ph.D. 2009.
  Thesis title: Interface Grammars for Modular Software Verification
  Current position: Research Scientist, Acelot, Inc.
• Muath Alkhalaf, M.S. 2008.
  Project title: Automated Web Service Testing Using Interface Grammars
• Chris Ferguson, M.S. 2008.
  Project title: Collaboration Diagram Analysis Toolkit.
• 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, Department of Computer Science, Hofstra 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