Home
> [Research]
Research Interests
χ-Calculus
Theory and Applications of Concurrent Computing Model
Programming Language, Type Theory
Logic in Computer Science
Algorithm and Complexity
Last updated: October 31, 2006