Citigroup Inc will reduce the number of employees at two of its technology centres in China by about 3,500, the bank said on ...

Imandra Inc., the global leader in cloud-scale automated reasoning, today announced the launch of Imandra Universe, a ...