
Re-Imagining the “Programming Paradigms” Course
How can we refocus and modernize the undergraduate “programming paradigms” course?
How can we refocus and modernize the undergraduate “programming paradigms” course?
Randomized algorithms and probabilistic programs play a growing role in many areas of computer science. What can we do to help ensure that these intricate programs are correct, without the bugs and flaws that plague today’s software?