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.
- TeX - LaTeX 3.3k 3.3k 2121 silver badges3636 bronze badges
- Emacs 1.4k 1.4k 88 silver badges2222 bronze badges
- Stack Overflow 589 589 55 silver badges1515 bronze badges
- Drupal Answers 500 500 44 silver badges1313 bronze badges
- Academia 476 476 22 silver badges1111 bronze badges
- View network profile →
Top network posts
- 59 How to create checkbox todo list?
- 41 Reading and writing email with emacs
- 16 Showcase TeX Typography for TUG's Calendar
- 15 Which mathematical definitions should be formalised in Lean?
- 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 →