|
|
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 |
|
Recent Activities
| PC member:
Colloquium on Implementation on Constraint and
Logic Programming Systems (CICLOPS'06), Udine (Italy), Dec. 2008 |
| General Chair:
10th International
Symposium on Practical Aspects of Declarative Languages, Jan.
7-8, 2008. |
| PC member:
7th
International Colloquium on Implementation of Constraint and Logic
Programming Systems, Sept. 2007 |
| Local Arrangement co-Chair:
The 7th IEEE
International Conference on Data Mining (ICDM'07), Oct. 28-31,
2007. |
| PC member:
9th International
Symposium on Practical Aspects of Declarative Languages (PADL),
Jan. 14-15, 2007. |
| PC member: 22nd
International Conference on Logic Programming (ICLP), Seattle,
Washington, August 17-20, 2006. |
| Workshop Organizer:
Colloquium on Implementation on Constraint and
Logic Programming Systems (CICLOPS'06), Seattle, Washington, August,
2006. |
|
|
