dorra I am a postdoctoral scholar at Perpignan university working with Matthieu Martel. I received my Ph.D. in Computer Science in 2021 with a thesis on static analysis for recommending the optimal precision choice in numerical programs. After that, I have been ATER for one year at Perpignan university.
Check out my research, publications, my teaching and my contact information using the links above.


  • The latest version of the POPiX tool for fixed-point code generation is now available on github. If you require any further information, please feel free to reach out to me!
  • I am AEC member of SAS'23.
  • Our paper "On the Functional Properties of Automatically Generated Fixed-Point Controllers" was accepted at CoDIT'23.

Recent/Upcoming Talks:

  • POPiX: A Fixed-Point Code Synthesis Tool Based on Constraint Generation, les journées FAC 2023, April 2023.
  • Toward Accurate Floating-Point Cancellation Detection, CAFEIN Seminar/XLOOP@SC'22, December 2022.