User Tools
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 08:42 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
