Sanjit A. Seshia
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley
Contact Information
|
|
Sanjit A. Seshia |
|
|
Assistant Professor Department of Electrical Engineering and Computer Sciences University of California, Berkeley Contact Information |
||
|
|
||
| Note to prospective students | ||
My research develops algorithmic techniques for dependable and secure computing.
Problems of interest range over several abstraction layers, from algorithms, through software, to circuits.
Areas of InterestDependable Computing, Computational Logic, Computer Security, Electronic Design Automation, Embedded Systems, Formal Methods, Program Analysis, Theory.Current Research Projects
Descriptions of past projects are also available. PublicationsHere are some recent publications:
See the publications page for further details about my current and past research. AffiliationsCenters my students and I participate in:
|
CurrentSpring 2008:CS 172: Computability and Complexity EECS 124: Introduction to Embedded Systems (co-taught with Edward Lee) PastFall 2007:EECS 244: Introduction to Computer-Aided Design of ICs (co-taught with Kurt Keutzer) CS 294-25: Current Berkeley Research in Programming Systems (co-taught with R. Bodik, K. Sen, D. Song, and K. Yelick) Spring 2007: EECS 219C: Computer-Aided Verification Fall 2006: CS 172: Computability and Complexity Spring 2006: EECS 219C: Computer-Aided Verification Fall 2005: EECS 244: Introduction to Computer-Aided Design of ICs (co-taught with Kurt Keutzer) |
GraduateBryan BradySusmit Jha Wenchao Li Rhishikesh Limaye UndergraduateKedar Kanitkar |
|
Advice for students and others, compiled by Michael Ernst My academic genealogy (courtesy the Mathematics Genealogy Project)
An article about some of my research.
|