Curriculum Vitae (as of June
2009)
Research and Teaching Statement -- available upon request
Writing samples:
Matsuda, N., Lee, A., Cohen, W. W., & Koedinger, K. R. (2009; in press). A Computational Model of How Learner Errors Arise from Weak Prior Knowledge. In Conference of the Cognitive Science Society.
Matsuda, N., Cohen, W. W., Sewall, J., Lacerda, G., & Koedinger, K. R. (2008). Why tutored problem solving may be better than example study: Theoretical implications from a simulated-student study. In B. P. Woolf, E. Aimeur, R. Nkambou & S. Lajoie (Eds.), Proceedings of the International Conference on Intelligent Tutoring Systems (pp. 111-121). Heidelberg, Berlin: Springer.
Matsuda, N., & VanLehn, K. (2004). GRAMY: A Geometry Theorem Prover Capable of Construction. Journal of Automated Reasoning, 32(1), 3-33.