Research Interests

Research Interests:

IoT Software & Language
  • IoT Software
  • IoT Language
  • 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.