Skip to main content

AESTHETIC INTEGRATION RESEARCH CORPORATION

placeholder image

AESTHETIC INTEGRATION RESEARCH CORPORATION

Texas
Branch

Summary

formal verification, formal methods, model checking, software verification, cloud native, software analysis, safety critical algorithms

Industry

Profile

Incorporate State: Delaware | Since: | Main/Branch: Branch | Profile views: 2

Address

State: Texas | County: Travis | City: Austin | Address: 515 CONGRESS AVE
SUITE 1025 | ZIP Code: 78701-3576 | Map URL: 515 CONGRESS AVE SUITE 1025 AUSTIN TX 78701-3576

Classification

Description

Aesthetic Integration Research Corp. is developing a cloud-scale automated reasoning system bringing rigor and governance to the world’s most critical algorithms across several industries: - robotics - financial markets - DLT - safety critical industries, e.g. aerospace - machine learning - web development - legal services

Contact

Similar Listings

Placeholder image

ARMEDIA LLC

Virginia Since: 2002
Fairfax Branch
8221 OLD COURTHOUSE RD STE 300
Vienna
Placeholder image

QS HENRY LLC

Maryland Since: 2019
Anne Arundel Branch
8710 SALINAS CT
Odenton
Placeholder image

BECERA LLC

New York Since: 2020
New York Branch
360 W 34TH ST APT 5P
New York

Browse by Industry