|
|
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 |
|
Fall 2008
| CSCI 8000: Advanced Concepts in Programming Languages
|
| CSCI 3660: Theory of Computation
Office hours: MW 3:30-4:30pm |
|
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: Consistency
checking for LSC specifications |
|
Recent Activities
| 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 |
| PC member:
The IEEE International Symposium on Ubisafe Computing (UbiSafe), Chengdu, China, Dec. 12-14, 2009 |
| Co-General Chair:
The 25th International Conference on Logic Programming, Pasadena, CA, July 2009 |
| PC member:
Colloquium on Implementation on Constraint and
Logic Programming Systems (CICLOPS'08), Udine (Italy), Dec. 2008 |
| General Chair:
10th International
Symposium on Practical Aspects of Declarative Languages, Jan.
7-8, 2008. |
|
|
