• Boolean Satisfiability and Constraint Programming
• Knowledge Discovery for Systems Biology

• 2012 April - present
  • Assistant Professor, Information Science and Technology Center, Kobe University
• 2011 October - 2012 March
  • Project Researcher, Transdisciplinary Research Integration Center (TRIC)
• 2010 April - 2011 September
  • Research Fellow of the Japan Society for the Promotion of Science (JSPS)
• 2008 April - 2010 September
  • Research Assistant, National Institute of Informatics
• 2006 April - 2008 March
  • Information Systems Department, Suntory Limited

• 2011 September
  • Department of Informatics, The Graduate University for Advanced Studies
• 2006 March
  • M.S. Engineering, Graduate School of Science and Technology, Kobe University
• 2004 March
  • B.S. Engineering, Department of Engineering, Kobe University

• 2010. 4. 8
  • The SOKENDAI President's Award.
• 2009. 9. 30
  • The 2009 JSAI Convention Award for the paper presentation co-authored with Prof. Katsumi Inoue.

• 2013.4 - 2016.3
  • Grants-in-Aid for Young Scientists (B), No. 25730042
  • Research and Development of Constraint Programming Systems for Pathway Analysis
  • Principal Investigator
• 2013.4 - 2014.3
  • 2013 NII Collaborative Research Grants
  • Research on High-performance and Hi-level Constraint ASP Solvers Using Incremental Solving
  • Principle-Investigator
• 2012.4 - 2015.3
  • Grants-in-Aid for Scientific Research (B), No.24300007
  • Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
  • Co-Investigator, (Principal Investigator: Prof. Naoyuki Tamura (Kobe University))
• 2011.11 - 2012.3
  • The 2nd Transdisciplinary Seeds Research
  • Knowledge Discovery on Global Regulation Networks Based on Inference with Causal Relations
  • Principle-Investigator
• 2010.4 - 2012.3
  • Grant-in-Aid (KAKENHI) for JSPS Fellows
• 2010.4 - 2011.9
  • Research Fellow of JSPS

In addition to the above, I have joined the following projects supported by NII Collaborative Research Grants.

• 2012.4 - 2013.4
  • 2012 NII Collaborative Research Grants
  • Research on Constraint Answer Set Programming Using SAT Techniques
  • Co-Investigator
• 2011.4 - 2012.3
  • 2011 NII Collaborative Research Grants
  • Research on Constraint Answer Set Programming Using SAT Techniques
  • (No.35; Co-Investigator) Principal Investigator: Prof. Mutsunori Banbara (Kobe University)
• 2010.4 - 2011.3
  • 2010 NII Collaborative Research Grants
  • Research on New SAT Encoding Methods, New SAT Solvers, and Their Application to Hard Problems
  • (No.3; Co-Investigator) Principal Investigator: Prof. Mutsunori Banbara (Kobe University)
• 2009.4- 2010.3
  • 2009 NII Collaborative Research Grants
  • Research on Solving Methods for Hard Constraint Optimization Problems by Enhancing SAT Encoding Techniques
  • (No.1; Co-Investigator), Principal Investigator: Prof. Naoyuki Tamura (Kobe University)
• 2008.4 - 2009.3
  • 2008 NII Collaborative Research Grants
  • Research on Solving Hard Constraint Optimization Problems by Using SAT Encoding
  • (No.1; Co-Investigator), Principal Investigator: Prof. Naoyuki Tamura (Kobe University)
• 2005.4 - 2006.3
  • 2005 NII Collaborative Research Grants
  • Research on Design and Realization of Distributed SAT Algorithm
  • (No. 7; Co-Investigator), Principal Investigator: Prof. Katsumi Inoue (National Institute of Informatics)
• 2004.4 - 2005.3
  • 2004 NII Collaborative Research Grants
  • Research on Foundations and Realization of Distributed Intelligent Systems
  • (No. 26; Co-Investigator), Principal Investigator: Prof. Katsumi Inoue (National Institute of Informatics)

• Local Committee Members
  • May 23 - 25, 2012
  • Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe Japan.
• Local Organizer
  • November 13 - 17, 2011
  • International Symposium on Symbolic Systems Biology (ISSSB' 11), Hayama Japan.
• Program Chair
  • September 21 - 25, 2009
  • The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Corsica France.
• Local Organizing Committee Member
  • October 30 - November 3, 2008
  • The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama Japan.

• Japanese (Native), English (TOEIC 905)