Zongyi Li (李宗懿)'s Homepage Contact email: subset2022 At 163 Dot com About me I am currently an intern in the group, working on IC3 parallelization.