AESTHETIC INTEGRATION RESEARCH CORPORATION
State:
Texas
Branch Location:
Branch
Summary
formal verification, formal methods, model checking, software verification, cloud native, software analysis, safety critical algorithms
Profile
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
SUITE 1025 | ZIP Code: 78701-3576 | Map URL: 515 CONGRESS AVE SUITE 1025 AUSTIN TX 78701-3576
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
Phone: 281-254-0725 | Email: [email protected]
Similar Listings
8221 OLD COURTHOUSE RD STE 300
Vienna
8710 SALINAS CT
Odenton
360 W 34TH ST APT 5P
New York
10366 PORTAGE RD
Portage
Pagination
- Page 1
- Next page