Ph.D. University of Warsaw, Poland, 1968, D.Sc. University of Warsaw, Poland, 1972, Mathematics
Logical foundations of AI; constraint satisfaction; design of databases and knowledge bases.
Marek co-organized two international meetings, both in Lexington: Conference: 30 years of Nonmonotonic Reasoning and International Conferences on Logic Programming.
Marek's current project is related to applications of logic to access control.
University of Kentucky
College of Engineering
Department of Computer Science
303 Davis Marksbury Building
Lexington, Kentucky 40506-0633
Office Phone: (859) 257-3496
Office Fax: (859) 323-1971
Office Hours: MWF 11:00am-12:00pm
Email: marek 'at' cs.uky.edu