Table of Contents

Current Research Projects

Format: Question + Project

Logic-SAT

What are the common features of the best SAT Solvers?

Can you build an effective SAT Solver in a slow language like Clojure?

Logic-Teaching

Is it possible to help students learn Logic more and faster by providing them with tools that require concentration and text-based skills?

Dojo-Teaching-Programming

Is it possible to help students learn programming better and faster by introducing Coding Dojo Activities?