|
|
Minyoung Kim
|
Research Interests
Networked Cyber Physical Systems, Declarative Content-based Networking
Data Provenance, Trustworthy Computing
Cross-layer System Tuning
Formal Methods
Multimedia
Compression/Communication
Short Bio
Ph.D. in Information and
Computer Science, University of California, Irvine (UC Irvine), USA (Sept. 2003
– Sept. 2008)
M.S. in Electrical Engineering and Computer Science, Seoul
National University (SNU), South Korea (Mar. 1999 – Feb. 2001)
B.S. in Computer Engineering,
Seoul National University (SNU), South Korea (Mar. 1995 – Feb. 1999)
Postdoctoral fellow, SRI
International, Menlo Park, CA, USA (Oct. 2008 – Oct. 2010)
Student research associate, SRI
International, Menlo Park, CA, USA (Summer 2007/2006)
Research engineer, LG
Electronics Institute of Technology, Seoul, South Korea (Mar. 2001 – Apr.
2002)
Project -- A Biometrics Security
System Based on the Iris Recognition Technology
Publications
Projects
Networked Cyber-Physical Systems
Selected
past projects
SPADE;
Scalable Authentication of Grid Data Provenance (Oct. 2008 - Jul. 2010)
xTune;
Online Verifiable
Cross-Layer Adaptation for Distributed Real-Time Embedded Systems (June 2006 – Sept. 2008)
IEEE
Real-Time Systems Symposium (RTSS’07) Ph.D. Forum, Dec. 2007, Tucson, AZ, USA
Best Overall
Idea Award & Best System Architecture Award
FORGE;
A Framework for Optimization of Distributed Embedded Systems Software (Oct.
2003 – May. 2006)
Multi-mode Multimedia
Terminal, a case study of system level specification and software synthesis
(Oct. 2002 – Jun. 2003)
Under PeaCE
(Ptolemy Extension As Co-design Environment) Project
2003 DAC (Design Automation Conference) University
Booth Demo
Professional Service
Program
Committee, 1st IEEE Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS) 2011
Program
Committee, 31st IEEE Real-Time Systems Symposium (RTSS) Design and
Verification Track 2010
Publicity
Chair, 9th International Workshop on Adaptive and Reflective Middleware
(ARM) 2010