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.8k 3.8k 2424 silver badges4040 bronze badges
- Emacs♦ 1.7k 1.7k 1111 silver badges2626 bronze badges
- Stack Overflow 608 608 11 gold badge66 silver badges1717 bronze badges
- Academia 516 516 33 silver badges1111 bronze badges
- Drupal Answers 510 510 44 silver badges1414 bronze badges
- View network profile
Top network posts
- 83 How to create checkbox todo list?
- 47 Reading and writing email with emacs
- 18 Which mathematical definitions should be formalised in Lean?
- 17 beamer footnote not showing
- 16 Showcase TeX Typography for TUG's Calendar
- 15 tikz mindmap looks bad
- 14 biber - warning about non-ascii characters
- View more network posts →