This page contains various research and development projects designed to sharpen my understand of computer science.

As part of advancing my computer science skills, I intend to work on projects to illustrate and better understand the topics. As my personality type is more that of an engineer, it's important for me to specifically find projects that are research-driven (as opposed to implementing existing standards).

• VLisp is an attempt at using Coq to implement McCarthy's Equations of Software to build and explore a formally-verified Lisp.

  • One of the subprojects under the ægis of VLisp is the Hasp project.

• In the course of the AI planning course, I'm beginning some basic research into the ideas of what it would take to have an AI planner controlling a data centre. The idea is something akin to Mesosphere, using planning algorithms to schedule and plan resources. It would involve some research into appropriate HCI mechanisms to effect plans and properly communicate with stakeholders.

• As part of a private mailing list, I've been doing some thinking about network spaces in the modern world.