Welcome to my website, my name is Federico Bruzzone. Presently a PhD Candidate in Computer Science at the University of Milan. I have a strong passion for Programming Languages and Compilers. Also, I am a Sound Engineer and Music Composer. In addition to this page, I suggest you to check my GitHub profile, the Posts section, and Research page of this website. Feel free to download my CV.

Personal and Contact Info

Personal Info

7th of March 2000 Magenta (MI), 20013, IT
Strada Marcallo 5, Magenta (MI), 20013, IT
federico.bruzzone.i@gmail.com
federico.bruzzone@unimi.it
+39 391 7369214

Contact Info

GitHub:	github.com/FedericoBruzzone
Telegram:	@federicobruzzone
LinkedIn:	in/federico-bruzzone
Twitter:	@fedebruzzone7
Reddit:	u/FedericoBruzzone

Latest Posts

MLIR Empirical Study on AArch64 (Apple M4 Pro)

Empirical study of MLIR optimization passes on Apple M4 Pro using native AoT binaries. Five research questions on tiling, lowering paths, loop fusion, cross-kernel behavior, and the gap to Apple Accelerate/AMX. Includes a roofline analysis with IREE.

Date: 2 June, 2026 | Time to read: ~10 min

scribe — A Minimalist LaTeX Document Class and Beamer Theme

A drop-in replacement for the standard article class with callout boxes, theorem-like environments, named inline comments, compact numeric citations, optional line numbers, and a matching Beamer theme — all with Libertine and Inconsolata typography.

Date: 1 June, 2026 | Time to read: ~3 min

Eter Programming Language Series

A Friendly Tour of Substructural, Uniqueness, Ownership, and Capabilities Types — and more!

The third post of the Eter programming language series. A friendly tour of the type-theoretic landscape behind memory safety. Starting from the logical roots of substructural logic, it walks through linear, affine, and uniqueness types, then visits regions, effects, capabilities, typestate, and the latest work on reachability and separation types.

Date: 22 May, 2026 | Time to read: ~15 min

Show older Eter Series posts

Mutable Value Semantics (MVS) or Ownership & Borrowing: A Trade-off Analysis

The second post of the Eter programming language series. It explores the trade-offs between Mutable Value Semantics and Ownership & Borrowing, examining friction points in Rust, Hylo, and Swift while searching for common ground between the two memory models.

Date: 3 May, 2026 | Time to read: ~15 min

The Mutable Value Semantics (MVS): A Non-superficial Study

The first post of the Eter programming language series. While this post is part of the series, it is not a part of the Eter language itself. The post is a non-superficial study on the MVS, trying to understand its limitations.

Date: 27 April, 2026 | Time to read: ~10 min