Tevfik Bultan

Verification Laboratory

Short Biography

CV

Publications

Professional Activities

ASE 2013, ICST 2013, FACS 2012, FSE 2012, ASE 2012, ICSE 2012, FIT 2012, SOCA

Courses and Seminars this Quarter:

• CS 267: Automated Verification
• INT 94PL:Freshman Seminar: What is Computing?
  I have a blog for this seminar: http://whatiscomputing.blogspot.com/

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) (W'10)
• CS 160: Translation of Programming Languages (W'99) (F'99) (F'00) (F'01) (W'04) (F'10) (W'11) (F'11) (W'12)

Graduate Courses:

• CS 290C: Formal Models for Web Software (S'10)
• CS 267: Automated Verification (S'99) (W'01) (F'02) (S'06) (S'08) (F'09) (S'10) (S'11)
• 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: Analysis and Verification Techniques for Improving Dependability of Web Software (F'11)
• CS 595C: Domain Specific Languages and Analyses for Web Applications (S'10)
• CS 595C: Dependable Web Applications via String Analysis (S'09)
• 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

• Muath Alkhalaf, Ph.D. student.
• Jaideep Nijjar, Ph.D. student.

Past Students, Postdocs

Postdoc

• Sylvain Hallé, Postdoctoral researcher, 2008-2010.
  Current position: Assistant Professor, Université du Québec à Chicoutimi, Canada

PhD

• Fang Yu, Ph.D. 2010.
  Thesis title: Automatic Verification of String Manipulating Programs
  Current position: Assistant Professor, National Chengchi University, Taiwan
• Graham Hughes, Ph.D. 2009.
  Thesis title: Interface Grammars for Modular Software Verification
  Position after graduation: Research Scientist, Acelot, Inc.
• 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.
  Position after graduation: 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: Associate 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.

MS

• Zachary Stengel, M.S. 2010.
  Project Title: Analyzing Singularity Channel Contracts
• Ben Rubinger, M.S. 2010.
  Project Title: A Code Contracts Case Study for a Facebook Application
• 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

Talks

Contact Information:

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