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
1980 Ph.D. in Mathematics, Warsaw University of Technology, Warsaw, Poland
1978 M.Sc. in Mathematics, Warsaw University of Technology, Warsaw, Poland
Artificial Intelligence
Knowledge Representation and Reasoning
Declarative Programming
Constraint Satisfaction