Skip Jordan (= Charles Jordan) Minato Discrete Structure Manipulation Project Eng. C306, Graduate School of Information Science and Technology Hokkaido University North-14, West-9 Sapporo, 060-0814 JAPAN skip at ist.hokudai.ac.jp

I am a postdoc in the Minato Discrete Structure Manipulation Project at Hokkaido University. Previously, I was a graduate student in the Laboratory for Algorithmics at Hokkaido University, where my advisor was Thomas Zeugmann. While a graduate student, I was supported by a Research Fellowship (DC1) from the Japan Society for the Promotion of Science. Before that, I was an undergraduate at the University of Massachusetts Amherst, where I majored in Computer Science and Japanese Language and Literature.

Research
My interests include property testing, complexity theory, descriptive complexity and formal logic.

Publications

• Testable and Untestable Classes of First-Order Formulae.  [pdf]
  Charles Jordan and Thomas Zeugmann. To appear in Journal of Computer and System Sciences, 2012.
  
  
• Experimental Descriptive Complexity.  [pdf]
  Marco Carmosino, Neil Immerman and Charles Jordan. In Logic and Program Semantics, Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, (Robert L. Constable and Alexandra Silva, Eds.), Lecture Notes in Computer Science 7230, pp. 24 - 34, Springer 2012.
  
  
• Testable and Untestable Classes of First-Order Logic.
  Charles Jordan. Ph.D. Thesis, March 2012.
  
  
• Untestable Properties in the Kahr-Moore-Wang Class.  [pdf]
  Charles Jordan and Thomas Zeugmann. In Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 2011, Proceedings, (Lev D. Beklemishev and Ruy de Queiroz, Eds.), Lecture Notes in Artificial Intelligence 6642, pp. 176 - 186, Springer 2011.
  
  
• A Note on the Testability of Ramsey's Class.  [pdf]
  Charles Jordan and Thomas Zeugmann. In Theory and Applications of Models of Computation, 7th International Conference, TAMC 2010, Prague, Czech Republic, June 2010, Proceedings, (Jan Kratochvíl, Angsheng Li, Jiří Fiala and Petr Kolman, Eds.), Lecture Notes in Computer Science 6108, pp. 296 - 307, Springer 2010.
  
  
• Untestable Properties Expressible with Four First-Order Quantifiers.  [pdf]
  Charles Jordan and Thomas Zeugmann. In Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 2010, Proceedings, (Adrian-Horia Dediu, Henning Fernau and Carlos Martín-Vide, Eds.), Lecture Notes in Computer Science 6031, pp. 333 - 343, Springer 2010.
  This is a conference version (improved but shorter) of the following technical report.
  
  
• Contributions to the Classification for Testability: Four Universal and One Existential Quantifier.  [pdf]
  Charles Jordan and Thomas Zeugmann. Technical Report TCS-TR-A-09-39, Hokkaido University, Division of Computer Science, November 2009.
  
  
• Relational Properties Expressible with One Universal Quantifier Are Testable.  [pdf]
  Charles Jordan and Thomas Zeugmann. In Stochastic Algorithms: Foundations and Applications, 5th International Symposium, SAGA 2009, Sapporo, Japan, October 2009, Proceedings, (Osamu Watanabe and Thomas Zeugmann, Eds.), Lecture Notes in Computer Science 5792, pp. 141 - 155, Springer 2009.
  
  
• The Classification Problem in Relational Property Testing.  [ps.gz]
  Charles Harold JORDAN. Master's Thesis, February 16, 2009.
  This is also available as a technical report.
  
  
• Indistinguishability and First-Order Logic.  [pdf]
  Skip Jordan and Thomas Zeugmann. In Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 2008, Proceedings, (Manindra Agrawal, Dingzhu Du, Zhenhua Duan and Angsheng Li, Eds.), Lecture Notes in Computer Science 4978, pp. 94 - 104, Springer 2008.

Talks

• Recent Progress in the Classification for Testability.
  Charles Jordan and Thomas Zeugmann. Summary of short talk at LICS 2011, Toronto, June 2011. Audio and slides are also available, thanks to the Fields Institute.

Public key
Here are two (ElG and RSA) PGP public keys for me.

---