Grant Olney Passmore

Cambridge, England

http://www.cl.cam.ac.uk/~gp351/

Postdoctoral Associate, Clare Hall, University of Cambridge and Research Associate, LFCS, University of Edinburgh. Metamathematics of real algebraic geometry, decision methods over real and algebraically closed fields, Groebner bases.