Biography

Sheng-Jung Yu received the B.S. degree in electrical engineering from National Taiwan University (NTU), Taipei, Taiwan, in 2019. He is currently pursuing the M.S. and Ph.D. degrees in electrical engineering and computer sciences with the University of California at Berkeley, Berkeley, CA, USA. His current research interests include automating contract-based design methdology for cyber-physical systems. Sheng-Jung Yu was a recipient of the Best Paper Award in the 2020 Asia and South Pacific Design Automation Conference (ASP-DAC).