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)!!!
- http://www.cril.univ-artois.fr/XCSP18/files/resultsXCSP3-18.pdf
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

2018 Sep. Specially Selected Paper --- Journal of Information Processing, IPSJ
- (URL) http://www.ipsj.or.jp/award/ssp_award.html
2018 Aug. XCSP18 Sequential CSP Solver 1st place, Parallel CSP Solver 1st place
- (URL) http://www.cril.univ-artois.fr/XCSP18/
2017 Mar. PPL 2017 Presentation Award --- The presentation award of the 19th workshop of programming and programming language (PPL 2017).
- (URL) https://ppl2017.ipl-e.ai.kyutech.ac.jp/#winning
2015 Sep. 2015 Best Research Paper Award --- Japan Society for Software Science and Technology
- (URL) https://www.jssst.or.jp/award/detail/ronbunsho_list.html
2015 Aug. The 1st place at algorithm design contest of DA symposium 2015
- (URL) http://www.sig-sldm.org/DC2015/ADC2015results2.pdf
2014 Nov. Takahashi Award for the best presentation and paper
- (URL) https://www.jssst.or.jp/award/detail/takahashi_list.html
2014 Aug. The 1st place at algorithm design contest of DA symposium 2014
- (URL) http://www.sig-sldm.org/DC2014/results.html
2010 Apr. The SOKENDAI President's Award.
- (URL) https://www.soken.ac.jp/education/dispatch/scientistaward/fsaward/winners/
2009 Sep. The 2009 JSAI Convention Award.
- (URL) https://www.ai-gakkai.or.jp/about/award/jsai_award-conf/

7 Language

Japanese (Native), English (TOEIC 905)

8 Grant, Competitive Research Funds (as Pricipal Investigator)

as Pricipal Investigator (PI)

2016/04 - 2019/03
- (PI) High Performance SAT-based Constraint Programming System using Hybrid Encoding Ongoing
- JSPS Grants-in-Aid for Young Scientists (B), No. 16K16036
- (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-16K16036/
2013/04 - 2016/03
- (PI) Research and Development of Constraint Programming Systems for Pathway Analysis
- JSPS Grants-in-Aid for Young Scientists (B), No. 25730042
- (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-25730042/
2014/04 - 2015/03
- (PI) Research on High-performance Educational Timetabling Systems using SAT Technology
- 2014 NII Collaborative Research Grants
2013/04 - 2014/03
- (PI) Research on High-performance and Hi-level Constraint ASP Solvers Using Incremental Solving
- 2013 NII Collaborative Research Grants
2011/11 - 2012/03
- (PI) Knowledge Discovery on Global Regulation Networks Based on Inference with Causal Relations
- The 2nd Transdisciplinary Seeds Research
2010/04 - 2012/03
- (PI) Solving Constraint Satisfaction Problem via SAT Encoding and its Application to Systems Biology
- JSPS Research grant (Grant-in-Aid for JSPS Fellows) for Doctoral Course Students (DC2)
- (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-10J02321/

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

as Co-Investigator JSPS Kakenhi (COI-JSPS)

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/
2016/04 - 2019/03
- (COI-JSPS) Research and Development of a New Constraint Programming System based on SAT Ongoing
- Grants-in-Aid for Scientific Research (B), No. 16H02803
- Principal Investigator: Prof. Naoyuki Tamura (Kobe University
- (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-16H02803/
- CSPSAT3
2015/04 - 2018/03
- (COI-JSPS) Research and Development on Constraint Answer Set Programming Using SAT Encoding
- Grants-in-Aid for Scientific Research (C), No.15K00099
- Principal Investigator: Prof. Mutsunori Banbara (Kobe University)
- (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-15K00099/
2012/04 - 2015/03
- (COI-JSPS) Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
- Grants-in-Aid for Scientific Research (B), No.24300007
- Principal Investigator: Prof. Naoyuki Tamura (Kobe University
- (KAKEN) https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-24300007/
- CSPSAT2

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

as Co-Investigator NII Collaborative Research (COI)

2018/04 - 2019/03
- (COI) 背景理論付き解集合プログラミングに関する研究開発 Ongoing
- 2018 NII Collaborative Research Grants
- Principal Investigator: Prof. Mutsunori Banbara (Kobe University
2017/04 - 2018/03
- (COI) Multi-objective optimization in Answer Set Programming
- 2017 NII Collaborative Research Grants
- Principal Investigator: Prof. Mutsunori Banbara (Kobe University)
2015 Apr. - 2016 Mar.
- (COI) Solving Optimal Software Component Deployment Problem in Cloud
- 2014 NII Collaborative Research Grants
- Co-Investigator
2015 Apr. - 2016 Mar.
- (COI) ASP-based System Verification
- 2014 NII Collaborative Research Grants
- Co-Investigator
2012 Apr. - 2013 Mar.
- (COI) Research on Constraint Answer Set Programming Using SAT Techniques
- 2012 NII Collaborative Research Grants
- Co-Investigator
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)
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)
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)
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)
2005 Apr. - 2006 Mar.
- (COI) Research on Design and Realization of Distributed SAT Algorithm
- 2005 NII Collaborative Research Grants
- (No. 7; Co-Investigator)
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

2018/07/09-12 International Conference on Theory and Applications of Satisfiability Testing (SAT 2018)
- Program Committee
- (URL) https://sat2018.azurewebsites.net/organization/
2017/08/28 International Workshop of Pragmatics of Constraint Reasoning (PoCR 2017)
- Program Committee
- (URL) http://www.pragmaticsofsat.org/2017/
2017/08/28 CP/ICLP/SAT Doctoral Program 2017
- Program Committee
- (URL) http://cp2017.a4cp.org/doctoral_program/
2016/07/05-08 International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
- Program Committee
- (URL) http://sat2016.labri.fr/
2016/10/18 12th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 2016)
- Program Committee
- (URL) http://dc-iclp16.cs.bath.ac.uk/organisation/
2015/09/23 International Workshop of Pragmatics of SAT 2015 (PoS 2015)
- Program Committee
- (URL) http://www.pragmaticsofsat.org/2015/
2015/08/31 11th Doctoral Consortium of International Conference on Logic Programming (ICLP-DC 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
- (URL) http://www.jaist.ac.jp/flops2014/organization.html
2012/05/23-25 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe Japan.
- Local Committee Member
- (URL) http://www.org.kobe-u.ac.jp/flops2012/committees.html
2011/11/13-17 International Symposium on Symbolic Systems Biology (ISSSB' 11), Hayama Japan.
- Local Organizer
- (URL) http://www.cs.bris.ac.uk/~oray/ISSSB11/
2009/09/21-25 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Corsica France
- Program Committee Chair
- (URL) http://research.nii.ac.jp/il/fj/3rd_ws/
2008/10/30-11/03 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama Japan
- Local Committee Member
- (URL) http://research.nii.ac.jp/il/fj/2nd_ws/

12 (Domestic) Professional Activities

2017/03/08-10 19th Workshop of Programming and Programming Languages (PPL 2017)
- Program Committee
- (URL) https://ppl2017.ipl-e.ai.kyutech.ac.jp/
2016/06/06-09 Organized Session "Theory, Implementation, and Applications of SAT Technology")
- The 30th Annual Conference of Japanese Society for Artificial Intelligence (JSAI2016)
- Organizer
- (URL) http://www.ai-gakkai.or.jp/jsai2016/os/#os-2
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
- (URL) http://www.ai-gakkai.or.jp/jsai2015/os/#os-3
2015/03/04-06 17th Workshop of Programming and Programming Languages (PPL 2015)
- Program Committee
- (URL) http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/
2014/05/12 Organized Session "Theory, Implementation, and Applications of SAT Technology"
- The 28th Annual Conference of Japanese Society for Artificial Intelligence (JSAI2014)
- Organizer
- (URL) http://www.ai-gakkai.or.jp/jsai2014/os/#os-11
2013/06/05 Organized Session "Theory, Implementation, and Applications of SAT Technology"
- The 27th Annual Conference of Japanese Society for Artificial Intelligence (JSAI2013)
- Organizer
- (URL) http://2013.conf.ai-gakkai.or.jp/os#os-9

@Helsinki	SOH, Takehide 宋剛秀
	English Page \| Japanese Page
	Tamura Lab \| CSPSAT \| Scarab

SOH, Takehide宋 剛秀

1 Profile Pages

2 News and Future Events

3 Research Interests

4 Employment

5 Education

6 Award

7 Language

8 Grant, Competitive Research Funds (as Pricipal Investigator)

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

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

11 (International) Professional Activities

12 (Domestic) Professional Activities

SOH, Takehide
宋剛秀