Sponsor: IEEE Central Coast Section
Speaker: Dr. Tevfik Bultan, Professor and the Chair of the Department of Computer Science at UCSB and also a Distinguished Speaker.
Meeting Date: October 20, 2021
The connection between logic and computing goes back to the origins of the computing discipline. In recent years, automated logic solvers have become critical tools for detecting computer security vulnerabilities. By reducing the search for security vulnerabilities in computer systems to the search for satisfying solutions to logic formulas, automated logic solvers can be used as security vulnerability detectors. This talk will cover the detection and elimination of access control vulnerabilities in cloud computing platforms using the computing-logic connection.
Bio: Dr. Tevfik Bultan is a Professor and the Chair of the Department of Computer Science at UCSB, having previously served as departmental Vice Chair during 2005-2009. His research interests are in software verification, program analysis, software engineering, and computer security. He has authored more than 100 refereed research papers, participated on more than 50 technical program committees of international conferences & workshops, and served on multiple journal editorial boards. Dr. Bultan is a regular speaker at academic and professional venues, including as keynote speaker, and he has received numerous fellowships, best-paper awards, and other technical honors. Among his achievements are UCSB Academic Senate’s Outstanding Graduate Mentor Award and recognition as an ACM Distinguished Scientist, both in 2016.