Research - , ,
An independent technical research and development firm focusing on computer science sustainability problems. For example: How to visualize large code bases, how to share knowledge of large system design, and how to verify large systems for correctness.