People

Remi Desmartin

Remi Desmartin is listed as a research fellow at Imandra. His research focuses on neural-network verification, including work applying Imandra to that problem at Heriot-Watt University.