Matthew Szudzik Research Fellow

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.

Location

United States

Institutional Affiliation

Wolfram Research

Research Topics & Interests

  • Applications of Computability Theory
  • Mathematical Logic