Junkil Park

Junkil (David) Park

PhD Candiate
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

I am a PhD candidate at the University of Pennsylvania under the supervision of Prof. Insup Lee and Prof. Oleg Sokolsky. My research interests focus on the development and verification techniques for high-assurance cyber physical systems. I am expecting to graduate in Spring 2018.

Resume/CV

Publications

Software Artifacts

Professional Service

Program Committee Member: Repeatability Evaluation Committee Member