Rchr
J-GLOBAL ID：201301042146210320   Update date: Apr. 13, 2023

JORDAN Charles

JORDAN Charles
Affiliation and department：
Otaru University of Commerce Faculty of Commerce, Department of Information and Management Science

About Otaru University of Commerce Faculty of Commerce, Department of Information and Management Science


Job title： Associate Professor
Homepage URL  (2)： https://www.otaru-uc.ac.jp/~skip/index-j.html ,  https://www.otaru-uc.ac.jp/~skip/
Research field  (1)： Information theory
Research theme for competitive and other funds  (7)：
  • 2023 - 2028 高性能論理ソルバと幾何計算の結合による技術発展とその応用
  • 2020 - 2025 実世界知識基盤形成のための次世代半構造マイニング技術の発展
  • 2018 - 2022 大規模並列論理ソルバと記述計算量への応用
  • 2016 - 2021 幾何計算のための大規模並列化と数理計画法への応用
  • 2015 - 2016 論理式の探索と自動合成による計算限界解析
Show all
Papers (19)：
  • David Avis, Charles Jordan. mts: a light framework for parallelizing tree search codes. Optimization Methods and Software. 2021. 36. 2-3. 279-300
  • David Avis, Charles Jordan. mplrs: A scalable parallel vertex/facet enumeration code. Mathematical Programming Computation. 2018. 10. 2. 267-302
  • Charles Jordan, Michael Joswig, Lars Kastner. Parallel Enumeration of Triangulations. Electr. J. Comb. 2018. 25. 3. P3.6
  • Charles Jordan, Will Klieber, Martina Seidl. Non-CNF QBF Solving with QCIR. Beyond NP, The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence. 2016. 320-326
  • Charles Jordan, Thomas Zeugmann. The Kahr-Moore-Wang Class Contains Untestable Properties. Baltic Journal of Modern Computing. 2016. 4. 4. 736-752
ｍore...
Lectures and oral presentations  (3)：
  • Parallel vertex and facet enumeration with mplrs
    (RIMS Workshop on Algebraic Statistics and Symbolic Computation, Session on Polyhedral Computations 2016)
  • Experimental Descriptive Complexity
    (Finite and Algorithmic Model Theory (FMT 2012) 2012)
  • Recent Progress in the Classification for Testability (short talk)
    (Logic in Computer Science (LICS 2011) 2011)
Education (1)：
  • 2007 - 2012 Hokkaido University Graduate School of Information Science and Technology Division of Computer Science
Professional career (1)：
  • Ph D (Information Science and Technology) (Hokkaido University)
Work history (3)：
  • 2021/04 - 現在 Otaru University of Commerce Faculty of Commerce, Department of Information and Management Science Associate professor
  • 2013/11 - 2021/03 Hokkaido University Graduate School of Information Science and Technology Assistant professor
  • 2012/04 - 2013/10 JST ERATO Minato Project Researcher
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM