In 2007, I came to Yurihonjo, Japan, with the JET Program.
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.
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.
Conference presentations
- Kids Having Fun with Elementary School English Activities. 2011-06-07. 平成23年度研修講座 子どもが楽しむ小学校英語活動 (Research Seminar for Japanese Elementary School Teachers). Akita Prefectural Board of Education. Akita Prefectural Education Center, Akita, Japan.
- Communicative Activities for Fifth Grade English. 2010-09-16. Conference for Fifth Year Elementary School Teachers. Akita Prefectural Board of Education. Akita Prefectural Education Center, Akita, Japan.
- Interview Games for Elementary School English. 2009-10-30. Conference for Fifth Year Elementary School Teachers. Akita Prefectural Board of Education. Akita Prefectural Education Center, Akita, Japan.
- Microteaching Workshop: Prepositions. 2009-10-16. Presented with Masami Murakami. 2009 Akita Mid-Year Conference. Akita Prefectural Board of Education. Akita Prefectural Education Center, Akita, Japan.
- Proof, Functions, & Computations (A Web-based course as a laboratory for enhancing teaching and learning in logic, mathematics, and computer science). 2007-01-06. MAA Poster Session on Projects Supported by the NSF Division of Undergraduate Education. Joint Mathematics Meeting. New Orleans, LA.
- Virtual Mathematicians: Automated Theorem Provers. 2004-04-16. MAA Spring Meeting, Rocky Mountain Section. The Colorado College, Colorado Springs, CO.
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.
