@Helsinki

SOH, Takehide
宋 剛秀

English Page | Japanese Page
Tamura Lab | CSPSAT | Scarab

1 Profile Pages

2 News and Future Events

  • Joined XCSP18 (an international CSP solver competition) with a SAT-based solver sCOP and won first places in 2 categories (CSP sequential/paralle)!!!
  • From September 2017 to September 2018, I will stay in CRIL (Centre de Recherche en Informatique de Lens), France as a guest researcher of CNRS (Centre national de la recherche scientifique).

3 Research Interests

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

4 Employment

  • 2012 Apr. - present Assistant Professor, Information Science and Technology Center, Kobe University
  • 2017 Sep. - 2018 Sep. Visiting Researcher, Centre national de la recherche scientifique; CNRS, France
  • 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

5 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

6 Award

  1. 2018 Sep. Specially Selected Paper --- Journal of Information Processing, IPSJ
  2. 2018 Aug. XCSP18 Sequential CSP Solver 1st place, Parallel CSP Solver 1st place
  3. 2017 Mar. PPL 2017 Presentation Award --- The presentation award of the 19th workshop of programming and programming language (PPL 2017).
  4. 2015 Sep. 2015 Best Research Paper Award --- Japan Society for Software Science and Technology
  5. 2015 Aug. The 1st place at algorithm design contest of DA symposium 2015
  6. 2014 Nov. Takahashi Award for the best presentation and paper
  7. 2014 Aug. The 1st place at algorithm design contest of DA symposium 2014
  8. 2010 Apr. The SOKENDAI President's Award.
  9. 2009 Sep. The 2009 JSAI Convention Award.

7 Language

  • Japanese (Native), English (TOEIC 905)

8 Grant, Competitive Research Funds (as Pricipal Investigator)

as Pricipal Investigator (PI)

  1. 2019/08 - 2021/07
    • (PI) Computing Attractors In Asynchronous Automata Networks Using Sat Technology
    • JSPS Bilateral Joint Research Projects. FRANCE: MEAE - MESRI> ``SAKURA Program''
  2. 2016/04 - 2019/03
  3. 2013/04 - 2016/03
  4. 2014/04 - 2015/03
    • (PI) Research on High-performance Educational Timetabling Systems using SAT Technology
    • 2014 NII Collaborative Research Grants
  5. 2013/04 - 2014/03
    • (PI) Research on High-performance and Hi-level Constraint ASP Solvers Using Incremental Solving
    • 2013 NII Collaborative Research Grants
  6. 2011/11 - 2012/03
    • (PI) Knowledge Discovery on Global Regulation Networks Based on Inference with Causal Relations
    • The 2nd Transdisciplinary Seeds Research
  7. 2010/04 - 2012/03

9 Grant, Competitive Research Funds (as Co-Investigator (COI) JSPS Kakenhi)

as Co-Investigator JSPS Kakenhi (COI-JSPS)

  1. 2018/04 - 2021/03
    • (COI-JSPS) 先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発 Ongoing
    • Grants-in-Aid for Scientific Research (C), No.18K11242
    • Principal Investigator: Prof. Mutsunori Banbara (Nagoya University)
    • (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18K11242/
  2. 2016/04 - 2019/03
  3. 2015/04 - 2018/03
  4. 2012/04 - 2015/03

10 Grant, Competitive Research Funds (as Co-Investigator NII Collaborative Research)

as Co-Investigator NII Collaborative Research (COI)

  1. 2018/04 - 2019/03
    • (COI) 背景理論付き解集合プログラミングに関する研究開発 Ongoing
    • 2018 NII Collaborative Research Grants
    • Principal Investigator: Prof. Mutsunori Banbara (Kobe University
  2. 2017/04 - 2018/03
    • (COI) Multi-objective optimization in Answer Set Programming
    • 2017 NII Collaborative Research Grants
    • Principal Investigator: Prof. Mutsunori Banbara (Kobe University)
  3. 2015 Apr. - 2016 Mar.
    • (COI) Solving Optimal Software Component Deployment Problem in Cloud
    • 2014 NII Collaborative Research Grants
    • Co-Investigator
  4. 2015 Apr. - 2016 Mar.
    • (COI) ASP-based System Verification
    • 2014 NII Collaborative Research Grants
    • Co-Investigator
  5. 2012 Apr. - 2013 Mar.
    • (COI) Research on Constraint Answer Set Programming Using SAT Techniques
    • 2012 NII Collaborative Research Grants
    • Co-Investigator
  6. 2011 Apr. - 2012 Mar.
    • (COI) 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)
  7. 2010 Apr. - 2011 Mar.
    • (COI) 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)
  8. 2009 Apr. - 2010 Mar.
    • (COI) Research on Solving Methods for Hard Constraint Optimization Problems by Enhancing SAT Encoding Techniques
    • 2009 NII Collaborative Research Grants
    • (No.1; Co-Investigator)
  9. 2008 Apr. - 2009 Mar.
    • (COI) Research on Solving Hard Constraint Optimization Problems by Using SAT Encoding
    • 2008 NII Collaborative Research Grants
    • (No.1; Co-Investigator)
  10. 2005 Apr. - 2006 Mar.
    • (COI) Research on Design and Realization of Distributed SAT Algorithm
    • 2005 NII Collaborative Research Grants
    • (No. 7; Co-Investigator)
  11. 2004 Apr. - 2005 Mar.
    • (COI) Research on Foundations and Realization of Distributed Intelligent Systems
    • 2004 NII Collaborative Research Grants
    • (No. 26; Co-Investigator)

11 (International) Professional Activities

  1. 2018/07/09-12 International Conference on Theory and Applications of Satisfiability Testing (SAT 2018)
  2. 2017/08/28 International Workshop of Pragmatics of Constraint Reasoning (PoCR 2017)
  3. 2017/08/28 CP/ICLP/SAT Doctoral Program 2017
  4. 2016/07/05-08 International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
  5. 2016/10/18 12th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2016)
  6. 2015/09/23 International Workshop of Pragmatics of SAT 2015 (PoS 2015)
  7. 2015/08/31 11th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2015)
    • Program Committee
  8. 2014/07/21 10th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2014)
    • Program Committee
  9. 2014/06/04-06 12th International Symposium on Functional and Logic Programming (FLOPS 2014)
  10. 2012/05/23-25 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe Japan.
  11. 2011/11/13-17 International Symposium on Symbolic Systems Biology (ISSSB' 11), Hayama Japan.
  12. 2009/09/21-25 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Corsica France
  13. 2008/10/30-11/03 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama Japan

12 (Domestic) Professional Activities

  1. 2017/03/08-10 19th Workshop of Programming and Programming Languages (PPL 2017)
  2. 2016/06/06-09 Organized Session "Theory, Implementation, and Applications of SAT Technology")
  3. 2015/05/31-06/02 Organized Session "Theory, Implementation, and Applications of SAT Technology")
  4. 2015/03/04-06 17th Workshop of Programming and Programming Languages (PPL 2015)
  5. 2014/05/12 Organized Session "Theory, Implementation, and Applications of SAT Technology"
  6. 2013/06/05 Organized Session "Theory, Implementation, and Applications of SAT Technology"