Our Story

The creators of Logicwalk spent many years in education, both as students and as teachers. We were generally considered "smart" students who received good grades and received many degrees. However, even the best, hardest working members struggled or at least get frustrated with some courses in their learning careers.

There are many reasons for this, but we decided to focus on the course content. One way to describe course content is as a set of concepts. After students master all the concepts in a course, we can say the student has mastered the course, and the student can move on to the next course. Here are some things that can go wrong in this process:

We thought long and hard about how we can address these issues. We concluded that we need to mechanizes the learning process as much as we can. We started implementing our solution into a product and named it Logicwalk.

What Is Logicwalk?

Logicwalk is a proof based education platform. Proof based means that new knowledge is acquired by derivation from previous knowledge wherever possible. Most forms of education rely on logical reasoning to some extent, but we go the extra mile by using computer software to verify all knowledge derivations.

Unlike most other online education websites, Logicwalk is not simply a platform that moves classroom instruction online. Logicwalk is a familiar but improved educational system that happens to be online.

Benefits of Our Approach

Here are some benefits of a proof based approach:

These benefits make education as painless and frictionless as possible. This leads to better education accessbility and a larger educated population. Learning is hard enough even with the best resources available, and we don't want to make it any harder.

Our Scope

Our current focus is in teaching Computer Science, since that is where we believe we can make the greatest impact on students. We also offer courses in mathematics. Our plan is to offer degree programs in Computer Science as well as mathematics and sciences.

About The Creator

John is the creator of Logicwalk. Prior to Logicwalk, he spent 8 years as a software engineer at MongoDB University, which is an online education platform that offers free MongoDB courses online.

He received a B.S in Electrical and Computer Engineering and Computer Sicence from Duke University. He also received a M.S in Computer Science from Stanford University.