非常抱歉，
你要访问的页面不存在，
非常抱歉，
你要访问的页面不存在，
非常抱歉，
你要访问的页面不存在，
验证码：
职称:Professor
所属学校:University of California-Santa Barbara
所属院系:Computer Science Department
所属专业:Computer Science
联系方式:(805) 893-3735
Prof. Bultan joined the Department of Computer Science at UCSB in 1998, where he directs the Verification Laboratory. Prof. Bultan is an internationally recognized research leader in software engineering, automated verification and service-oriented computing. He co-chaired the program committees of WS-FM 2010, ATVA 2011, FSE 2012 (the flagship conference of ACM SIGSOFT), and ASE 2013. He served as the vice chair of the Department of Computer Science at UCSB from 2005 to 2009. He was a keynote speaker at CONCUR 2008, MEMOCODE 2008, PASTE 2008, FACS 2012, and FORTE/FMOODS 2013. He received the NSF CAREER award in 2000.
Prof. Bultan joined the Department of Computer Science at UCSB in 1998
