Tevfik Bultan (Preferred)
Tevfik Bultan
Full Professor, Department of Computer Science, University of California, Santa Barbara
Joined
May 2025
Names
Emails
****@ucsb.edu (Confirmed)
Personal Links
Career & Education History
Full Professor
Department of Computer Science, University of California, Santa Barbara (ucsb.edu)
2009 – Present
Associate Professor
Department of Computer Science, University of California, Santa Barbara (ucsb.edu)
2004 – 2009
Assistant Professor
Department of Computer Science, University of California, Santa Barbara (ucsb.edu)
1998 – 2004
PhD student
Department of Computer Science, University of Maryland, College Park (umd.edu)
1993 – 1998
MS student
Department of Computer Engineering and Information Sciences, Bilkent University (bilkent.edu.tr)
1989 – 1992
Undergrad student
Department of Electrical and Electronics Engineering, Middle East Technical University (metu.edu.tr)
1985 – 1989
Advisors, Relations & Conflicts
PhD Advisor
Richard Gerber
Present
PhD Advisee
Constantinos Bartzis
Present
PhD Advisee
Aysu Betin Can
Present
PhD Advisee
Graham Hughes
Present
PhD Advisee
Muath Alkhalaf
Present
PhD Advisee
Ivan Bocic
Present
PhD Advisee
Abdulbaki Aydin
Present
PhD Advisee
Tegan Brennan
Present
PhD Advisee
Seemanta Saha
Present
PhD Advisee
Ismet Burak Kadron
Present
Expertise
software verification
, program analysis
, software engineering
, computer security
, formal methods
, neural network verification
Present
Publications
Co-Authors
- Aarti Gupta
- Abdulbaki Aydin
- Achintya Desai
- Albert Li
- Alessandro Orso
- Alexander Pucher
- Alyas Almaawi
- Andreas Zeller
- Anushka Lodha
- Atif M. Memon
- Aysu Betin-Can
- Ben Hardekopf
- Ben Rubinger
- Benjamin Lux
- Benjamin Ogles
- Benjamin Prince
- Bettina Anders
- Bow-Yaw Wang
- Brian Ozawa Burns
- Cevdet Aykanat
- Chandra Krintz
- Chao Wang
- Chaofan Shou
- Ching-Yuan Shueh
- Chris Bunch