Mr Zixian Cai

Memory management with MMTk
Runtime environments & Just-in-time compilers with PyPy and JikesRVM
Theorem proving with Coq

Updated:  1 January 2018/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing