Auto-tuning framework for BDD packages

Yukio Miyasaka received the B.E. and M.E. degrees from the University of Tokyo, Japan, in 2018 and 2020 respectively. His research interests include logic synthesis, formal verification, and high-performance computing.