L’excellence passionnément
My main research interest is mathematical logic. I was mainly interested in knowledge representation, particularly in deontic logic. I am now more interested in program verification, particularly
- deductive methods for proof of control/command systems on UAV through the SPARK programming language. See for instance the [SPARK by Example>https://github.com/tofgarion/spark-by-example] project.
- verification/code generation of Simulink/Stateflow models through the CoCoSim and the LustreC compiler projects