Welcome to my GitHub profile.
I am Paolo Bernardi: a PhD student in Computer Science (Quantum Computing) at the University of Pisa and a Computer Science Teacher at IIS Casagrande-Cesi (Terni). My work bridges the gap between advanced research and high school education.
I am currently codifying my teaching method as Hacker-Style Learning (HSL): focusing on real artifacts, rapid iteration, and responsibility.
I am also a registered software engineer (Ordine degli Ingegneri di Terni, A1364) with 15+ years of experience in system design, cybersecurity, and privacy.
This profile hosts a selection of tools, educational experiments, and research tools and data.
Tools built to solve real school problems or demonstrate concepts in class.
- classeviva-tools - Python automation suite for the "Classeviva" electronic registry. A case study in how coding solves bureaucratic friction.
- Little - A tiny imperative language interpreter in C (Literate programming with nuweb). Used to teach interpretation basics.
Exploring Quantum Computing, Cybersecurity and HPC.
- secprop-qcircuit-exec Benchmark tools and results for the article "Evaluating Security Properties in the Execution of Quantum Circuits"
- 0-rtt Proof of concept for TLS 0-rtt replay attacks
- PAES - Parallel AES implementation using OpenCL (GPU/CPU).
- Parallel-SAT - An MPI-based DPLL SAT solver.
- PBOTS - Civic hacking scrapers to monitor online bulletin boards.
- Hugo Uploader - FTP differential uploader for Hugo-based websites (powers my personal infrastructure).
- Photo - A Go CLI to manage large photo libraries.
- Photocopieuse - A personal, very custom, automation tool
- Personal Website: bernardi.cloud
- Academic Page: pages.di.unipi.it/bernardi
- LinkedIn: in/paolobernardi