# INSTRUCTOR PROFILE

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 http://www.platosheaven.com. | |||

Will be teaching: |