Edinburgh Research Explorer

Dr Jacques Fleuriot

Reader, Director of Institute

  1. A generic approach to proof planning

    Fleuriot, J.

    EPSRC

    1/07/0130/06/04

    Project: Research

  2. COINVENT: Concept Invention Theory (RTD)

    Smaill, A. & Fleuriot, J.

    EU government bodies

    1/10/1330/09/16

    Project: Research

  3. Computational modelling of mathematical reasoning

    Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

    EPSRC

    1/10/9830/09/02

    Project: Research

  4. EIT Digital follow-on funding

    Fleuriot, J.

    EU government bodies

    1/01/1931/12/19

    Project: Research

  5. Fleuriot EIT Digital: Digitizing industrial workflows

    Fleuriot, J.

    EU government bodies

    1/01/1831/12/18

    Project: Research

  6. Formal verification of air traffic management algorithms.

    Fleuriot, J.

    UK-based charities

    1/01/0531/03/06

    Project: Research

  7. Integration and Interaction of multiple mathematical reasoning processes

    Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.

    EPSRC

    1/04/0731/03/11

    Project: Research

  8. ProofPeer: Collaborative Theorem Proving

    Fleuriot, J. & Aspinall, D.

    EPSRC

    1/04/1431/03/17

    Project: Research

Previous 1 2 Next