I'm on Twitter these days: @douglaspperkins. Give me a tweet if you like.
This work (the text and images of this blog entry) is licensed under a
Creative Commons Attribution 3.0 Unported License.
For attribution of this work, link to this page and include my name, Douglas P Perkins.
My undergraduate university was The Colorado College in Colorado Springs. I majored in Mathematics with emphasis on Computer Science and minored in Philosophy, and I graduated in 2004. In 2007 I obtained an M.S. Logic & Computation from Carnegie Mellon University in Pittsburgh.
My master's thesis, titled Strategic Proof Tutoring in Logic (HTML, PDF), describes using an expert system, an automated theorem prover, to generate hints for a proof construction tool. See the thesis or the AProS project website for more.
In 2007, I came to Yurihonjo, Japan, with the JET Program.
Also, see my old blog, But this is human life.
This work (the text of this blog entry) is licensed under a
Creative Commons Attribution-Share Alike 3.0 Unported License.
For attribution of this work, link to this page and include my name, Douglas P Perkins.
