Tsuyoshi Morioka

• Classification of search problems and their definability in bounded arithmetic
• Logical approaches to the complexity of search problems