Research Project Leaders
Researchers and Post-Doctoral Fellows
PhD Students
Visitors
| Name | Professor R. Geoff Dromey | | Position | Director, Software Quality Institute | Current Research Interests | Development methods that control complexity in the analysis/design of large-scale systems. He currently plays a major role in the dependable systems program of the ARC Centre for Complex Systems and works closely with industry. | Professional Affiliations/
Membership | He is the founder and Director of the Software Quality Institute, established in 1991. He is also co-founder of a successful software company, Calytrix Technologies. | | Publications | |
| Name | Professor Peter Lindsay | | Position | Boeing Chair in Systems Engineering, School of ITEE, University of Queensland | | Personal homepage | www.itee.uq.edu.au/~pal/ | | Current Research Interests | Engineering of complex systems; trusted computer system development & assurance; air traffic management; Safety Critical Systems; Formal Methods; Hazard and Risk Analysis; mathematical foundations of systems and software engineering; configuration & change management. | Professional Affiliations/
Membership | Director, ARC Centre for Complex Systems
Fellow, Australian Computer Society
Editor, Science of Computer Programming |
| Name | Professor Ian J. Hayes | | Position | Professor | | Personal homepage | www.itee.uq.edu.au/~ianh/ | | Current Research Interests | Software engineering; formal specification of computing systems; software development based on mathematical principles; real-time systems; fault-tolerant systems; concurrent systems |
Researchers and Post-Doctoral Fellows| Name | Dr Lian Wen | | Position | Research Fellow
Institute for Integrated and Intelligent Systems | | Current Research Interests | Software evolution, Software architecture, complexity, behavior engineering | | Publications |
PhD Students and Students| Name | Saad Zafar | | Position | PhD Student
Research Topic Integration of access control requirements into the design of software-intensive systems | | Current Research Interests | Requirements engineering, security engineering, component-based software engineering. | | Publications |
| Name | John Seagrott | | Position | PhD Student | | Thesis Topic | Improving Productivity in Software Requirements Specification and Analysis | | Current Research Interests | Requirements Engineering, Productivity, Teamwork, Software Quality |
| Name | Nisansala Yatapanage | | Position | PhD Student | | Current Research Interests | Software verification and testing, safety and hazard analysis, modelling complex systems |
Visitors| Name | Dr Dan Powell | | Position | Visiting Industry Consultant |
Former Researchers| Name | Dr Diana Kirk | | Position | Research Fellow | | Current Research Interests | Software process and product modelling and measurement. |
| Name | Dr Lars Grunske | | Current Research Interests | Software and Systems Engineering (including Engineering of Complex Systems; Component Based Systems; Software Architecture; System modelling; Formal Methods and Specification) Safety Critical Systems (including Hazard and Risk Analysis; Safety Requirements, Architecture and High Level Design Evaluation for Safety Properties) Software Transformation and Software Evolution (including Transformations with (Hyper)-Graph Grammars and Triple Graph Grammars; Architecture and Code Refactoring, Model Driven Architecture and Quality Aspects within MDA) |
Name | Xuelin Zheng | | Position | PhD Student |
|
