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
250 WEST ST
STE 100
Columbus
321 GOODPASTURE ISLAND RD STE C
Eugene
3840 46TH AVE S
Saint Petersburg
211 COMMERCE ST
STE 610
Nashville
Browse by Industry
Browse by industry
Utilities (7, 894)
Wholesale Trade (40, 187)