alert Rectangle 9 Rectangle 9 Rectangle 9 Rectangle 9 Group 4 email out facebook fax flickr grid instagram LINK linkedin location Group 47 Group 9 Group 9 Group 47 PHONE play Group 4 " Search twitter video face_white youtube

Bob Neveln PhD

Associate Professor

  • PhD Mathematics 1975

    Northwestern University (IL)

  • CSCI 264 Assembly Language

  • MATH 325 History and Philosophy of Mathematics

  • MATH 141 Calculus I

I am currently working on extending the ProofCheck program, found at, to work in more general contexts, such as relevance logic and constructive logic. I am also interested in the combinatorial foundations of topology, especially of manifolds.

Selected Publications 

  • Neveln, B. (2000). Linux Assembly Language Programming. Upper Saddle River, NJ: Prentice Hall.

  • Neveln, B., & Alps, B. (2007). Writing and checking complete proofs in TeX. TUGboat, 28(1), 80–83.

  • Neveln, B. (1990). Comma-free and synchronizable codes. Journal of Theoretical Biology144(2), 209–212.

Association for Symbolic Logic (ASL)