Episode description

Alexander Hicks is a a researcher and currently work for the Ethereum Foundation where he is leading an effort to expand the use of formal verification to secure codebases that are critical to Ethereum, as well as interaction between formal verification and AI. He obtained a PhD with a thesis on the design and usage of transparency enhancing technologies based on cryptographic logs under the supervision of Steven Murdoch in the information security research group. Before this, he obtained a BSc in Theoretical Physics from Queen Mary University of London and a MASt in Mathematics from the University of Cambridge, where he also spent a summer working on the formal verification of Mathematics using Isabelle.
Learn more about his work: https://alexanderlhicks.com/

Our host: Ty
A dynamic conversationalist based in Bali, Ty’s superpower lies in drawing out the most engaging, entertaining, and insightful discussions. With 11 years of experience curating a community of visionaries in AI, crypto, and beyond, Ty has advised and coached hundreds of founders and facilitated deals worth up to 8 figures. He plays the role of super-connector, amplifier, and storyteller.
Learn more about Ty: https://x.com/tyinlife

Thank you for listening to Unlearn, a podcast produced and brought to you by Delysium.

Special thanks to Kuse.ai, AI-powered workspace.

Outline:
00:00
Introduction to the Unlearn Podcast
00:12
New Chapter
02:57
Journey Through Education and Career
05:32
The Influence of Mentorship in Academia
08:09
Challenges and Improvements in PhD Experiences
11:01
The Role of AI in Academia
13:46
Current Projects and Future Aspirations
16:17
Understanding zkVMs and Their Importance
18:56
The Path to the Ethereum Foundation
21:34
Defining Formal Verification
24:30
AI’s Role in Formal Verification
32:31
Advancements in AI Problem Solving
37:52
The Future of AI in Code Verification
41:03
Day-to-Day AI Research at Ethereum Foundation
46:21
Balancing Transparency and Privacy in Tech
55:23
Understanding Privacy in the Age of Surveillance
01:05:51
The Evolving Landscape of Privacy and Technology
01:10:47
AI and Human Interaction: The Future of Relationships
01:19:21
The Quest for a Universal AI: Possibilities and Limitations
01:30:47
The Role of AI in Governance and Society