Professor of Cryptography. Serial innovator. Believer in fairness, justice & freedom. Based in Edinburgh. Old World Breaker. New World Creator. Building trust.

Chair of software systems at Tel Aviv University and CEO of Certora. Making formal verification a standard practice in Software Development.

Essayist, editor, drummer, and dad thinking about the climate crisis, politics, faith, political theology, policy, and punk rock. Texas forever.

Official account for news and updates from Medium.

Futurist, farmer, researcher, consultant, and public speaker.

The Wireless Infrastructure Association (WIA) is the association representing carriers, infrastructure providers and professional services firms. www.wia.org

Tech Industry Analyst, Forbes Contributor, EETimes & RCR Wireless writer, covering 5G, AI, IoT, Wi-Fi and everything wireless. Founder www.TantraAnalyst.com