ESP Biography
DANIEL ZIEGLER, ESP Teacher
Major: 63 College/Employer: MIT Year of Graduation: 2017 

Brief Biographical Sketch:
Not Available. Past Classes(Look at the class archive for more.)How to Actually Change the World in Splash 2016 (Nov. 19  20, 2016)
From the ALS ice bucket challenge to ads for disaster relief campaigns, we're constantly bombarded with messages about how to help others. But some charitable organizations are doing more harm than good, and only a small handful are both highly effective and supported by data. This class will take a hard look at our obligations to the world, and introduce students to ideas in the growing field of highimpact altruism.
Handson Sorting Algorithms in Spark 2015 (Mar. 14  15, 2015)
You have a list of numbers and you really want to order them. We'll cover many different ways to do this, as well as how long each method takes. You'll then get to choose a sorting algorithm and compete against other classmates to find out who's fastest.
Programs = Proofs in Splash 2014 (Nov. 22  23, 2014)
Some time ago, some mathematicians named Curry and Howard noticed a strange correspondence between the rules of type theory (which explain how to write correctly typed programs) and the rules of logic (which explain how to write valid proofs). Now, mathematicians have proved more and more facts as programs that can be checked by computers, including the fourcolor theorem. Come learn how types can actually be logical propositions, and programs can actually be proofs.
