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 2.4k 2.4k 2020 silver badges3535 bronze badges
- Emacs 1.3k 1.3k 88 silver badges2121 bronze badges
- Academia 461 461 22 silver badges1111 bronze badges
- Stack Overflow 434 434 55 silver badges1515 bronze badges
- Drupal Answers 380 380 33 silver badges1313 bronze badges
- View network profile →
Top network posts
- 57 How to create checkbox todo list?
- 39 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 →