| Principles of Software Technology |
| Research on this area is focused on theories and methodologies for the analysis and development of software, as well as techniques for the quality of software. It encompasses a broad range of subjects, from formal models, testing and verification of concurrent and sequential programs, software middleware, to software process and quality measurement and assurance. |
| Computing Group |
 |
