I am interested in optimizing compilers using static information gathered at compile time by means of abstract interpretation. To that end, I focus on developping algorighms that enable optimizations and make programs more efficient in terms of time and memory consumption.
Here, you can find more information related to my cursus and my research. For those who have questions, comments, or insterested by the work I do, please feel free to contact me.Get Started!
In this section, you find my last published papers:
Algorithms, Functional programming and Recursion (LIF3, Autumn 2015)
Systems Architecture (LIF6, Spring 2016)
Advanced Programming and Algorithms (LIFAP3, Autumn 2017)
For any question and for more details about my researches, don't hesitate to contact me!
(+33) 4 37 28 76 23
Laboratoire d’Informatique du Parallélisme
42 allée d’Italie, 69364 Lyon Cedex 07, France