Julian Pritzi
Julian Pritzi
PhD Student @ Technical University of Munich
I am a PhD student in the systems research group at the Technical University of Munich, supervised by Prof. Pramod Bhatotia. In summer 2026, I interned at Microsoft Azure Research in Cambridge, where I worked with Cédric Fournet on formal verification of protocol implementations.

My research interests lie at the intersection of trustworthy system design and formal methods. Specifically, I am interested in high-assurance system security, hardware-software co-design, and RISC-V architectures. I focus on using formal specifications, analysis, and correct-by-construction development for essential system components.

If you have any questions or would like to collaborate, feel free to contact me.

Active Projects
Trustformer

Trustformer
Under Development

Correct- and secure-by-construction synthesis of silicon roots of trust.
Trustformer is a research project that aims to develop a toolchain for the correct- and secure-by-construction synthesis of silicon roots of trust. It will eventually allow specifying the interaction behavior of a dedicated hardware component (e.g., small TPM) and automatically synthesizes an RTL implementation that is functionally correct and secure against timing sidechannels.

© 2026 Julian Pritzi