Skip to content
Alkimi University Academics

Department of Computer Science

Dr. Olumide Oyelaran

Ashby Professor of Computer Science

Faculty profile

About Dr. Olumide Oyelaran

Portrait of Dr. Olumide Oyelaran

Olumide Oyelaran teaches Operating Systems and Systems Programming and Computer Architecture and Assembly Language. An internationally acclaimed systems pioneer, his scholarship investigates capability-based security models, microkernel memory management, and formally verified separation kernels. He held an endowed chair at Stonecroft College before coming to Alkimi and has received major federal research honors.

Dr. Olumide Oyelaran is a member of the Department of Computer Science in the School of Engineering & Computing.

Areas of expertise

  • Microkernel architectures
  • Capability-based security
  • Separation kernel verification
  • Distributed operating systems

Contact

Office
Ashby Hall 303
Building
Ashby Hall

Campus directory entry →

Fall 2026 office hours

Dr. Olumide Oyelaran isn't teaching in Fall 2026. Email to arrange a meeting.

2026–27

Teaching

Dr. Olumide Oyelaran 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.