• Professor Ian Hayes

    Ian is the group leader of the Systems & Software Engineering Research Group. His research interests are in software engineering, formal specification of computing systems, software development based on mathematical principles, real-time systems, fault-tolerant systems and concurrent systems.

  • Assoc Professor Graeme Smith

    Graeme received his PhD from the University of Queensland in 1993. Since then he has worked at universities and research institutes in France, Australia and Germany. His research interests are in formal methods, mathematical notations for modelling software systems, automated tool-support for analysing such models and development of software systems from such models.

  • Dr Larissa Meinicke

    Larissa completed her PhD at the University of Queensland in 2008 under the supervision of Professor Ian Hayes. Since then she has worked as a researcher at the Department of Information Technologies at Åbo Akademi University in Finland, both as a part of Professor Ralph-Johan Back’s Formal Methods and Programming research group, and as a member of the European Commission for Information and Communication Technologies project "Deploy". From 2009 to 2011 Dr. Meinicke worked on an ARC Research project at Macquarie University in Sydney. Her research interests include mathematical notations and techniques for the formal specification and development of computing systems; probabilistic systems; computer security; abstract algebra and refinement algebra; real-time and fault-tolerant systems.

Research Staff

  • Dr Kirsten Winter

    Kirsten received her PhD from Technical University Berlin, Germany, in 2001. Her research interests are formal methods and automated reasoning: high-level specification languages (Object-Z, ASM, Behavior Trees) and their tool-supported analysis; software model checking, static program analysis.