(web page under construction!)

Programming Languages and Systems is a central and fundamental topic in computer science which concerns all aspects that have to do with programming. The research in the programming language group includes work on particular programming languages, theoretical aspects of programming languages such as types and semantics, program analysis and verification of software, paradigms of programming, and aspects arising from concurrent, parallel and distributed programming. There is also overlap with software engineering and formal methods.

The research can be classified along the following dimensions:

• Constraint Programming: constraint logic programming (CLP), algorithms for Constraint Satisfaction Problems (CSP), applications to real-life combinatorial problems, constraint solving frameworks and systems, etc.
• Dependable Software: detection of software vulnerabilities, systematic construction of dependable software
• Formal Methods: verification, model checking and theorem proving
• Functional Programming: extension of type systems, enhancing functional programming languages, etc.
• Program Analysis and Transformations: abstract interpretation, reasoning about programs and partial evaluation.
• Programming for Web 2.0
• Programming paradigms: Principles and Practice of Aspect Oriented Programming
• Theoretical Foundations: models of concurrency, semantics and logics of programming languages, etc.
• Understanding software behavior: specification mining, software visualization

Faculty Members

• ANDERSON Norman Hugh
• CHIN Wei Ngan
• HENZ Martin
• HOBOR Aquinas
• JAFFAR Joxan
• KHOO Siau Cheng
• ROYCHOUDHURY Abhik
• VOICU, Razvan
• YAP Hock Chuan, Roland

Research Areas

• Constraint Programming
• Program Reasoning with clp
• Separation Logic
• Specification Mining
• Software Understanding
• Software Validation

Software engineering is concerned with the problem of how to produce high quality software from the design aspects to the implementation and subsequent maintenance of the software. It encompasses the use of formal methods all the way to pragmatics of actual software development. The research in the practical aspects of software engineering group ranges from using web-based knowledge engineering (semantic web) to software reuse techniques for designing high-variability software components. In formal methods, the research looks at the problems of specification and verification of software. There is synergy with the faculty and research in the programming languages in the areas of program verification, debugging and system specification.

The research can be classified along the following dimensions:

• integrated modelling techniques
• mining software systems
• model checking
• model-driven engineering
• program and software composition
• software engineering methodologies
• software reuse
• software specification
• semantic web and ontologies