Rose Hafsah Abd Rauf (Dr.)

  Phone 03-55211182
  Email This email address is being protected from spambots. You need JavaScript enabled to view it.
  Web site -
  Location T1-3
  Academic Position Lecturer
  Qualification
  • SSn (Sains Komp) UKM, 1997
  • BSc (Comp Sc) USM, 1985
  • PhD, (Computer Science) Swansea University, Wales, UK 2008
  Working Experience
  • System Analyst at Amanah Saham Pahang (July 1985 – Dis 1986)
  Area of Research Interest
  • Programming Language
  • Theory of Computation
  • Steganography
  • Computer Science Education
  • Digital Forensics
  Publication
  • A Provable Correct Translation of the ?-Calculus into a Mathematical Model of C++, Rose Hafsah Ab. Rauf, Ulrich Berger, Anton Setzer, Theory of Computational System , 43:298-321, Springer, 2008.
  • Integrating Functional Programming Into C++: Implementation and Verfication, Rose Hafsah Ab. Rauf, Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CIE 2006, Swansea, UK, Jun/Jul 2006
  • Functional Concepts in C++, Rose Hafsah Ab. Rauf, Ulrich Berger, Anton Setzer, In: Henrik Nilsson (Ed): Trends in Functional Programming, Intellect, Bristol & Chicago, 2007.
  • IT Kini, Zainab Abu Bakar, Rose Hafsah Ab. Rauf et. al., McGraw-Hill (Malaysia) Sdn. Bhd , 2003.
  • Panduan dan Sumber Pengkomputeran, Azizi NgahTasir, Rose Hafsah Ab. Rauf et. al, McGraw-Hill (Malaysia), 2002.
  • Asas Pengkomputeran, Azizi Ngah Tasir, Rose Hafsah Ab. Rauf et. al., ACE, McGraw-Hill (Malaysia),2000.
  • Asas Pengkomputeran, Timothy J. O. Leary, Linda I. O’ Leary, Rose Hafsah Ab.Rauf et. al., McGraw-Hill (Malaysia), 2000.

Course Taught : Automata Theory and Formal Languages

Operating System Concepts

Introduction to Problem Solving

Programming I

Object-oriented Programming