26 Nov 2019 Tuesday, 02:00 PM to 03:00 PM
COM1 Level 3
Jihyeok Park is a Ph.D. student in the School of Computing at Korea Advanced Institute of Science and Technology (KAIST). His research interests include static analysis, memory abstraction, and formal verification. Park received a B.S. in computer science at KAIST.