Episode 47: A fireside chat with Prof. Supratik Chakraborty - Part 2

Formal bytes: The Axiomise Podcast Channel - En podcast af Axiomise

Kategorier:

Pleased to bring up the second part of the chat with Prof. Supratik Chakaraborty from IIT Bombay. We talk on boolean function synthesis, AI/ML, BDDs and SAT. Find out the next big thing in synthesis that has the potential to break the RSA! 

Visit the podcast's native language site