People

Christoph Wintersteiger

Christoph Wintersteiger is a senior computer scientist at Imandra. His research covers software verification, decision procedures and automated reasoning, following doctoral work at ETH Zurich.