Daniele Lin

BSc Student — Engineering of Computing Systems (Politecnico di Milano)

Undergraduate student in Engineering of Computing Systems with a strong interest in the theoretical foundations of computing—particularly the mathematical and security principles that enable robust systems—and in translating these principles into rigorous, verifiable implementations. I am seeking advanced training at the Master’s level to deepen my background in core computer science and contribute to research-driven engineering.

Education

Politecnico di Milano

BSc, Engineering of Computing Systems
Formal Methods for Software Engineering; Foundations of Artificial Intelligence
27.3/30
Pending

Università degli Studi di Milano

Visiting student
Focused on strengthening theoretical CS foundations through coursework in formal methods and computation theory.
Principles of Programming Languages; Formal Languages & Automata; Computability & Computational Complexity

Istituto Leone XIII

High School Diploma (Liceo Scientifico)
100/100

Selected projects

Nextcloud Photo Infrastructure & Timestamp Normalization Tool GitHub

Deployed a self-hosted Nextcloud photo service on Ubuntu and built an automated timestamp-normalization workflow to ensure consistent chronological ordering for large photo/video archives in Nextcloud Photos.
  • Implemented an idempotent Bash tool that aligns filesystem times with DateTimeOriginal when available, and falls back to Google Takeout supplemental JSON when EXIF is missing.
  • Added validation, structured logging, and guardrails to avoid unnecessary rewrites and to apply consistent fixes across mixed media formats.
  • Integrated a post-processing reindex step via Nextcloud occ files:scan so corrected metadata is reflected by the application.
“Great project and nice learning experience! Many other users will find this useful.” — Nextcloud

E-Ring Voting (verifiable e-voting protocol prototype) GitHub

Co-developed a research-oriented prototype of an electronic voting protocol targeting public verifiability and voter privacy, using one-time traceable ring signatures and an append-only ledger for auditability.
  • Contributed to the design and implementation of the end-to-end voting workflow (setup, registration/eligibility representation, ballot casting, verification steps) with an emphasis on explicit verification artifacts.
  • Implemented and tested components for publishing election parameters and recording protocol events on a dedicated election ledger to support independent auditing.
  • Analyzed integrity and incentive constraints (e.g., costs, deposits/fees, and adversarial behaviors) and reflected them in the prototype’s data model and checks.

LEONAPP GitHub

Co-designed and deployed a web platform that replaced paper snack vouchers with authenticated QR-based redemption and a verifiable consumption ledger, streamlining the workflow for students, staff, and administration.
  • Implemented Google Workspace authentication, student onboarding, and eligibility constraints aligned with school policies.
  • Built the redemption pipeline end-to-end: voucher issuance, QR presentation, scanner interface with operator PINs, and a tamper-resistant record of consumptions.
  • Developed administrative tooling to manage enablement and generate monthly exports to support billing and reporting processes.
  • Deployed and operated the stack on Ubuntu/Apache/MySQL; defined database schema and operational procedures for maintainability.

Real-Time Bus Wait Time Display (ATM Milano) GitHub

Designed and implemented a network-connected embedded display that retrieves real-time bus arrival information for a selected ATM line/stop and renders it on a 16×2 I2C LCD. The device periodically issues HTTP requests to the GiroMilano endpoint, parses JSON responses on-device, and updates the display only when values change to minimize unnecessary LCD writes.
  • Implemented the full data path: Wi-Fi connectivity, HTTP POST requests, JSON parsing, and LCD rendering.
  • Exposed configurable parameters (line code, stop code, refresh interval) with serial diagnostics for validation and debugging.
  • Added basic fault handling: connection checks, controlled refresh cadence, and graceful behavior under network failures.

latino.py — Latin Lookup Library + Discord Interface Bot GitHub PyPI

Built and deployed a Python library for Latin word lookup and lightweight grammatical/morphological information by extracting structured entries from an online dictionary. Managed iterative releases (versioning and deployment) and developed a Discord bot as a polished interface for fast interactive queries.
  • Designed a clean Python API for lookup/parsing, enabling reuse in downstream tools.
  • Implemented a Discord-based UX (commands, formatting, and response handling) to make the system usable in practice.

Work experience

Nokia — Software (school–industry program)

  • Developed software components within a structured school–industry program, following specifications and iterative review.
  • Worked with standard development workflows (version control, debugging, documentation) in a professional environment.

Other (part-time jobs)

  • Warehouse assistant at BM MILANO S.R.L. in Burago di Molgora, Italy (Jul 2024 - Jul 2025)
  • Bar staff at local bar in Milan, Italy (Jul 2025 - present).

Volunteering

Fondazione Milano Cortina 2026 — Event Management Volunteer

  • Supported venue and official-site operational readiness through day-to-day event management activities.
  • Contributed to daily operations and internal communications to ensure alignment and smooth execution.

Technical Skills

Languages
Python · Java · C/C++ · Bash · SQL · JavaScript (basic)
Systems
Linux/Ubuntu · shell automation · process/log inspection · filesystem & permissions · basic networking
Web & Backend
Django · MySQL · Apache · authentication flows (OAuth/SSO concepts) · REST/HTTP fundamentals
Data & Parsing
JSON processing · metadata/EXIF pipelines · structured data extraction (responsible scraping) · validation & idempotent processing
Embedded
ESP8266 · Arduino/C++ basics · HTTP clients · I2C peripherals (LCD) · serial diagnostics · electronics & electrical engineering fundamentals
Security
modular arithmetic · primes · Euclidean algorithm · Fermat/Euler theorems · symmetric crypto (DES/AES) · PRNGs (BBS, LFSR) · public-key crypto (RSA, ElGamal) · hashes (SHA, birthday attack) · digital signatures · key exchange (Diffie–Hellman, STS) · authentication (challenge–response, OTP, Kerberos) · PKI/certificates · TLS/HTTPS · PGP/S/MIME · IPsec
Engineering Practices
Git/GitHub · reproducible scripts · debugging · documentation · maintainability & correctness focus

Languages

Italian
Native
Chinese
Native
English
C2

Certifications

Neural Networks and Deep Learning — DeepLearning.AI

Awards & competitions

Mathematical Kangaroo (Italy)