Nicolò Giuliani

CS student @ University of Bologna — systems, infra, low-level.

Education & Publications

University of Bologna

Bologna, Italy

B.Sc. in Computer Science — expected graduation July 2027

  • Relevant coursework: Data Structures and Algorithms, Operating Systems, Computer Networks, Programming Languages, Computer Architecture, Combinatorial Optimisation, Probability Calculus and Statistics, Logic for Computer Science
  • Thesis: reversible concurrent programming, advised by Prof. Ivan Lanese (coordinator of a Marie Curie network) — PDF · source

Experience

CINECA — HPC Curricular Intern

Sep 2026 – Oct 2026
  • Project: Infrastructure, Lifecycle Management and Security Hardening for HPC Services via Kubernetes
  • Replicated a production Kubernetes cluster used to orchestrate HPC support services as a digital twin on Cineca's private cloud, using IaC tooling (Ansible)
  • Ran infrastructure-level security benchmarks (CIS) on the digital twin and tested lifecycle and backup-recovery procedures

Projects

Kairos

Reversible concurrent language — C, Python, Formal Semantics · BSc Thesis

Designed a reversible concurrent language with SOS semantics (rendezvous channels, parallelism, try/rollback). Built KairosVM: Python front-end (lexer, LALR(1) parser) + C bytecode interpreter with bidirectional execution. Case study: reversible Burrows-Wheeler transform.

→ source

cavium-cn6640-snic10e-octeon-ii-nic

C, Linux Kernel, PCIe, Reverse Engineering

Out-of-tree Linux driver stack for the Cavium CN6640 SNIC10E card, exposing it as two 10GbE interfaces via a reverse-engineered PCIe BAR2 datapath — no vendor firmware NDA. Line-rate 10GbE TX (9.7–9.8 Gb/s), 8.1–8.8 Gb/s RX, automatic boot, no serial console.

→ source

sophos-xgs107w-prestera

C, Linux Kernel, Networking · in progress, private repo

Reviving the Marvell Prestera switch ASIC (11ab:7080) in a Sophos XGS 107w under Linux: adding upstream driver support for the chip and porting OpenWrt on top of it.

Homelab Infrastructure

Proxmox, Ceph, MikroTik RouterOS, ZFS

Built and maintain a five-node Proxmox cluster with Ceph as the distributed storage backend for self-hosted services.

Skills

Languages C, C++, Python, Bash
Systems & Infrastructure Linux/BSD, Linux kernel development, Kubernetes, Docker, Ansible, KVM/QEMU, Proxmox, Ceph, ZFS, systemd, Git, MikroTik RouterOS, CIS security hardening
Theory Structural Operational Semantics, Automata Theory, Formal Language Theory, Linear/Integer Programming, Network Flow Algorithms, Reversible Computing (Janus)
Languages Spoken Italian (native), English (B2), French (A2)

Contact

nicolo.giuliani6@studio.unibo.it github.com/nicologiuliani6