计算机科学与技术

    • Alison Pease

      职称:Senior Lecturer

      邮箱:a.pease@dundee.ac.uk

    • 工作经历

        2013 -            Lecturer in Argumentation, School of Science and Engineering, University of Dunde

        2012 - 2013   Research Associate, Computational Creativity Theory, Department of Computing, Imperial College London

        2012              Lecturer on Ludic Computing course, Department of Computing, Imperial College London

    • 研究方向

      My long term research goal is to investigate patterns of reasoning and argumentation in mathematics, and to incorporate these findings into computational systems. I believe that this will help to close the gap between machine and human mathematics, both enhancing interaction between mathematicians and computers, and enabling machines to automatically generate interesting mathematics. My vision is that, one day, human mathematicians will regard machines as fellow mathematicians and worthy collaborators in their own right. If this were to happen, then the development of mathematics as a subject will accelerate enormously and extend in directions which we cannot currently predict, fundamentally impacting science and our understanding of the world. Furthermore, the lessons learnt and discoveries made en route towards achieving this goal will necessarily extend our own understanding of how humans do mathematics. One key application of this knowledge will be in mathematics education: if we can teach computers to do mathematics in a human-like way, then we will be in a far better position to teach humans.