Our Ideology

As a research group, community, and company that believes that the correctness and security of software is more important than fancy new features, we kind of stick out in the software industry. Thus, we make our ideology explicit in this part of our web site.