@Helsinki

SOH, Takehide
宋 剛秀

English Page | Japanese Page
Tamura Lab | CSPSAT2 | Scarab

Research Interests

Recently, we particularly focus on the Scarab system, which is a prototyping tool for SAT-based systems.

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

Employment

  • 2012 Apr. - present Assistant Professor, Information Science and Technology Center, Kobe University
  • 2011 Oct. - 2012 Mar. Project Researcher, Transdisciplinary Research Integration Center (TRIC)
  • 2010 Apr. - 2011 Sep. Research Fellow, Japan Society for the Promotion of Science (JSPS)
  • 2008 Apr. - 2010 Sep. Research Assistant, National Institute of Informatics
  • 2006 Apr. - 2008 Mar. work @ Information Systems Department, Suntory Limited

Education

  • 2011 Sep. Ph.D., Dapartment of Informatics, The Graduate University for Advanced Studies (Sokendai)
  • 2006 Mar. M.S. Engineering, Graduate School of Science and Technology, Kobe University
  • 2004 Mar. B.S. Engineering, Department of Engineering

Award

  • 2015 Aug. The 1st place at algorithm design contest of DA symposium 2015
    • iSugar+GlueMiniSat, Tatsuya Sako, Masahiro Kawahara, Naoyuki Tamura, Mutsunori Banbara, Takehide Soh, and Hidetomo Nabeshima.
  • 2014 Nov. Takahashi Award for the best presentation and paper
    • The 31st Conference of Japan Society for Software Science and Technology (JSSST 2014)
  • 2014 Aug. The 1st place at algorithm design contest of DA symposium 2014
    • Sugar+GlueMiniSat, Naoyuki Tamura, Mutsunori Banbara, Takehide Soh, and Hidetomo Nabeshima.
  • 2010 Apr. The SOKENDAI President's Award.
  • 2009 Sep. The 2009 JSAI Convention Award.

Language

  • Japanese (Native), English (TOEIC 905)

Grant, Competitive Research Funds

(as Pricipal Investigator)

  • 2014 Apr. - 2015 Mar. Research on High-performance Educational Timetabling Systems using SAT Technology
    • 2014 NII Collaborative Research Grants
  • 2013 Apr. - 2016 Mar. Research and Development of Constraint Programming Systems for Pathway Analysis
    • Grants-in-Aid for Young Scientists (B), No. 25730042
  • 2013 Apr. - 2014 Mar. Research on High-performance and Hi-level Constraint ASP Solvers Using Incremental Solving
    • 2013 NII Collaborative Research Grants
  • 2011 Nov. - 2012 Mar. Knowledge Discovery on Global Regulation Networks Based on Inference with Causal Relations
    • The 2nd Transdisciplinary Seeds Research
  • 2010 Apr. - 2012 Mar. Solving Constraint Satisfaction Problem via SAT Encoding and its Application to Systems Biology
    • Grant-in-Aid (KAKENHI) for JSPS Fellows
  • 2010 Apr. - 2011 Sep. DC2
    • Research Fellow of JSPS

(as Co-Investigator)

  • 2012 Apr. - 2015 Mar. Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
    • Grants-in-Aid for Scientific Research (B), No.24300007
    • Co-Investigator, (Principal Investigator: Prof. Naoyuki Tamura (Kobe University))
  • 2015 Apr. - 2016 Mar. Solving Optimal Software Component Deployment Problem in Cloud
    • 2014 NII Collaborative Research Grants
    • Co-Investigator
  • 2015 Apr. - 2016 Mar. ASP-based System Verification
    • 2014 NII Collaborative Research Grants
    • Co-Investigator
  • 2012 Apr. - 2013 Mar. Research on Constraint Answer Set Programming Using SAT Techniques
    • 2012 NII Collaborative Research Grants
    • Co-Investigator
  • 2011 Apr. - 2012 Mar. Research on Constraint Answer Set Programming Using SAT Techniques
    • 2011 NII Collaborative Research Grants
    • (No.35; Co-Investigator) Principal Investigator: Prof. Mutsunori Banbara (Kobe University)
  • 2010 Apr. - 2011 Mar. Research on New SAT Encoding Methods, New SAT Solvers, and Their Application to Hard Problems
    • 2010 NII Collaborative Research Grants
    • (No.3; Co-Investigator) Principal Investigator: Prof. Mutsunori Banbara (Kobe University)
  • 2009 Apr. - 2010 Mar. Research on Solving Methods for Hard Constraint Optimization Problems by Enhancing SAT Encoding Techniques
    • 2009 NII Collaborative Research Grants
    • (No.1; Co-Investigator)
  • 2008 Apr. - 2009 Mar. Research on Solving Hard Constraint Optimization Problems by Using SAT Encoding
    • 2008 NII Collaborative Research Grants
    • (No.1; Co-Investigator)
  • 2005 Apr. - 2006 Mar. Research on Design and Realization of Distributed SAT Algorithm
    • 2005 NII Collaborative Research Grants
    • (No. 7; Co-Investigator)
  • 2004 Apr. - 2005 Mar. Research on Foundations and Realization of Distributed Intelligent Systems
    • 2004 NII Collaborative Research Grants
    • (No. 26; Co-Investigator)

Professional Activities

  • 2016/07/05-08 International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
    • Program Committee
  • 2015/09/23 International Workshop of Pragmatics of SAT 2015 (PoS 2015)
    • Program Committee
  • 2015/08/31 11th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2015)
    • Program Committee
  • 2015/05/31-06/02 Organized Session "Theory, Implementation, and Applications of SAT Technology")
    • The 29th Annual Conference of Japanese Society for Artificial Intelligence (JSAI2015)
    • Organizer
  • 2015/03/04-06 17th Workshop of Programming and Programming Languages (PPL 2015)
    • Program Committee
  • 2014/07/21 10th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2014)
    • Program Committee
  • 2014/06/04-06 12th International Symposium on Functional and Logic Programming (FLOPS 2014)
    • Program Committee
  • 2014/05/12 Organized Session "Theory, Implementation, and Applications of SAT Technology"
    • The 28th Annual Conference of Japanese Society for Artificial Intelligence (JSAI2014)
    • Organizer
  • 2013/06/05 Organized Session "Theory, Implementation, and Applications of SAT Technology"
    • The 27th Annual Conference of Japanese Society for Artificial Intelligence (JSAI2013)
    • Organizer
  • 2012/05/23-25 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe Japan.
    • Local Committee Member
  • 2011/11/13-17 International Symposium on Symbolic Systems Biology (ISSSB' 11), Hayama Japan.
    • Local Organizer
  • 2009/09/21-25 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Corsica France
    • Program Committee Chair
  • 2008/10/30-11/03 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama Japan
    • Local Committee Member

Author: Takehide Soh

Created: 2016-04-07 木 09:13

Emacs 24.5.1 (Org mode 8.2.10)

Validate