Please join us on October 20th @ 6:30 PM pst when Distinguished Speaker Dr. Tevfik Bultan, Professor and Chair of the Department of Computer Science at UCSB presents. “Computing, Logic, and Security”.
To Register NOW follow Central Coast Event Link: https://events.vtools.ieee.org/m/283342
When you Register for the IEEE Event please include your email address so you can be contacted if you win the “Door Prize”. Only those who actually attend the Zoom talk will be included.
Please use the link below to log onto the Zoom Event between 6:15 and 6:30 PM PDT on 20 October.
Having trouble getting on? If you don’t have Zoom Client installed on your device download when you arrive at Zoom.
- Use link to access Zoom on October 20th between 6:15 PM for 6:30 PM.
- FYI: Zoom Meeting ID: 970 8235 5848, Passcode: 735956
“Computing, Logic, and Security”
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.
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.