Dr. Dhammika Elkaduwe


Dr. Dhammika Elkaduwe

Senior Lecturer


Dhammika Elkaduwe received his B.Sc (Eng) in 2002 from the Faculty of Engineering, University of Peradeniya specializing in Electrical and Electronic Engineering. Soon after completing the Degree, he joined the Department of Computer Engineering, University of Peradeniya as a temporary lecturer. He received his PhD from University of New South Wales, Sydney Australia. During his PhD he was working on the seL4 kernel which is the worlds first formally verified operating system kernel. Dhammika is now serving the Department in the capacity of a Senior Lecturer. His primary expertise include operating systems, microkernel based systems, system security and virtualization.

Research Interests:
  • Operating Systems
  • Embedded Systems
  • Formal Verification
Educational Qualifications:
  • B.Sc. Eng. (Peradeniya)
  • PhD (UNSW)