People:Faculty

   home    undergraduate    graduate    research    people    miscellanous 
   NEWS
   RESOURCES
   EVENTS
   SITE MAP
   SEARCH
   PRINT VERSION 		 
  
Dr. Johan G. F. Belinfante
Professor
Office Skiles 220
Phone 404 894 2710
Email belinfan [at] math.gatech.edu
Home Page www.math.gatech.edu/~belinfan
Area of Research Theory of Computing, Combinatorial Algorithms, Computer Usage in Applied Algebra
Degree Ph.D. 1961, Princeton University
Current research interests:
  • computer-aided proofs in set theory, including proof summaries for thousands of theorems proved using McCune's program Otter, and the latest version of my GOEDEL program.
  • combinators; algorithms in abstract algebra
  • classical Lie algebras and applications in particle physics

School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332-0160
phone: 404-894-2700, fax: 404-894-4409, webmaster@math.gatech.edu

URL:http://www.math.gatech.edu/people/faculty/belinfan.html
Last Modified:Friday, 10-Dec-2004 13:43:53 EST