current_research_projects
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?
current_research_projects.txt · Last modified: 2020/11/19 11:42 by 127.0.0.1