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.6k 3.6k 2323 silver badges4040 bronze badges
- Emacs 1.6k 1.6k 99 silver badges2424 bronze badges
- Stack Overflow 609 609 11 gold badge66 silver badges1616 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
- 78 How to create checkbox todo list?
- 45 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
- 14 beamer footnote not showing
- View more network posts →