Short Bio
Hyejin Han is a Ph.D. student in the Department of Computer Engineering at the University of California, Santa Cruz. In 2011, she received a B.S. in Computer and Information Engineering and a B.B.A. in Business Administration from Inha University, Rep. of Korea. Hyejin received an M.S. in the Intelligent Convergence Systems from Seoul National University, Rep. of Korea in 2013. Hyejin was a researcher at the Center of Human-centered Interaction for Coexistence (CHIC), Korea Institute of Science and Technology (KIST). Her research interests lie in the areas of hybrid control approach for multi-robot manipulation and Linear Temporal Logic (LTL) for the verification of hybrid dynamical systems.
Publications
Publications here