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.Educational Qualifications:
Option 1: Edit this page on GitHub
(Instructions can be found from here)
Option 2: Update the page from Google Drive (Instructions | Please contact one of the site maintainer for the initial configuration)
Only use one option from above
This will be a automated process, if the students correctly configured the project config file
You need to submit your publications (Only department affiliated and peer-reviewed publications) through this Google Form.