Skip Jordan Skip Jordan (= Charles Jordan)
Laboratory for Algorithmics
Division of Computer Science and Information Technology
Graduate School of Information Science and Technology
Hokkaido University
North-14, West-9
Sapporo, 060-0814

Phone: +81-11-706-7675
skip at
I am an assistant professor in the Laboratory for Algorithmics, Graduate School of Information Science and Technology, Hokkaido University. See here for maps and directions. I'm also a member of the ELC project.

Previously, I was a postdoc in the JST ERATO Minato Discrete Structure Manipulation Project.

I am interested in logic in computer science, especially applications related to descriptive complexity. I'm also interested in parallel solvers for SAT and QBF, complexity theory, and related topics.

Public key
Here is a PGP public key for me. The old key is revoked because it's old.
Valid HTML 3.2 Japanese