Nathan Carter
  NATHAN CARTER uses computer science to advance mathematics. He studied both subjects at the University of Scranton and at Indiana University, earning a Ph.D. in mathematical logic in 2004. Besides work in logic, he has written a book on group theory visualization, and dabbled in social network analysis. His open source mathematics software, including packages for group theory visualization, games in formal logic, and a general validation environment for mathematical reasoning, is available at
  Will be teaching: