Tech stack
Back-end

C

Java

Python

GO
Front-end

JavaScript
Miscellaneous
Algorithmic
Systems

Linux
Langues
Maternelle Bulgarian
Bulgarian
Maternelle
Expériences professionnelles
Études et diplômes
Since 2020
Software Engineer CS @ Université de Lorraine
01 January 2022 - Present
Formal Methods (formal software verification)

Software Engineer CS @ Mines de Nancy
01 January 2020 - Present

Connect with Todor Peev