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
742 FONTAINE ST
Alexandria
7510 PINE CREEK DR
Bridgeville
7365 KIRKWOOD CT N STE 150
Maple Grove
155 GRANDVIEW AVE
Valparaiso