Login
Talks & Seminars
Title: From Security to Cyber-Physical Systems: The Sciductive Approach to Verification and Synthesis
Prof. Sanjit A. Seshia, Dept. of EECS, Univ. of California, Berkeley
Date & Time: January 3, 2011 11:00
Venue: Conference Room, 01st Floor, C Block, Kanwal Rekhi Bldg.
Abstract:
Even with impressive advances in formal methods over the last few decades, many problems in automatic verification and synthesis remain challenging. Examples include the verification of quantitative properties of software systems such as execution time and energy, and the automatic synthesis of programs and controllers. In this talk, I will present sciduction, a new approach to automatic verification and synthesis based on a combination of inductive methods (learning from examples), and deductive methods (based on logical inference and constraint solving) using structure hypotheses. Our sciductive approach integrates verification techniques such as satisfiability solving and theorem proving (SAT/SMT), numerical simulation, and fixpoint computation with inductive inference methods including game-theoretic online learning, learning Boolean functions and learning polyhedra. My talk will illustrate the sciductive approach for three problems drawn from computer security and the design of cyber-physical systems: (i) program synthesis applied to malware deobfuscation; (ii) the verification of execution time properties of embedded software, and (iii) the synthesis of switching logic for hybrid control systems.
Speaker Profile:
Sanjit A. Seshia is an assistant professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in embedded systems, electronic design automation, computer security, and program analysis. He has received a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback