Skip Jordan (= Charles Jordan)
Department of Information and Management Science
Otaru University of Commerce
Midori 3-5-21
Otaru, 047-8501
JAPAN
Office: Building 1, Room 424
Phone: +81-134-27-5387
skip at res.otaru-uc.ac.jp
I am an associate professor in the Department of Information and Management Science at
Otaru University of Commerce
. Previously, I was an assistant professor at the
Graduate School of Information Science and Technology
,
Hokkaido University
until March 2021.
Publications
See
publications available online
.
Software
I have contributed to free software projects including:
de
: a "Descriptive Environment" to interact with (finite) relational structures, logical queries, and related tools.
mplrs
: a parallel tool for vertex/facet enumeration, included in
lrslib
since version 6.0.
mts
: a generic framework to parallelize certain tree and treelike computations, based on the approach used in
mplrs
.
mptopcom
: parallel enumeration of triangulations, with parallelization done using
mts
.
cmdqbf
: a parallel QBF solver reimplementing the ideas of
MPIDepQBF
with some improvements.
Teaching
Details for all classes are on
manaba
.
日本語