The company's purpose is: Providing services in the field of information technology, in particular computer research and development; strategy, expertise, and consulting in the field of information technology and telecommunications, particularly in the areas of programming languages, formal methods, and computer security, cybersecurity, system engineering, and automated reasoning; creation and trade of computer software, including dematerialized services. Furthermore, it may carry out, either on its own account or on behalf of third parties, all financial, commercial, movable or immovable transactions directly or indirectly related to its corporate purpose and may be interested, in any form, in all similar companies, in particular by taking participations in similar companies. The company may also establish branches and subsidiaries in Switzerland and abroad.