Copyright © 2023 Imandra Inc. All rights reserved.

This website was created for information purposes only and serves as an overview of services and products offered by Imandra Inc. and its subsidiaries. References to companies and Imandra, Aesthetic Integration and The Logic of Financial Risk are trademarks or pending trademarks of Imandra Inc and its subsidiaries. Imandra includes all or parts of the Caml system developed by INRIA and its contributors. is made possible by the Jupyter open source project(license).

Aesthetic Integration

Aesthetic Integration brand and The Logic of Financial Risk are trademarks of Imandra Inc and its subsidiaries.


Cookies are small text files that are stored in a computer's web browser memory. They help website providers with things like understanding how people use a website, remembering a User's login details, and storing website preferences. This page explains how we use cookies to help us ensure that our Services function properly, and analyze and improve the Services.

1. How We Use Cookies. Cookies play an important role in helping us provide personal, effective and safe Services. We use cookies on our website. We change the cookies periodically as we improve or add to our Services, but we generally use cookies for the following purposes:

a. To Operate Our Services. Some cookies are essential to the operation of our website and Services. We use those cookies in a number of different ways, including: Authentication. We use cookies to remember Your login state so You don't have to login as You navigate through our site and Your dashboard. Site Features and Services. We use cookies to remember how You prefer to use our Services so that You don't have to reconfigure Your settings each time You log into Your account.

b. To Analyze and Improve Our Services. Cookies help us understand how to make our website and Services work better for You. Cookies tell us how people reach our website and our Users' websites and they give us insights into improvements or enhancements we need to make to our website and Services.

c. Third Party Analytics. We use Google Analytics, which uses cookies and similar technologies, to collect and analyze information about use of the Services and report on activities and trends. This service may also collect information regarding the use of other websites, apps and online resources. You can learn about Google's practices on the Google website. Please refer to the table below for more on how we use third party analytics.

2. How To Manage Cookies Your web browser may allow You to change Your cookie preferences, including to delete and disable Imandra cookies. Please consult the help section of Your web browser or follow the links below to understand Your options, but please note that if You choose to disable the cookies, some features of our website or Services may not operate as intended.


Google Used for analytics and service improvement link.