|
|
Welcome to my Web site!
 | Computational Logic and Artificial Intelligence |
| Optimization and Implementation of Programming Languages
|
| Parallel and Distributed Processing |
| Formal Methods and Software Engineering |
| Information Reuse and Data Mining |
|
Spring 2012
| CSCI 1620: Java Programming |
|
Master Students
|
|
Miao Liu (2006, Northern
Natural Gas): Logic proramming with solution preferences, A declarative method. |
|
|
Ezana N. Beyenne (2007,
DTN): Spreadsheet computing with finite domain constraint enhancements |
|
|
Wen Zheng (2009, CSG
Systems): Consistency
checking for LSC specifications |
|
Recent Activities
| PC member:
28th International Conference on Logic Programming, BUDAPEST, HUNGARY, September 4-8, 2012 |
| PC member:
The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering, 4-6 July 2012, Beijing, China |
| PC member:
PC member: The 26th International Conference on Logic Programming, Edinburgh, July 16-19, 2010 |
| PC member:
the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM), Madrid, Spain, Jan 20-22, 2010 |
| PC member:
Twelfth International Symposium on Practical Aspects of Declarative Languages, Madrid, Spain, Jan 18-19, 2010 |
| PC member:
Workshop on Declarative Aspects of Multicore Programming (DAMP), Madrid, Spain, Jan 20-22, 2010 |
|
|
