Biography

Po-Chun Chien received his B.S. degree in Electrical Engineering and M.S. degree in Electronics Engineering from National Taiwan University (NTU) in 2018 and 2020, respectively.

He is currently pursuing a Ph.D. in Informatics (Computer Science) at LMU Munich, and is a research assistant (wissenschaftlicher Mitarbeiter) in the SoSy-Lab led by Prof. Dr. Dirk Beyer. His research interests include formal verification, logic synthesis and machine learning.