Inductive

Inductive is a company that does research and development within computer science.