W358 Westgate Building
Computer Science & Engineering
Penn State University
University Park, PA 16802

gtan AT psu.edu
Phone: (814) 865-7364
Fax: (814) 865-3176

Biographical Information


Professional experience

Research Interests

   Software security, programming languages, formal methods, software engineering.

Honors and Awards

Awards won by my students

Research Funding

Competitively awarded external research grants

University internal research grants

Professional Membership

   ACM member; IEEE senior member.

Publications and Creative Activities

Journal papers and book chapters (* on supervised students or postdocs)

Refereed conference and workshop papers (* on supervised students or postdocs)

Other papers


Publicly released software


Invited talks at summer schools and professional conferences

Invited talks at university colloquiums and seminars

Paper presentations at professional conferences

Teaching and Advising

Courses taught (unless noted otherwise, all courses are 3-credit courses)

Current Ph.D. students

Current PostDocs

Graduated Ph.D. students

Past Postdocs

Graduated Master’s students

Member of Ph.D. thesis committees

Member of M.S. thesis committees

Undergraduate research advising


Service to the professional community

Service to School of EECS and the CSE Department of Penn State

Service to Penn State

Service to Lehigh University