Victor W Marek

Victor Marek


Ph.D. University of Warsaw, Poland, 1968, D.Sc. University of Warsaw, Poland, 1972, Mathematics

Research Areas:

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.

Current Project:

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'

Personal Page