Kenneth Shum

Webpage of Kenneth Shum

• Errata to “Measure-theoretic probability”

• Lean formalization of perfect secret sharing scheme
  • Lean program “A Lean Formalization of Perfect Secret Sharing and Secure Distributed Matrix Multiplication”, ICICS, 2026.
• Lean formalization of complex analysis
  • A computer-checked approach to complex analysis