Welcome to my personal webpage.
I’m a student in the first year of master Foundation of Computer Science at École Polytechnique (France), which is a research master’s program in theoretical computer science jointly organized by leading institutions in the Paris area.
I’m interested in computability, mathematical logic, complexity and also by functional programming.
To broaden my horizons, I plan to take a gap year between the first and second years of my master’s degree, during which I intend to complete two internships. One will be in a research laboratory, where I hope to explore topics in computability and/or mathematical logic. The other will take place in industry, with a focus on proof assistants or functional programming concepts. I aim to carry out at least one of these internships abroad.
You can find :
♦ ♦ ♦
Posted:
For the master’s course “Information Theory” taught by Thomas Debris-Alazard, I had the opportunity to deliver a 15-minute oral presentation on Kolmogorov Complexity, based on the following materials :
Additionnaly, this presentation was supported by slides (in french) :
Posted:
I have realized an “Axis Aligned Bounding Box” plateform game on the model “Entity Component System”. It’s inspired from the game “Broforce”, where you play as an American superhero (Terminator, Robocop ..) and land in other countries to “save” them.
Here is a gameplay example :
The source code is on my gitlab page. You also can test it here.
Read more...