allfeeds.ai

 

Formal bytes: The Axiomise Podcast Channel  

Formal bytes: The Axiomise Podcast Channel

Author: Axiomise

Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.
Be a guest on this podcast

Language: en

Genres: Education, Technology

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it


Get all podcast data

Listen Now...

Episode 50: A fireside chat with Dr. Amin Shokrollahi
Tuesday, 7 September, 2021

In the 50th episode of our podcast, Dr Darbari talks to Dr Amin Shokrollahi. We trace Amin's journey from his early childhood, his interests in Mathematics to his current position as a CEO of Kandou - a company that specialises in low-power, high-speed, off-chip communication solutions. Amin describes himself as more of a mathematician than an electronics engineer. He outlines how he uses principles of abstraction in Mathematics/CS in real-life projects. Amin explains the retimer technology that Kando uses in their cutting-edge Matterhorn USB Type-C solution.

 

We also recommend:


UTP - Umputun
Umputun

BIZNES I TECHNOLOGIE
DEKOMPRESOR

GDG Casts o Podcast da Comunidade
GDGCasts

Subscribed Podcast
Zuora

Build
Poornima Vijayashanker

Not So Standard Deviations
Roger Peng and Hilary Parker

The Static Void Podcast
The Static Void Podcast

Evadot Podcast
Michael Doornbos

Byte.Coffee
MilkShake

Hex The blockchain High Interest CD
conradn

HowStuffWorks via myPod
Joshua Hoover

Ask Sangam Biradar
Sangam Biradar