Scholar
Edward Kim
Google Scholar ID: cTnv_d8AAAAJ
Postdoc at UC Berkeley, Electrical Engineering and Computer Science (EECS)
computational interaction
formal methods
human computer interaction
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,046
H-index
10
i10-index
10
Publications
15
Co-authors
6
list available
Co-authors
6 total
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Daniel J. Fremont
Assistant Professor, University of California, Santa Cruz
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Corina Pasareanu
CMU/NASA Ames
Bjoern Hartmann
Associate Professor of EECS, University of California, Berkeley
Zachary A. Pardos
Associate Professor at UC Berkeley
