Research Interests
Publications
Publications LinkCourses
- Computer Programming (Undergraduate - 1st Semester)
- Programming Techniques (Undergraduate - 2nd Semester)
- Mathematical Logic (Undergraduate - 6th Semester)
- Computability and Complexity (Undergraduate - 8th Semester)
- Applications of Logic in Computer Science (Undergraduate - 8th Semester)