current_research_projects
This is an old revision of the document!
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.1475690631.txt.gz · Last modified: 2020/11/19 11:42 (external edit)