Artificial IntelligenceKnowledge Representation and ReasoningDeclarative ProgrammingConstraint Satisfaction
1980 Ph.D. in Mathematics, Warsaw University of Technology, Warsaw, Poland
1978 M.Sc. in Mathematics, Warsaw University of Technology, Warsaw, Poland
1991 — Professor, Computer Science, University of Kentucky (CS Department Chair: 1993-2007)
1987 — 1991 Associate Professor, Department of Computer Science, University of Kentucky
1984 — 1987 Visiting Assistant Professor, Department of Computer Science, University of Kentucky
1980 — 1984 Assistant Professor, Institute of Mathematics, Warsaw University of Technology, Warsaw, Poland
