Martin Henz and Aquinas Hobor School of Computing National University of Singapore.
Teaching Experience: Logic and Formal Methods with Coq