CV

Hi! I’m Julius Alexandre, a software engineer with a compiler security background. Currently working at Trail of bits!

Experience & Interests

• Compiler optimizations & Static analysis
• Formal Verification
• Type Theory
• System Programming

Get in Touch

Connect with me on LinkedIn or GitHub.