Junkil Park
About Junkil Park
Junkil Park is a Research Engineer with a strong background in Computer Science, holding a PhD from the University of Pennsylvania and an integrated Master's and PhD from Korea University. He has worked at notable organizations including Stinger Ghaffarian Technologies, Meta, and currently Aptos, contributing to research in the field of smart contracts.
Work at Aptos
Junkil Park has been employed as a Research Engineer at Aptos since 2022. His role is based in Palo Alto, California. At Aptos, he focuses on research initiatives that contribute to the development of blockchain technology and smart contracts.
Education and Expertise
Junkil Park holds a Doctor of Philosophy (PhD) in Computer Science from the University of Pennsylvania. He also completed an Integrated Master and PhD Course in Computer Science at Korea University, where he earned his Bachelor's degree. His educational background equips him with a strong foundation in computer science principles and research methodologies.
Background
Junkil Park has a diverse professional background in research. He worked as a Research Scientist at Stinger Ghaffarian Technologies (SGT) from 2018 to 2019, contributing to projects at NASA Research Park in Moffett Field, California. Following that, he served as a Research Scientist at Meta from 2019 to 2022, where he further developed his expertise in the field.
Achievements
Junkil Park co-authored a publication titled 'Fast and Reliable Formal Verification of Smart Contracts with the Move Prover.' This work highlights his contributions to the field of formal verification and smart contracts, showcasing his research capabilities and technical knowledge.