Zeng Zhen Zeevana maqc ii thesis