Dr. Aquinas Hobor Visited Joint Research Center

On Apr 26,2013, Dr. Aquinas Hobor, a lecturer from National University of Singapore's School of was invited to visit USTC-Yale joint research center of high-confidence software. Dr.Hobor gave a inspiring talk about the work on  ramifications, as well as his paper accepted by POPL'13.