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
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
351 Ralph G. Anderson Building
Lexington, KY 40506-0503
859-257-1687
Contact us