Chung-chieh Shan
University/Research Lab: Rutgers University
Location: (Piscataway, NJ)
Personal Research Web Page: http://www.cs.rutgers.edu/~ccshan/
Keywords: code generation; quotation and reflection; domain-specific languages; probabilistic and rational programming languages; computational linguistics; control operators and monads; type systems; theory of mind
Location: (Piscataway, NJ)
Personal Research Web Page: http://www.cs.rutgers.edu/~ccshan/
Keywords: code generation; quotation and reflection; domain-specific languages; probabilistic and rational programming languages; computational linguistics; control operators and monads; type systems; theory of mind
Posted on: Friday, June 5th, 2009
Broad Research Area: AI / Machine Learning / Robotics / Vision, Programming Languages / Compilers
Research Interests:
I use
* modal logics, which model knowledge and quotation,
* delimited continuations, which liberate control flow, and
* polymorphic type systems, which propagate static assurances,
to
* unify linguistic side effects,
* support natural metaprogramming, and
* build theories of mind with bounded rationality.
