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.

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.

Tommaso Bolognesi has a laurea in physics from Università degli studi di Pavia and an MS in computer science from the University of Illinois at Urbana-Champaign and has worked at the Italian National Research Council (CNR) since 1977 on computer music and design of concurrent systems. He has published a number of papers, participated in several national and European projects, helped run international conferences and workshops, and contributed to the definition of the ISO-standard LOTOS language. As a 2005 NKS Summer School student he researched process algebra and Petri nets. Most of his efforts are now on NKS-related topics, in particular on discrete models of space and spacetime based on graph rewriting (A New Kind of Science, Chapter 9).

Jason Cawley first discussed the ideas in A New Kind of Science with Stephen Wolfram in the early 1990s, and read early drafts of the work around that time. In the last few years before publication, Jason worked for Stephen Wolfram as a research assistant on historical and philosophical issues, including many topics covered in the notes. Jason's graduate studies were in political science at the University of Chicago, and his wide-ranging interests include philosophy, social science, economics, finance, and the history of thought. After the book was published, Jason created and moderated the NKS Forum, answering reader questions about NKS. Jason then worked for Wolfram Research developing Mathematica's capabilities in the social sciences, including the development of CountryData and FinancialData. He worked on the Wolfram|Alpha project from its inception to its public release, including much of its social science content. For the last five years, Jason has been Director of Architecture at Wolfram Solutions, the consulting arm of Wolfram Research, bringing its technologies and methods to a wide range of corporate and government clients. He lives in Anthem, Arizona.

Presentations

• Historical Ideas of Formal Uncertainty and NKS Irreducibility
• NKS in the Social Sciences
• Philosophical Implications

Paul-Jean Letourneau attended the NKS Summer School 2004, where he completed a pure NKS project on elementary cellular automata with memory. He has been an instructor at the Summer School since 2005. His 2004 project developed into his master's thesis in theoretical physics, "Statistical Mechanics of Cellular Automata with Memory." He has worked in several industrial and academic laboratories around North America, where he made original contributions to real-world problems in medical imaging, geophysical seismic imaging, protein structure prediction, and DNA-protein interactions. Paul-Jean is now lead developer of computational biology for Wolfram|Alpha.

Presentations

• Patterns in Mathematica

Eric Rowland is a postdoctoral researcher in the mathematics department at the University of Liège. He has coauthored 30 research papers on a variety of topics in number theory, combinatorics, and theoretical computer science. In 2008 he proved that a simple recurrence discovered at the Summer School generates primes. He is also responsible for geometry functionality in Wolfram|Alpha.

Michael Schreiber received his PhD from Vienna University of Economics and Business (WU) for his dissertation on support systems for university development. He has consulted for various organizations and taught marketing at WU. Throughout his career he has made many and various contributions to art events and systems conferences in Europe. For the last several years he has engaged in NKS research using Mathematica. He has authored more than 350 Demonstrations.

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

Jamie Williams is a senior computable data architect with the Wolfram|Alpha team. He received a PhD in theoretical low-temperature atomic physics from the University of Colorado in 1999. Before joining the Wolfram team, Jamie was a scientist at the National Institute of Standards and Technology, investigating nonequilibrium dynamics and quantum computing in ultracold atomic systems. He first encountered the ideas in NKS in 2002 while researching a project on entanglement dynamics in quantum cellular automata. He is interested in the deployment of NKS-based approaches for solving real-world problems in physics, as well as the application of NKS methodology in the architecture of computational knowledge systems.

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.