Submit to Delicious Submit to Digg Submit to Facebook Submit to Google Bookmarks Submit to Stumbleupon Submit to Technorati Submit to Twitter Submit to LinkedIn
Monday, 20 May 2013
  • default style
  • blue style
  • green style
  • red style
  • orange style
Print

Other Responsibilities

Written by Super User on 16 October 2012. Posted in Azman Bujang Masli

:: 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