I have five years of postdoctoral experience in computing research. My 49 peer reviewed publications primarily concern artificial intelligence, learning, and mathematics. The AI subfields that I have been most involved with are classical automated reasoning, knowledge representation, and computational creativity. Recent publications use techniques from argumentation theory to model mathematical collaboration, a key step towards human-level AI for mathematics. I have done professional development work in LISP and Clojure, and co-taught an introduction to data science course using Python. My doctorate focused on online peer learning among contributors to an online mathematics encyclopedia. I broadened the scope and applicability of this research with a coauthored guide to collaborative learning, written for a general audience.
Top network posts
- 73 How to create checkbox todo list?
- 43 Reading and writing email with emacs
- 18 Which mathematical definitions should be formalised in Lean?
- 16 Showcase TeX Typography for TUG's Calendar
- 15 tikz mindmap looks bad
- 14 biber - warning about non-ascii characters
- 13 Why can't I add another allowed file extension to a Drupal 7 image field?
- View more network posts →