:: Member of FCSIT Research and Conference Committee (2012 - 2014)

:: Member of FCSIT Postgraduate Committee (2012 - 2014)

:: Member of CITA'11 Programme Committee

:: Chair of Publicity Committee for CITA’05 2005

:: Head of Software Engineering Programme (2002-2004)

:: Member of FIT Academic Board (2003 - 2006)

:: Member of FIT Undergraduates Committee (2003 - 2006)

:: Member of Technical Committee for (IAS) Conference, September 2003

Postgraduate Advicees

Potential students are welcome to do research in the area of Formal Methods. This includes:

:: Z refinement

:: Integrated specification refinement

:: Temporal property under refinement

:: Process algebra (CSP) and Z refinement

:: Object-Z and Z refinement