Name:Po-Chun Chien

Bio:

Po-Chun Chien (ORCID, DBLP) is a doctoral researcher at SoSy-Lab, LMU Munich, and is a part of the DFG research training group ConVeY. Prior to joining SoSy-Lab, he received his B.S. and M.S. degree from National Taiwan University.

His research focuses on formal verification and optimization of computational systems, including software programs and VLSI circuits. He has developed and contributed to several open-source verification tools, including CPAchecker, Btor2C, CoVeriTeam, and ABC.

Affiliation:LMU Munich

Research interests:Formal Methods, Logic Synthesis, Machine Learning