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
JAPAN

Phone: +81-11-706-7675
skip at ist.hokudai.ac.jp
I am an assistant professor in the Laboratory for Algorithmics, Division of Computer Science and Information Technology, 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.

Research
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.

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