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 the University of New South Wales, Sydney, Australia. During
his PhD, he was working on the seL4 kernel, which is the world's first formally verified operating
system kernel. Dhammika is now serving the Department in the capacity of a Senior Lecturer. His
primary expertise includes operating systems, microkernel-based systems, system security, and
virtualization.
Educational Qualifications:
- B.Sc. Eng. (Peradeniya)
- PhD (UNSW)
Research projects supervised by :
Please note that here only contain the
'Projects'
which were submitted to the
projects.ce.pdn.ac.lk
as
Final Year Research Projects
. The actual list of projects supervised by
may be longer than this.
Research Interests:
- Operating Systems
- Embedded Systems
- Formal Verification
- GPU programming
