MSc. in Mathematics (Cryptography). Looking for a PhD.
Deep interests in Algebraic Cryptography and Algebraic Geometry.
Nurturing my passions and skills in Algebra, compilers, and self-hosted systems driven by curiosity.
Building sophisticated and opinionated solutions.
Ranging from iOS applications to system applications, from backend development to system operation and security, from project management to startup creation from scratch, and more.
A software with clear structure and well-defined boundaries fits in head with no effort.
The most important advantage: fit-in-head software is easy to communicate.
Then, documentation, development, configuration, and maintenance are faster and easier.
The fit-in-head principle can be extended to other deliverables.
Secure system design
· Privacy and cryptographic solutions
· Architectural review
Adversarial analysis
· Systems evaluation
· Legacy system security
System administration
· Sophisticated software
Professional experience
Alchemy, 2020 – today, an extensible computer algebra library written in Scheme. Allow to manipulate algebraic structures and algebraic elements easily. For example finite fields and linear codes.
Volunteer for De Componendis Cifris, 2022 – today, DOI automation and website integrations.
Gelpi, Feb 2025 – Mar 2025, prototype for Multi-party Computation Threshold ECDSA Signature in Go.
Argentea, Mar 2024 – Sep 2024, Android Development for PAX payment terminal, payment integrations, extending exisiting protocols, query design for complex database, planning non-disruptive updates.
Moodle Notifier, Nov 2022, Moodle is a platform we use at university. It is almost like a forum, but you will not see when the professor updates stuff, for example new assignments, new slides. So this simple script was assembled to list the available material. The list is cached, and if a change is found, a notification is sent in a Telegram channel with the changes.
Within Athesys, Jul 2020 – Sep 2022, worked as software engineer and system administrator.
Proof of concept for an hybrid Self-sovereign Identity (SSI) solution.
SCIM protocol implementation, integrating it to the current Identity and Access Management (IAM) system.
Parser-combinator to compile user queries to MongoDB queries.
Implemented unit tests, quality management and integrated SonarQube with Azure DevOps Pipelines.
Improved quality of work with an internal documentaion system on Gitea, and reproducible build using Docker best-practices.
Within Accenture, Dec 2021 – Mar 2022.
Hashicorp Vault plugins for password rotation automation for Salesforce and Splunk, written in Go;
Signature verifier for policy automation, written in Go.
Git Overview, Dec 2021, web based overview of many git repositories connected to a project, since Azure DevOps does not do it.
Within Friso Computer, Oct 2018 – Feb 2019, internship
network management;
unix sysadmin;
data recovery.
CryptoWars2020, Oct 2020, 4th place with Flying Pwnycorn.
Tram Padova, 2014 – 2021, iOS and web application with Go backend to show trams in Padua.
Score Arco, 2011 – 2017, iOS application for keeping score and archery matches.
Preferences
I prefer working with the following languages: Scheme, Common Lisp, Haskell, ANSI C/C++.
I prefer working with OpenBSD, but I also prefer linux systems like Fedora and Alpine Linux.
I also worked with Rust, Go, Java, Node.js, MAGMA and with MacOS, Windows (≤10).
Inspiring readings
Abelson, Sussman, 1993, Structure and Interpretation of Computer Programs
Boiler, 1966, Recreations in the Theory of Numbers
Conway, 1976, On Numbers and Games
Kauffman, 2019, A World Beyond Physics
Lewis, 1960, Il più grande uomo scimmia del Pleistocene (aka The Evolution Man, aka Once Upon an Ice Age, aka What We Did to Father)
