Kwesi Rutledge is a PhD Student at the University of Michigan's Electrical and Computer Engineering Department. His research focuses on an area called Correct-By-Construction Control. Check out Kwesi’s <a href= "http://www.kwesirutledge.info/">website</a> and find him on Twitter <a href="https://twitter.com/ferventecrivain?lang=en" target="_blank" rel="noopener">@FerventEcrivain</a> Changing World by Ben Beiny <a href= "http://www.premiumbeat.com">www.premiumbeat.com</a>

Kwesi Rutledge is a PhD Student at the University of Michigan's Electrical and Computer Engineering Department. His research focuses on an area called Correct-By-Construction Control. Check out Kwesi’s website and find him on Twitter @FerventEcrivain Changing World by Ben Beiny www.premiumbeat.com

Kwesi Rutledge is a PhD Student at the University of Michigan's Electrical and Computer Engineering Department. His research focuses on an area called Correct-By-Construction Control. Check out Kwesi’s <a href="http://www.kwesirutledge.info/" rel="noopener noreferrer">website</a> and find him on Twitter <a href="https://twitter.com/ferventecrivain?lang=en" rel="noopener noreferrer">@FerventEcrivain</a> Changing World by Ben Beiny <a href="http://www.premiumbeat.com" rel="noopener noreferrer">www.premiumbeat.com</a>

#28: Kwesi Rutledge - Big Ideas & Formal Methods

On the How To Do Grad School Podcast, our mission is to uncover the habits and systems grad students need to produce great research. We’ll talk with successful current and former graduate students across the world and try to get a sense of what habits, systems and tools they've developed to start and sustain great research projects. New episodes released every Thursday.

Share #28: Kwesi Rutledge - Big Ideas & Formal Methods

Sign up to save your podcasts

#28: Kwesi Rutledge - Big Ideas & Formal Methods

#28: Kwesi Rutledge - Big Ideas & Formal Methods