Home
Presentation
I am Jordan Ischard, a PhD student at the university of Orléans. I am working on formal verification of functional reactive programming language with effects.
Position
I am currently in my fourth year of PhD at the university of Orléans. My supervisors are Frédéric Loulergue, Frédéric Dabrowski and Jules Chouquet. In addition, I am a support for research engineer since October 2024 in the AcceptAlgo project.
Research topics
My PhD focuses on the verification of reactive programming languages and, more specifically, on functional reactive programming (FRP) languages with imperative features. I am interested in the FRP languages, like Yampa which is purely functional, and their extension with side effects or real parallelism. I use a proof assistant called Coq/Rocq to guarantee my results. I also work on the transformation of parallel programs verified in this same proof assistant.
To summarize, I am interested in formal verification (for languages as well as programs), proof assistant usage and language semantics.