Tim Nelson | Emergence Podcast

In the inaugural episode of Emergence Nathan talks to Tim Nelson, Assistant Professor (Research) at Brown University, about the challenges facing proponents of formal methods, the importance of deep research + practical commercial applications, how he gets students excited about formal methods via property-based testing, and more!

Quick Links from the Video

Strange Loop Talk, "Finding bugs without running or even looking at code" (opens new window)

Tim's paper on teaching Property-Based Testing (opens new window)