Dinghao Wu      

Dinghao Wu

Senior Lecturer and Research Scientist
Graduate Faculty
College of Information Sciences and Technology
The Pennsylvania State University
Mailing address:
  The Pennsylvania State University
  313E IST Building
  University Park, PA 16802

Office: 313E IST Building
Phone: (814)-867-3612
Fax: (814)-865-6426 
Email:
      Quick links: Bio | CV | Publications | Research Grants         Projects: Cruiser, EMERSE, Cancer Informatics, GPIC/HUB

News

  • January 30, 2012: Our paper on trusted cloud computing has been accepted by CCGrid 2012.
  • October 19, 2011: Our Kruiser paper has been accepted by NDSS 2012.
  • October 13, 2011: We have been awarded a grant of amount $298,299 from the GPIC/HUB project for Year 2 on BIM Data Hub (PI: Wu. Co-PI: Yen, Mitra, Messner, Leicht. I lead an interdisciplinary team including experts on information sciences, architecture engineering, and cloud computing.
  • September 29, 2011: Our paper on leader identification for American Cancer Society's Cancer Survivor Network has been accepted by WITS 2011.
  • August 14, 2011: Our paper on sentiment analysis for online cancer survivor community has been accepted by SocialCom 2011.
  • July 1, 2011: Our paper on remote exploit code analysis has been accepted by SecureComm 2011.
  • February 2, 2011: Our cruiser paper has been accepted by PLDI 2011 (CiteSeer Conference Ranking).
  • December 16, 2010: A research paper on runtime value based software plagarism detection has been accepted by ICSE 2011.
  • February 23, 2011: Our paper on text message classification for emergency response has been accepted by ISCRAM 2011.

Education: Ph.D., Computer Science (advised by Andrew Appel), Princeton University, 2005;
                   M.E., Computer Science (advised by Jian Lu), Nanjing University, 1999;
                   B.E., Chemical Engineering, Nanjing University of Technology, 1996.

Teaching: ANGEL Course Management System

                   IST 220: Networking and Telecommunications (Spring 2012)
                   SRA 221: Information Security (Spring 2012)
                   IST 451: Network Security (Fall 2011)
                   SRA 221: Information Security (Fall 2011)
                   IST 220: Networking and Telecommunications (Spring 2011)
                   IST 451: Network Security (Spring 2011)
                   IST 230: Discrete Mathematics (Fall 2010)
                   SRA 221: Information Security (Fall 2010)
                   IST 451: Network Security (Spring 2010)

Seminar: I initiated and have been organizing Lions Center Lunch Seminar since Spring 2010.

Research Interests:   Publications   Research Grants
  • Cloud computing for energy and environmental sustainability
  • Social network analysis with data mining and machine learning
  • Security and privacy
  • Programming languages and software engineering

I am looking for motivated students to work on research projects. Contact me if you are interested.

Current Projects:   Publications   Research Grants
Previous Projects
  • Foundational Proof-Carrying Code for security of untrusted code.
  • KISS: Debugging concurrent programs with sequential analysis.
  • EspC: Program analysis on large-scale production code for concurrency defect detection.
  • Static analysis of security vulnerabilities in JavaScript.
  • Heap abstraction and refinement for software model checking in Zing.
  • Formal Methods for software specification and verification.
Hobbies: Go, Chinese Chess, Calligraphy.