Junkil Park

Junkil Park

PhD Student
Department of Computer and Information Science
University of Pennsylvania
3330 Walnut Street, Philadelphia, PA 19104-6389
e-mail: park11 (at) seas (dot) upenn (dot) edu

Research Interests

My research interests focus on the development and verification techniques for high-assurance cyber physical systems.

Publications