Logo ISAE3
EN
FR |

Research

vendredi 8 octobre 2010.

My main research interest is mathematical logic, more specifically its applications for :

  • modeling notions such as reglementations, capabilities etc.
  • databases merging,
  • (new) program verification
SPIP | | Suivre la vie du site RSS 2.1