Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences


UC Berkeley



MASIC Homepage  

EE W244

Fundamental Algorithms for Systems Modeling, Analysis, and Optimization

The modeling, analysis, and optimization of complex systems require a range of algorithms and design tools. This course reviews the fundamental techniques underlying the design methodology for complex systems, using integrated circuit design as an example. Topics include design flows, discrete and continuous models and algorithms, and strategies for implementing algorithms efficiently and correctly in software.


Kurt Keutzer, Professor

Kurt Keutzer received his B.S. degree in Mathematics from Maharishi International University, 1978 and his M.S. and Ph.D. degrees in Computer Science from Indiana University, 1981 and 1984 respectively. In 1984 Kurt joined AT&T Bell Laboratories applying various computer-science disciplines to practical problems in computer-aided design. In 1991, Kurt joined Synopsys, Inc., continuing his research, culminating in his position as CTO and Senior Vice-President of Research. Kurt left Synopsys in January 1998 to become a Professor of Electrical Engineering and Computer Sciences at UC Berkeley. He co-authored the book entitled Logic Synthesis published by McGraw-Hill in 1994 and the book entitled Closing the Gap Between ASIC and Custom, which was a best-seller.

Homepage: http://www.eecs.berkeley.edu/Faculty/Homepages/keutzer.html
Email:  keutzer@eecs

E Lee

Edward Lee, Professor

Edward A. Lee is a director of Chess, the Berkeley Center for Hybrid and Embedded Software Systems, and is the director of the Berkeley Ptolemy project. He is co-author of five books and numerous papers. He has led the development of several influential open-source software packages, notably Ptolemy and its various spinoffs. His bachelors degree (B.S.) is from Yale University (1979), his masters (S.M.) from MIT (1981), and his Ph.D. from U. C. Berkeley (1986). From 1979 to 1982 he was a member of technical staff at Bell Telephone Laboratories in Holmdel, New Jersey, in the Advanced Data Communications Laboratory. He is a co-founder of BDTI, Inc., where he is currently a Senior Technical Advisor, and has consulted for a number of other companies. He is a Fellow of the IEEE, was an NSF Presidential Young Investigator, and won the 1997 Frederick Emmons Terman Award for Engineering Education.

Homepage: http://www.eecs.berkeley.edu/Faculty/Homepages/lee.html
Email:  eal@eecs


Jaijeet Roychowdhury, Professor

Jaijeet Roychowdhury received a Bachelor's degree in electrical engineering from the Indian Institute of Technology, Kanpur, India, in 1987, and a Ph.D. degree in electrical engineering and computer science from UC Berkeley in 1993. From 1993 to 1995, he was with the Computer-Aided Design (CAD) Laboratory, AT&T Bell Laboratories, Allentown, PA. From 1995 to 2000, he was with the Communication Sciences Research Division, Bell Laboratories, Murray Hill, NJ. From 2000 to 2001, he was with CeLight Inc. (an optical networking startup), Silver Spring, MD. From 2001-2008, he was with the Electrical and Computer Engineering Department and the Digital Technology Center at the University of Minnesota in Minneapolis. Roychowdhury's professional interests include the analysis, simulation and design of electronic, biological and mixed-domain systems.

Homepage: http://www.eecs.berkeley.edu/Faculty/Homepages/jr.html
Email:  jr@eecs


Sanjit Seshia, Associate Professor

Sanjit Seshia received his B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay and a M.S. and a Ph.D. in Computer Science from Carnegie Mellon University. His Ph.D. thesis research on the UCLID verification system pioneered the area known as satisfiability modulo theories (SMT) and SMT-based verification. He has co-authored a textbook on embedded systems. 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.

Homepage: http://www.eecs.berkeley.edu/Faculty/Homepages/seshia.html
Email:  sseshia@eecs


Stavros Tripakis, Adjunct Associate Professor

Stavros Tripakis obtained a Ph.D. degree in Computer Science at the Verimag Laboratory in Grenoble, France, in December 1998, with honors. He was a postdoc at UC Berkeley from 1999 to 2001, a CNRS Research Scientist at Verimag from 2001 to 2006, and a Research Scientist at Cadence Research Labs in Berkeley from 2006 to 2008. He works in the areas of embedded, cyber-physical systems, focusing on rigorous, model-based and component-based system design, verification, testing and synthesis.

Homepage: http://www.eecs.berkeley.edu/Faculty/Homepages/stavros.html
Email:  stavros@eecs


The course website with details from the most recent offering of the course can be accessed here.


Coming soon!