“It's so nice to have you here. I was curious. You're very well known for formal methods for programming for logic for all of these topics, but how did you get into tech?”
0:001:23:42
Ready to play
0:00
--:--
Enjoying this?
Create a free account to bookmark episodes and follow shows.
