Mr. Yaozhu Sun’s Visit
Yaozhu Sun, a PhD student at University of Hong Kong, visited our group and gave a seminar talk on his work on compositional programming. Since he stayed in our group as an exchange student five years ago, it was very nice to have his re-visit.