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#.