Hello, I am a french engineer.
I am interested in developing my skills in:
- High Performance Computing (Parallel & Distributed & Heterogenous Computing)
- Formal Verification (Theorem Provers & Compilers)
- Numerical Simulation
I started lots of projects to learn things but dropped most of them too.
So for now my repositories are not as interesting as I wanted them to be.
In the future you may or may not see some of the following projects appear on my Github: