Research Interests

Research Interests:

Java and Ubiquitous Computing
  • Java and Internet programming languages
  • Programming environments for Ubiquitous Computing

    • Program Analysis and Verification
  • Static program analysis
  • Dynamic program analysis
  • Formal verification of software

    • Automated Software Engineering
  • Program visualization
  • Automatic software testing
  • Program slicing
    • Click here to return to my Home Page.