Position
Assistant Teaching Professor
Office
ITE 214
Contact Info
University of Maryland, Baltimore County
1000 Hilltop Circle
Baltimore, MD 21250
email: mjmiller@umbc.edu
Research Areas
Formal reasoning with a focus on automated reasoning systems, mathematical logic, and the theoretical foundations of computation; limitations of “AI” systems.
Biography
Michael Miller received his Ph.D. in Artificial Intelligence from the University of Maryland, College Park, under the supervision of Don Perlis. In addition to his academic background, he has extensive industry experience in software design and development, testing, and database design.
Dr. Miller’s academic interests center on formal reasoning within computer science, with a focus on reasoning systems, mathematical logic, and the theoretical foundations of computation. He is particularly interested in the formal and logical underpinnings of intelligence and consciousness, drawing on ideas from philosophy of mind and related areas at the intersection of computer science, mathematics, and philosophy.
In his spare time, Dr. Miller enjoys drawing and painting cityscapes and figures.
Education
Ph.D., Computer Science, University of Maryland, College Park
M.S., Computer Science, University of Maryland, College Park
M.A., Communication Arts, University of Wisconsin – Madison
B.A., Liberal Arts, Temple University