Code
I am passionate about software development. I have worked on a variety of projects, ranging from web development to artificial intelligence. I have also used a variety of programming languages and frameworks, so here are some of the technologies I have experience with.
Web development
I started web development early on by learning HTML, CSS, PHP, and MySQL. During my bachelor’s degree, I learned Django and a bit of React, along with a good deal of useful tools (Docker, Git, Bash, Makefile, etc.). When I was a software engineer at Theodo, I learned a lot more about React and Angular, as well as some AWS Serverless with TypeScript.
Programming languages
I am mainly proficient in Python, which I have been using extensively since I was in preparatory classes. Some of my first projects in Python were a program to generate Mandelbrot’s fractal and a percolation simulation. I have also dabbled in a bunch of different languages, including C++, PHP, Java and R. I recently started learning Lean 4 in the context of my work on mathematical reasoning tasks. I am relatively new to functional programming but have been enjoying the learning process. I’m also learning Rust in my free time.
Side projects
These are small projects I have shared on GitHub: