ThanhVu Nguyen's personal page is at https://nguyenthanhvuh.github.io and research page is at https://unsat.github.io.