Hung T. Pham

University of Minnesota
Department of Computer Science and Engineering
Email: hung [at] cs.umn.edu
Resume (Last updated: Dec 2012)

I am a PhD student in the Critical Systems research group.
My advisors are Michael W. Whalen and Mats P.E. Heimdahl.

Education

PhD in Computer Science, University of Minnesota, Expected Spring 2014.
- GPA: 4.0/4.0.
- Recipient of a Four-year 3M Fellowship and a Doctoral Dissertation Fellowship.
MS in Computer Science, University of Minnesota, 2012.
- GPA: 4.0/4.0.
BS (Hons) in Information Technology, Vietnam National University, Hanoi, 2008.
- Recipient of a Best Thesis Award.

Research Interests

Software engineering, Program analysis and verification, Testing, Formal methods.

Academic Experience:

Research Assistant, University of Minnesota, Aug 2010-Present.
Research Assistant, National University of Singapore, Feb 2010-May 2010.
Research Assistant, Vietnam National University, Hanoi, Sept 2008-Jan 2010.

Industrial Experience

Software Engineering Intern, Google, Mountain View
- Gmail team, May 2013-Aug 2013.
- Video Accessiblity team, Jun 2012-Aug 2012.
Founder, Lead Software Developer, See Tech Company, Vietnam, Aug 2008-Nov 2009.

Publications

Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types.
Tuan-Hung Pham and Michael Whalen (under submission).
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions.
Tuan-Hung Pham and Michael Whalen (under submission).
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types.
Tuan-Hung Pham and Michael Whalen, in VSTTE'13.
A DSL for cross-domain security.
David Hardin, Konrad Slind, Michael Whalen, and Tuan-Hung Pham, in HILT'12.
The Guardol Language and Verification System. [pdf]
David Hardin, Konrad Slind, Michael Whalen, and Tuan-Hung Pham, in TACAS'12.
Introduction to the Guardol Language and Verification System.
David Hardin, Konrad Slind, Michael Whalen, and Tuan-Hung Pham, in LAW'11.
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. [pdf] [demo]
Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, and Wei-Ngan Chin, in CAV'11 (tool paper).
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. [pdf]
Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, and Takenobu Aoshima, in ENTCS, Volume 266, 2010.
Analyzing RBAC Security Policy of Implementation Using AST. [pdf]
Tuan-Hung Pham, Ninh-Thuan Truong, and Viet-Ha Nguyen, in KSE'09.
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. [pdf]
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, and Wei-Ngan Chin, in SEFM'08.
Computing Heap Space Cost of Java Card Applets. [pdf]
Tuan-Hung Pham, Anh-Hoang Truong, and Ninh-Thuan Truong, in RIVF'08 (short paper).

Honors & Awards

Doctoral Dissertation Fellowship, University of Minnesota, 2013-2014.
Four-year 3M Science and Technology Fellowship, 2010-2014.
Phi Kappa Phi Honor Society, 2011.
Toshiba Foundation Scholarship, 2009.
Distinguished Member Award at FPT Technology Center for Young Talents, 2008.
Best Undergraduate Thesis Award at College of Technology, Vietnam National University, Hanoi, 2008.
1^st Prize in the Student Research Competition at College of Technology, Vietnam National University, Hanoi, 2008.
Fujitsu Vietnam Ltd. scholarship, 2007.
2^nd and 3^rd Prizes in the Vietnamese National Olympiad in Informatics, 2003-2004.
Odon Vallet scholarship from the French educational organization, Rencontres du Vietnam, 2003.

Activities

Top 0.2% of 73000 active members of the ACM Timus Online Judge, 2004-Present.
Consolation Prize, 3^rd International APL Programming Contest, 2011.
Member of FPT Technology Center for Young Talents (FYT), Oct 2006-Oct 2008.