magi

Paolo Imbriani

Computer Science Student @ UNIVR, Aspiring Researcher

Mantova, Lombardia, Italy
Imbriani Paolo

About me

I am a 22 year old student located in Italy, currently enrolled in a Master Degree in Computer Engineering. My interests are mainly focused on learning applications of logic, along with programs verification and formalizations. I am also interested in frontier AI (not only GenAI) and embedded systems. I like to commit in difficult challenges that enable me to get better in any skill. Sometimes I love to learn even things that not concerns this field, like sociology and psychology. I like writing and reading. Sometimes you will see me play some basketball too.

Work Experience

  • Freelance

    Computer Science Tutor

    -

    Thanks to one of my old professor in High School, I was able to contact some students that needed for help in Computer Science. Until now, I have been helping students with programming in C, C++, Python, Java (with GUI and other libraries), HTML and CSS. This helped me to learn how to teach effectively to someone who seek help and in need of guided exercises.

  • La Piadineria

    Employee

    -

    Training experience where I decided to throw myself into a completely new environment and sector. Although the experience was short, it increased my level of work mindset. The difficulties of working in a very crowded shopping mall every day have led to a temperament of physical and mental tiredness.

  • Weevo: Digital Corporate Communication

    Internship

    -

    This period of intership helped me to develop some copywriting skills together with some usage of CMS such as Drupal. It was extremely useful to learn more about the work mindset in the web exporting industry.

Education

  • University of Verona

    -

    MS in Computer Engineering

  • University of Verona

    -

    BS in Computer Science. Thesis name: Constructing Proofs: Theory and Implementation of the S4.2 Modal Logic in the Agda Proof Assistant. Graduation grade: 108/110; 3.7 GPA.

  • ITIS Luigi Cerebotani

    -

    High school with specialization in Information Technology. Got out of this school with a 100/100 graduation mark and with 3.8 GPA.

Skills

  • ImageSkills C++
  • ImageSkills C#
  • ImageSkills SQL
  • ImageSkills Java
  • ImageSkills Web Dev
  • ImageSkills PHP
  • ImageSkills After Effects
  • ImageSkills Haskell
  • ImageSkills Rust