Our Community

KindSoftware is primarily a research community and only secondarily a company. We are a small group of individuals passionate about advocating the use of formal methods for software development through research and development, education, community building, and by example. We hope to be the grain of sand that irritates the industry into realizing what a pearl they have in formal methods.

We hope to build a community over the next several years comperable to that existed in Dist-Obj, sponsored by the Distributed Coalition back in the late 1990s. Joe Kiniry was a co-founder of that community, thus we have some sense of what it takes to accomplish these social goals.