The department’s research in this area covers the techniques in software development, execution, assessment, and environment, aiming for software systems with high capability, performance, dependability, and productivity. We focus on rigorous methodology for software construction, formal methods and programming models for software execution, and effective mechanism for software validation and optimization. Emerging techniques in modern programming paradigms and domain specific applications are of particular interest. Recent and current work focuses on:

  • Software reliability engineering
  • Domain specific languages for AI
  • Model driven approaches
  • Logic programming
  • Parallel programming techniques and platforms
  • Constraint satisfaction & optimization
  • Software agents
  • Software analytics
  • Software testing and debugging
  • Program analysis

Academic staff: LEE Ho Man Jimmy, LEUNG Ho Fung, LO Chi Lik Eric, LYU Rung Tsong Michael