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.

• 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.