Edward Ashford Lee is Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley, where he has taught and researched digital technology and computer science for more than thirty years. He was born and grew up in Puerto Rico and studied at Yale, MIT, and Berkeley. He has coauthored several textbooks on topics including digital communication, signal processing, embedded systems, and software modeling. This is his first book for a general audience.
Sanjit Arunkumar Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley.