🖥️ Hello! I'm 22 and a student at @univ-rennes1 (ISTIC) in Computer Science (third year) after a cycle of two years in classe préparatoires aux grandes écoles

🧮 I work mainly in Theoretical Computer Science, in formal language theory, I'm only starting to learn it so my work is not very advanced, you can check calc, Baguette# or STARFinder for more information.

In february 2023 I started an internship at IRISA/INRIA Rennes, at the PACAP Team, where I worked on OFast3D. This internship ended in July 2023. I'm now in an internship in the EPICURE Team where I work on the back-to-the-trees project. This internship will end in July 2024.

🌈 She/her

📫 I'm always available to chat or answer question, on Mastodon , by mail ( charlotte [at] nwa2coco.fr ), or Discord ( charlotte_thomas ).

See more in my webpage

As I said above I work now in formal language theory, primarly in OCaml and Rust but also in Scala (which my University requires), I plan to learn Coq as I continue (and Haskell). I'm actively developping Baguette# (read Baguette Sharp) which is an exotic language with an horrible syntax and where all instruction, basic library, keywords and separators are replaced by name of pastries (mainly french one but I ran out of french pastries a while ago)

I love calc too which is a calculator programmed in Rust with a Pratt parser method. You can check it out, it's really worth an eye :)

If you want to see more go see my cv (🇫🇷) or cv (🇬🇧) coded in Typst: the modern replacement of LaTeX. I love how flexible and powerful Typst is you should check out their website to become part of the #TypstFamily