Welcome

Hi! My name is Paulo. I'm a mathematician, computer scientist and founder currently working on quantum computing, cryptography, and type theory. I am building infrastructure for the quantum era: the Raydian platform, a venture focused on verifiable quantum software, where research and development become deployable, protected, and monetizable. I also write occasionally about related topics.

For more details, here's my CV.

What I am learning at the moment:

• Zero-Knowledge Proofs
• Type Theory
• Accounting and Investing
• Nonstandard analysis
• RISC-V Architecture
• Latin

What I am currently reading for leasure:

Here are my most recent posts:

Posts

• Educational Reforms of Tsar Peter I - [History, Russia] - July 27, 2022
• How to encrypt your Hard Drive - [Linux, Encryption] - April 9, 2021
• Setting up a static website with Hakyll - [Haskell, Web] - April 7, 2021

You can find more in the posts.