Computer Science Engineering student mainly working on personal projects (and studies-related stuff of course (: ).

Main coding language : Java.

Current status : CS intern working on data validation using the B Method and SMT solvers such as CVC4.

Working on several projects on C/C++, Python, and C#.