|
Chess Project Personnel
Thomas Henzinger,
(UC Berkeley, EECS)
Edward A. Lee,
(UC Berkeley, EECS)
Alberto Sangiovanni-Vincentelli,
(UC Berkeley, EECS)
Shankar Sastry,
(UC Berkeley, EECS)
Janos Sztipanovits,
(Vanderbilt, Electrical and Computer Engineering)
Claire Tomlin (UC Berkeley, EECS)
David Auslander,
(UC Berkeley, ME)
Ahmad Bahai,
(UC Berkeley, EECS)
Ruzena Bajcsy,
(UC Berkeley, EECS)
Gautam Biswas,
(Vanderbilt, Computer Sciences)
Ras Bodik,
(UC Berkeley, CS)
Bella Bollobas,
(University of Memphis, Mathematics)
Karl Hedrick,
(UC Berkeley, Mechanical Engineering)
Gabor Karsai,
(Vanderbilt, Electrical and Computer Engineering)
Kurt Keutzer,
(UC Berkeley, EECS)
John Koo, (Vanderbilt University, EECS Department)
David Messerschmitt,
(UC Berkeley, EECS)
George Necula,
(UC Berkeley, CS)
Koushik Sen, (UC Berkeley, CS)
Sanjit Seshia, (UC Berkeley, EECS)
Jonathan Sprinkle, (University of Arizona, ECE)
Masayoshi Tomizuka, (UC Berkeley, Mechanical Engineering)
Pravin Varaiya,
(UC Berkeley, EECS)
The list of current scientific personnel can be found at
http://chess.eecs.berkeley.edu/chess/overview
How do I contact the Chess Project?
|
