Youngju Song is an Applied Scientist at Amazon, specializing in hardware formal verification for AI chips, utilizing tools such as z3, Python, and Rust. Previously, they served as a Postdoctoral Researcher at both the Max Planck Institute for Software Systems and Seoul National University, contributing to advancements in theoretical foundations of verification. Youngju's educational background includes a PhD in Computer Science from Seoul National University and a Bachelor's degree from the Korea Advanced Institute of Science and Technology. They also gained experience as a Machine Learning Research Intern at Watcha, Inc. and participated in an exchange program at the Tokyo Institute of Technology.
This person is not in the org chart
This person is not in any teams
This person is not in any offices