Research Interests

Research Interests:

IoT and Software Security

  • IoT Software
  • Android system
  • Software security
  • Program Analysis and Verification

  • Static program analysis
  • Dynamic program analysis
  • Formal verification of software
  • Automated Software Engineering

  • Program visualization
  • Automatic software testing
  • Secure Coding

  • Click here to return to my Home Page.