Tevfik Bultan
Professor
He/Him/His
(805)893-3735
2159 Harold Frank Hall
Education
Ph.D. Computer Science, University of Maryland, College Park, 1998
M.S. Computer Engineering and Information Science, Bilkent University, 1992
B.S. Electrical and Electronics Engineering, Middle East Technical University, 1989
Campus Affiliations
Verification Laboratory
Computer Engineering Program
Center for CyberSecurity
Awards
Keynote speaker, 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), Florence, Italy, 2013
ACM Recognition of Service Award, 2012
Keynote speaker, 9th International Symposium on Formal Aspects of Component Software (FACS 2012), Mountain View, CA, 2012
Keynote speaker, 13th International Workshop on Verification of Infinite-State Systems (Infinity 2011), Taipei, Taiwan, 2011
Keynote speaker, 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), Atlanta, GA, 2008
Keynote speaker, 19th International Conference on Concurrency Theory (CONCUR 2008), Toronto, Canada, 2008
Keynote speaker, 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), Anaheim, CA, 2008
Best paper award, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)
ACM SIGSOFT distinguished paper award, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)
National Science Foundation Faculty Early Career Development (CAREER) Award, 2000
Regents’ Junior Faculty Fellowship, University of California, Santa Barbara, 1999
NATO Science Fellowship, 1993
Research Areas
Programming Languages and Software Engineering
Security and Cryptography