Inhabited Type

Languages and control programs for cloud orchestration.

National Science Foundation SBIR Phase I award recipient.