Edward Kim
Scholar

Edward Kim

Google Scholar ID: cTnv_d8AAAAJ
Postdoc at UC Berkeley, Electrical Engineering and Computer Science (EECS)
computational interactionformal methodshuman computer interaction
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,046
 
H-index
10
 
i10-index
10
 
Publications
15
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
15 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
6 total
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Daniel J. Fremont
Daniel J. Fremont
Assistant Professor, University of California, Santa Cruz
Alberto Sangiovanni Vincentelli
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Corina Pasareanu
Corina Pasareanu
CMU/NASA Ames
Bjoern Hartmann
Bjoern Hartmann
Associate Professor of EECS, University of California, Berkeley
Zachary A. Pardos
Zachary A. Pardos
Associate Professor at UC Berkeley