|
My
reseach interests are in developing declarative languages for modeling
constraint satisfaction problems and designing constraint satisfaction
solvers. |
|
| DATALOG with Constraints | |
|
My curriculum vitae Postscript |
|
|
Research Statement Postscript |
|
|
Teaching Statement Postscript |
|
|
Papers |
|
|
Software |
141 ASTeCC Building
University of Kentucky
Computer Science Department
Lexington, KY 40506-0046
Phone: (859) 257-9348