Radu-Cristian Tomescu

I am a master's student at the University of Bucharest, in the department of Mathematics and Computer Science, enrolled in the Security and Applied Logic program. I graduated from the same university with a degree in Mathematics (BSc) in the year 2023. I am currently pursuing my interest in proof mining as part of my master's thesis. I also work full-time as a PHP developer with a focus on authentication and authorization protocols.

Skills

Good knowledge

  • PHP
  • Symfony
  • SQL
  • Python
  • JavaScript
  • React

Basic knowledge

  • C++
  • Lean4
  • R

Languages

Romanian - Native speaker

English - Proficient C2

Education

2016 - 2020 "St. Sava" National College
High school studies - Mathematics and computer science

2020 - 2023 University of Bucharest - Faculty of Mathematics and Computer Science
BSc in Mathematics - specialization: Mathematics and Computer Science

2023 - present University of Bucharest - Faculty of Mathematics and Computer Science
MSc in Computer science - specialization: Security and Applied Logic

Experience

06.2022 - 09.2022 The Institute of Advanced Technologies
Position: Software developer Intern

Tech stack: React.js / Express.js / Oracle DB / Socket.io

  • Developed full-stack web application for task management
  • Implemented techniques for obtaining relevant statistics

07.2023 - present Dedeman
Position: Back-end developer

Tech stack: Symfony/ Doctrine / MySql / Docker / Python

  • Developed full-stack single sign-on application
  • Developed a Symfony bundle for establishing connection with SSO application
  • Developed ETL routines using Airflow as part of the data engineering team