Basic info
Industry
research services
Sectors
automated reasoning
software engineering
Software Engineering
formal semantics
object-oriented modeling and design
artificial intelligence
Software
Professional Services
situational awareness
information fusion
Date founded
1997