Grant Passmore

www.imandra.ai

Imandra Inc Austin, TX Cofounder of Imandra (imandra.ai) and Life Member of Clare Hall, Univ. Cambridge; creator of Imandra; proving theorems about algorithms!