Marco Antonio Corallo

About

Born in Sicily, I moved to Pisa to study Computer Science.
I consider myself as an IT dreamer, that is, I have many ideas to improve the world and people's life through technology.
I also have many other hobbies and passions, that range from reading (in particular, I appreciate many branches of philosophy 🥸) to sports, through cine and music.


IT and Development

My main interest is the cybersecurity, I'm really fascined from security and I'm curious to know how things work, where they fail and how to improve their security for a safer world.
My interests also include software and system engineering and formal methods.
In future, I'd also like to investigate issues related to neuroscience.

I'm an open-source advocate and I believe that the technological progress, iff is guided by ethics, can change the world and improve people's lives, bringing them to the freedom.

I obtained my BSc defending a thesis on Value-Set Analysis, which combines my interests in both cybersecurity and formal methods.
After that, I developed for some time @ Omninecs, where I also investigated new technologies for the R&D department.
Now, I'm studying verification and security @ University of Pisa, where I'm a student representative.




Interests

As I said, I'm very curious, so I love reading to discover many things I still ignore.

I usually spend very much time a day to listen music, specially italian songwriters.
I would also like to learn to play an instrument, so I bought a guitar that I sometimes dust off.

I love to watch movies and go to the cine, especially if it's raining outside.


Sports

Of course I'm not Federer, but I really like to play tennis!

I would never have said that, but I love to run with my favourite songs in headphones

I recently started fencing again!


Hobbies

Let's play a game on the next break!

In the evening, if it's possible, I love to have a cold beer with friends.

That's my Tetris score! Can you do better? :)

Portfolio

  • All
  • Languages
  • Games
  • Others
  • Presentations
MicroC

MicroC

Language

Eight Puzzle

8-Puzzle

Game

Fhree

Fhree

Language

VSA

VSA

Analyzer

Halting Problem

Halting Problem

Presentation

WordQuizzle

WordQuizzle

Game

RisoBot

RisoBot

Bot

FFI Issues

FFI Issues

Presentation

EsoCaml

EsoCaml

Language

Out-Of-Band Signaling

OOB

Communication

WarpAttack

WarpAttack

Presentation

Android Privilege Escalation

Android Privilege Escalation

Presentation



Resume

Education

MSc in Computer Science

University of Pisa | Sep 2022 - Present

Study Plan focused on Verification and Security

BSC in Computer Science

University of Pisa | Sep 2015 - Jul 2021

Elective courses: Cloud and Green computing,
Cryptography, ICT Systems security

Courses and certifications

Introduction to Quantum Computing

Qubit X Qubit | Sep 2022 - Apr 2023

Two-semester program on Quantum computing with Qiskit
Scholarship offered by IBM Quantum

Cybersecurity Essentials

Cisco Networking Academy | Oct 2021


Cisco Cybersecurity Scholarship

Cisco Networking Academy | Jan 2021 - Jul 2021

A Cisco Scholarship that includes courses, laboratories and webinars about cybersecurity.

Introduction to Cybersecurity

Cisco Networking Academy | Dec 2020


Cyberchallenge.IT

CINI | Mar 2020 - Jun 2020

A cybersecurity introduction based on theoretical lessons and CTF sessions

Professional Experience

Teaching assistant

University of Pisa | Mar 2023 - May 2023

Tutor and excerciser for the Algorithm course

IT Engineer

Omninecs Europe LTD | Jan 2021 - Sep 2022
  • IBM Maximo consultant
  • Innovation Lab team member

External collaborator

CoopCulture | Jan 2020 - Apr 2020
  • Museum Operator for the museum of
    Computing Machinery of Pisa
  • Lecturer of CS and cryptography laboratories

Activities

CS Student representative

Jan 2023 - Present
  • Member of the degree programme board
  • Member of the executive committee
  • Member of the evaluation committee

Tech Jobs Fair Helper

Oct 2019

Assistant at the first edition of Tech Jobs Fair in Pisa

GDG Devfest Helper

Apr 2019

Volunteer at Devfest: the main event of the Google Developer Groups