Profilo

Ingegnere del software e sviluppatore full-stack con esperienza nello sviluppo di applicazioni end-to-end, inclusa la progettazione infrastrutturale e l’implementazione su cloud per il deploy finale. Mi dedico all’analisi dei problemi, alla valutazione delle soluzioni più efficaci e alla loro implementazione per raggiungere gli obiettivi desiderati. Presto particolare attenzione alla scrittura di codice pulito, leggibile e mantenibile, rendendo il processo di lettura del codice un’esperienza piacevole. Sono appassionato dell’ambiente Linux e delle tecnologie open-source.

Formazione

Laurea magistrale in Ingegneria e scienze informatiche

2018 - 2020
Università di Verona

Curriculum in cyber-security e metodi formali, con focus su analisi statica. Tesi di laurea in ambito Smart Contract Ethereum. Voto 110/110 e Lode.

Laurea in informatica

2015 - 2018
Università di Verona

Tesi di laurea in ambito reverse engineering di applicazioni Android. Voto 110/110 e Lode.

Esperienze lavorative

Software engineer

2024 - attuale
Centro Studi Alma Iura srl SB, Verona

Responsabile del team di sviluppo software. Ho realizzato un software per la gestione di pratiche legali di diritto bancario. Ho realizzato uno smistatore automtico di PEC per la gestione delle comunicazioni legali. Ho pianificato e coordinato lo sviluppo di una web-app per la gestione completa di un evento con centinaia di partecipanti incentrato sul diritto bancario e sul mercato dei crediti. Per ogni progetto ho effettuato l’analisi funzionale, la progettazione dell’architettura e ho gestito e mantenuto l’infrastruttura su cloud AWS.

Tecnologie: Typescript, NodeJS, Postgresql, Docker, Vue, AWS, Terraform, Figma, Git, Linux.

Software engineer

2020 - 2024
Bit Mobility - Mirai, Bussolengo VR

Responsabile del back-end per il server, della progettazione e della manutenzione del database MySQL, dell’infrastruttura su cloud AWS, del front-end per il gestionale interno. Contribuzioni allo sviluppo dell’app Android/iOS e agli assets. Gestione dell’infrastruttura e delle pipeline di CI/CD. Pianificazione del lavoro, con analisi preliminari, studi di fattibilità e progettazione implementativa.

Tecnologie: Typescript, NodeJS, MySQL, Docker, Angular, Terraform, React Native, Jenkins, Python, Elastic, Git, Linux.

Progetti

Progetti secondari portati avanti nel tempo libero.

Ethersolve - Analizzatore statico per Bytecode di Smart Contract Ethereum. Progetto di tesi portato avanti dopo la Laurea per le pubblicazioni. Implementato in Java con un prototipo di front-end in VueJS.
Sito ASCSV - Sito internet per un'associazione del terzo settore. Gestione del sito Wordpress e implementazione di due applicazioni: una mappa dinamica e un impaginatore automatico per spartiti.

Contribuzioni Open Source

Cerco di utilizzare software open source e, quando posso, contribuire allo sviluppo degli stessi.

Bruno - Client per API Rest. Implementata una funzione per clonare gli ambienti

Pubblicazioni

Il lavoro di tesi in università ha portato alla pubblicazione di due articoli.

  • EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
  • Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
    2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC)
  • Enhancing Ethereum Smart-Contracts Static Analysis by Computing a Precise Control-Flow Graph of Ethereum Bytecode
  • Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato
    Journal of Systems and Software Volume 200, June 2023, 111653

    Skills

    Typescript e NodeJS

    AWS & Terraform

    SQL & Progettazione DB

    Docker

    VueJS & React native

    Jenkyns

    Elastic

    Python

    Git & Linux

    Inkscape

    Figma