I am a fifth year PhD student in the Department of Computer Science at the University of Texas at Dallas. My advisor is Dr. Kevin W. Hamlen . I work in the Language Based Security Group. Before joining UTD, I completed both my Bachelors and Masters in Computer Science from Carnegie Mellon University, and my schooling from International School Manila , Philippines. I am an International Baccalaureate diploma holder.
My research interests are mainly operating systems, mobile and web security, binary rewriting, static analysis and verification, including model checking and abstract interepretation.