My research topic is Programming Logic,
the study on various uses of logic in programming languages and methodologies,
and on logical structures of computer programming and computation.
Specific Research Topics
Foundation of Programming Languages:
Lambda Calculi, Type Theory, Functional Programming.
I have been most interested in
various forms of Continuations and Control Operators in
functional programming languages, and their connection to Type Theory and Logic.
Recently, I am also interested in Staged Programming,
Theorem Proving, Logical Framework, Model Checking.
Since my PhD Thesis, my interests have been staying in formalization of
logical systems for reasoning about programs.
Along this line,
I studied Calculi for Contexts and for Metavariables,
and have been using several Theorem Provers including our own system CAL.
I am also interested in theory and practical application of Model Checking.
My publication can be found here.
CW 2011 at Tokyo, Organizer
TPDC 2011 at Novi Sad (Serbia) , PC member
AWFS 2011 at Shnaghai, PC member
PEPM 2011 at Austin, PC member
APLAS 2010 at Shanghai, PC member
IFL 2010 at Utrecht, PC member
SCSS 2010 at Linz, PC member
AWFS 2010 at Beijing, PC co-chair
PPDP 2009, PC member
IFL 2009, PC member
PEPM 2009, PC member
SCSS 2008 , PC member
Continuation Fest 2008, Organizer
- PPDP 2006, PC member
- ICFP 2006 , PC member
- FLOPS 2004,
- WFLP'03 ,
Discovery Science (DS2000), PC Member, Local Organizer
Local Arrangements Chair
Kameyama's Home Page