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
3806 EMERSON DR
Schiller Park
161 FORT EVANS RD NE
STE 250
Leesburg
1395 IMPERIAL WAY
West Deptford
4321 FM 2351 RD
STE C
Friendswood
Browse by Industry
Browse by industry
Educational Services (32, 402)
Health Care and Social Assistance (27, 968)
Arts, Entertainment, and Recreation (7, 191)