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

Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise

Categories:

Education Technology

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!