Department of Computer Science
Dr. Olumide Olatunji
Professor of Computer Science; Chair of the Department of Computer Science
Faculty profile
About Dr. Olumide Olatunji
Olumide Olatunji chairs the Department of Computer Science and teaches Theory of Computation and Automata as well as Senior Software Design Project I. His research centers on formal verification, interactive theorem proving, and certified compilers for mission-critical software systems. He earned his doctorate from Corwin University and has led national working groups on computer science accreditation.
Dr. Olumide Olatunji is a member of the Department of Computer Science in the School of Engineering & Computing.
Areas of expertise
- Formal verification methods
- Automated theorem proving
- Certified compiler design
- Programming language semantics
Contact
- Office
- Ashby Hall 209
- Building
- Ashby Hall
Fall 2026 office hours
Dr. Olumide Olatunji isn't teaching in Fall 2026. Email to arrange a meeting.
2026–27
Teaching
Dr. Olumide Olatunji has no undergraduate teaching assignment in the 2026–27 catalog. For the department's courses, see the Department of Computer Science.
Meeting with faculty
At least 3 hours per week during the semester, across at least 2 days, with at least 1 hour available virtually. Times are on each course syllabus in Canvas.