IMANDRA

Downloadable computer software, namely, software libraries, extensions, and software development kits (SDKs) for use in artificial intelligence, machine learning, program analysis, code governance, reasoning about human language specifications, and discovery of program properties; downloadable computer software for use in developing, training, testing, and deploying artificial intelligence models and agents; downloadable computer software for integration of artificial intelligence into software development environments.

Software as a service (SaaS) services featuring software for artificial intelligence, machine learning, program analysis, code governance, reasoning about human language specifications, and discovery of program properties; providing temporary use of non-downloadable software for developing, training, testing, and deploying artificial intelligence models and agents; providing temporary use of non-downloadable software for integration of artificial intelligence into software development environments; platform as a service (PaaS) featuring computer software platforms for artificial intelligence model sharing, collaboration, and deployment; providing information in the field of artificial intelligence technology; consulting services in the field of computer software, artificial intelligence, machine learning, and software development; advisory services relating to the design, development, and implementation of artificial intelligence systems and platforms.