Members

KindSoftware is a research group, community, and company. Its researchers, participants, and employees are scattered all across the world. KindSoftware's "home" is in Copenhagen, Denmark.

The Internet knows no boundaries and all the individuals and corporations enthusiastic about applied formal methods are not located in the same city.