Announcement_3

Created on September 01, 2023

2023

Started my M.Sc. in Software Engineering at Jilin University, joining Associate Prof. Yong Lai’s group to work on constraint solving and SMT.