====== 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?