· Professor of the Graduate School, University of California, Berkeley1998–
· Chief Technology Officer (CTO) and Senior Vice-President of Research, Synopsys1991–1998
· Chief Technical Officer and Senior Vice-President of Research, Synopsys, Inc.1991–1998
· Member of Technical Staff / Researcher, AT&T Bell Laboratories1984–1991
· PhD in Computer Science, Indiana University Bloomington1979–1984
· B.S., Mathematics, Maharishi International University1974–1978
· B.S., Mathematics, Maharishi University of Management1974–1978
· Co-Director, Berkeley Deep Drive (BDD)