|
|
Minyoung Kim Postdoctoral Fellow (Oct. 2008
- present)
|
Research Interests
Networked Cyber Physical
Systems
Cross-layer System Tuning
Data Provenance
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)
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
A Logical Framework
for Self-Optimizing Networked Cyber-Physical Systems
SPADE; Scalable
Authentication of Grid Data Provenance
Selected past
projects
xTune; Online Verifiable
Cross-Layer Adaptation for Distributed Real-Time Embedded Systems
(June 2006 – Sept. 2008)
IEEE
International 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
Anaheim DAC(Design Automation Conference) Universal Booth Demos
CV
Available upon
request