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