Stephen Wolfram is the author of A New Kind of Science and the principal lecturer at the Summer School. He is the creator of Mathematica, the creator of Wolfram|Alpha, and the founder and CEO of Wolfram Research. Having started in science as a teenager (he got his PhD at age 20), Wolfram had a highly successful early career in academia. He began his work on NKS in 1981 and spent ten years writing the NKS book, published in 2002. Over the course of 30 years, Wolfram has mentored a large number of individuals who have achieved great success in academia, business, and elsewhere. Starting the NKS Summer School (now called the Wolfram Science Summer School) was his first formal educational undertaking in sixteen years.

Todd Rowland assisted Stephen Wolfram with mathematical issues found in A New Kind of Science chapters 5, 9, and 12. Before joining the NKS team in 2001, he wrote entries for MathWorld. Todd received his PhD from the University of Chicago in 1999, where he studied traditional mathematics, such as algebraic and differential geometry. Currently, he is the managing editor of Complex Systems. His interests include automated theorem proving, the fundamental theory, and NKS education.

Presentations

• Principles of Computational Equivalence

Catherine Boucher joined Wolfram Research in 1998. She led project management during the production of A New Kind of Science and is currently the director of special projects for Wolfram Research. Her team is responsible for early development of new initiatives at Wolfram Research, along with projects related to Wolfram Science. She and her team led the original development of Wolfram|Alpha and currently handle its mathematical content and parser development. Catherine received her PhD in applied mathematics from the University of Massachusetts Amherst, specializing in cluster analysis.

Abigail Devereaux joined Wolfram Research in 2007. She has a bachelor's degree in physics (2004) and a master's degree in mathematics (2007) from Boston University and is currently a PhD student in economics at George Mason University. She has been involved in the Wolfram Science Summer School for seven years: seven years as event director, two years as a participant, one year as a teaching assistant, and three years as an instructor. Her presentation on cellular automata over graph topologies at the 2008 Midwest NKS Conference was later written into an article and published in Complex Systems. In her spare time she sings operatic soprano and writes speculative fiction.

Jan Baetens graduated as an environmental engineer from Ghent University in 2007, after which he joined that university's Research Unit Knowledge-Based Systems (KERMIT). Having struggled with traditional modeling approaches and their weaknesses while completing his master's thesis, he finds that cellular automata provide an alternate perspective for solving engineering problems. He attended the NKS Summer School 2008 to expand his knowledge of the topic and was an instructor for the NKS Summer School 2009 and 2010. In the framework of his ongoing PhD research, he addresses the usability of CA for describing biological spatio-temporal processes as well as the stability characteristics of CA. The research has led to several published papers and Wolfram Demonstrations. Currently, he is affiliated with Ghent University, at which he teaches several mathematics courses.

Carlo Barbieri holds a PhD in physics from ENS in Paris. His current research interests are on the boundary between physics, biology, and informatics. During his thesis "Inverse problems in biophysics," he worked on developing algorithms to extract biologically relevant information from biophysics experiments such as DNA micromanipulation or neural activity recordings. He spent one year as a visiting PhD student at the Institute for Advanced Study in Princeton. He earned a master's in physics from the University of Rome "La Sapienza", in his hometown, focusing on Boolean satisfiability and the statistical physics of complex systems.

He now works for Wolfram in the ARG group (also known as the Talk-Like-A-Pirate group) on the data input features in Wolfram|Alpha. He has written a blog post on his experience at the Summer School last year.

He is a music lover, an avid traveler, and a bike maniac. He finds it weird to talk about himself in the third person.

Peter Barendse was born and grew up in the United States, attended the University of Vermont, and received his PhD in mathematics from Boston University in 2010.

The topic of his doctoral dissertation was combinatorial large cardinal hypotheses. He has published articles online and in the Journal of the Mathematical Society of Japan.

His scholarly interests are in mathematical logic, dynamical systems, theoretical computer science, physics, philosophy, and economics. He is one of the first to study the theoretical capabilities of nonlocal cellular automata and model paradoxes with cellular automata.

Besides these, he enjoys teaching, playing sports (especially water sports), debating, watching and making movies, and traveling.

Luca received his PhD in math at University of Rome Tor Vergata, after graduating from Sapienza University of Rome with both a bachelor's and master's degree in mathematics.

After taking part in the 2012 Summer School as a student, he joined Wolfram as a math content developer. He again participated in the 2013 Summer School as an instructor.

Recently Luca was involved in the implementation of the back end of the Wolfram Problem Generator and in the analysis of its data.

Etienne Bernard is the lead developer of the Machine Learning Group at Wolfram Research, where he focuses on developing machine learning functionalities for the Wolfram Language. His work aims to simplify the practice of machine learning in order to spread its usage. Etienne obtained a PhD in physics from ENS Paris, where he designed Markov chain Monte Carlo algorithms to solve physics problems. He also worked as a postdoctoral scholar at MIT on Markov chain Monte Carlo algorithms and non-equilibrium statistical physics.

Taliesin Beynon is a research programmer in the advanced research group at Wolfram|Alpha. His research interests include machine learning, natural language processing, data mining, and Dataviz. His previous NKS work has focused on graph automata and two-dimensional Turing machines.

Vitaliy Kaurov received his PhD in theoretical physics from the City University of New York in the area of ultra-cold quantum gases, and also worked in the fields of complex systems and nonlinear dynamics. He collaborated in National Science Foundation-sponsored research and was a professor at the College of Staten Island. Currently, he is a member of the Technical Communications and Strategy Group at Wolfram Research, publishes on the Wolfram Demonstrations Project, and writes for the Wolfram Blog. Vitaliy attended the Wolfram Science Summer School 2010 as a student, where he investigated the relation between 1D and 2D cellular automata. Since then, he has enjoyed returning to the Summer School and teaching new students.

Matthew Szudzik made significant contributions to A New Kind of Science from 1998 through 2000 and during the summer of 2001 as a research assistant to Stephen Wolfram. His work focused primarily on the analysis of simple programs and on the theoretical foundations of computational mathematics. He holds a PhD in mathematical logic from Carnegie Mellon University. Matthew Szudzik has also worked as a special lecturer and as an assistant teaching professor of mathematics at Carnegie Mellon's campuses in Pennsylvania and Qatar.

Presentations

• The Analysis of an S-K Combinator Expression
• A Survey of "Other" Rule Systems
• Turing Machines
• The Enumeration of Computational Systems
• Emulation and Irreducibility
• The Analysis of a Turing Machine
• Logic and the Foundations of Mathematics