Jacques Fleuriot
Position
Lecturer
Roles
Member of Centre for Intelligent Systems and their Applications
School Director of Studies
Member of Informatics Life-Sciences Institute
Research Interests
Mechanical geometry theorem proving, mechanization of standard and nonstandard analysis, interactive and automatic proofs.
Email Address
<jdf@inf.ed.ac.uk>
Office,Telephone
IF-2.06, +44 (0) 131 650 9342
Informatics Research Reports


Home : People 

Please contact us with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh