Courses
- Mathematical Logic (Undergraduate - 6th Semester)
- Applications of Logic in Computer Science (Undergraduate - 8th Semester)
- Logic and Computer Science II: Applications of Logic to Functional Programming (Graduate - Fall Semester)
- Logic and Computer Science II: λ-Calculus (Graduate - Spring Semester)