Education

Ph.D. 1988, Computer Science, Iowa State University, Ames, Iowa
M.Tech. 1982, Computer Technology, Indian Institute of Technology, Delhi, India
B.E. (Honors) 1980, Electronics Engineering, Birla Institute of Technology and Science, Pilani, India. BITS Alumni Page in US

(lambda f: (lambda g: f(lambda n: g(g)(n)))(lambda g: f(lambda n: g(g)(n))))(lambda f: lambda n: 1 if n == 1 else n*f(n-1))(5) (lambda f: (lambda g: f(lambda n: g(g)(n)))(lambda g: f(lambda n: g(g)(n))))(lambda f: lambda xs: 0 if xs==[] else xs[0]+f(xs[1:]))(list(range(16)))

Research Interests

My research interests are in the theory and practice of Databases, Logic Programming, and the Semantic Web. To find out more about my research interests, please see Michael Ley's DBLP Bibliography Server and the departmental faculty profile. I have authored Oracle 10g Programming: A Primer (Addison Wesley, 2008) (available at amazon.com) and Lab Manual for Elmasri-Navathe Database Textbook (Addison-Wesley, 2010) .

Spring 2026 Teaching

CSc 8910 Seminar (Category Theory, Functional Programming, and Haskell)
Past Teaching

Graduate Program Links

Alum Information and Forms
Departmental Web Site
College Web Site
Graduate Advice (Courtesy Professor Honavar)