1st-year Ph.D. at UT Dallas. Current research interest: security, compiler, programming language theory