Skip to content

Takehide Soh

image
  • Takehide Soh (宋 剛秀)
  • Associate Professor (Information Infrastructure and Digital Transformation Initiatives Headquaters, Kobe University)
  • Research Interests
    • Practice of Boolean Satisfiability (SAT)
    • Practice of Constraint Programming (CP)

Publications and Statistics

Full list of publications are here.

Employment

  • 2022 Apr. - present. Associate Professor, Information Infrastructure and Digital Transformation Initiatives Headquaters, Kobe University
  • 2019 Apr. - 2022 Mar. Associate Professor, Information Science and Technology Center, Kobe University
  • 2017 Sep. - 2018 Sep. Visiting Researcher, Centre national de la recherche scientifique; CNRS, France
  • 2012 Apr. - 2019 Mar. 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, Kobe University

Invited Talk

  • 2023 Sep. On SAT Solver and its Applications
  • 2015 Dec. SAT Solver and its Application Development
    • [The 9th AI Tool Introduction Seminar]((https://www.ai-gakkai.or.jp/event/ai-tool/no09_jsai_tool_introductory_course/), JSAI, National Institute of Informatics.

Award

Language

  • Japanese (Native), English (TOEIC 905)

Grant, Competitive Research Funds (as Pricipal Investigator)

as Pricipal Investigator (PI)

Teaching Experience

  • Information Fundamentals (Kobe University, Undergraduate)
  • Language Engineering (Kobe University, Undergraduate)
  • Software Engineering (Kobe University, Undergraduate)
  • Programming Language Theory and Practice: First Half of Exercises (Kobe University, Undergraduate)
  • Advanced Topics in Programming Languages (Kobe University, Graduate School)
  • Special Topics in Software Science 2 (Kobe University, Graduate School)
  • Knowledge Representation and Processing (University of Potsdam, Germany, Undergraduate/Graduate)
    • Date and Time: Lecture on July 11, 2014, from 12:15 to 13:15
    • Title: Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
  • Introduction to the Scala Programming Language (University of Altois, France, Graduate School)

Professional/Academic Service

  • International Joint Conferences on Artificial Intelligence (IJCAI)
    • PC member: 2017, 2020, 2021, 2022, 2023, 2024
  • Annual AAAI Conference on Artificial Intelligence (AAAI)
    • PC member: 2022
  • International Conference on Theory and Applications of Satisfiability Testing (SAT)
    • PC member: 2016, 2018, 2019, 2021, 2022
  • International Symposium on Combinatorial Search (SoCS)
    • PC member: 2021, 2022, 2023, 2024
  • International Workshop of Pragmatics of SAT (PoS)
    • PC member: 2015, 2017, 2019
  • Doctoral Consortium of International Conference on Logic Programming
    • PC member: 2014, 2015, 2016, 2017