Soon after completing the Degree, he joined the Department of Computer Engineering, University of Peradeniya as a temporary lecturer. 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