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)