James S. Royer

Office: Center for Science and Technology, Room 4–185
Address: Dept. of Elec. Engrg. and Computer Science, Syracuse University, Syracuse, New York 13244, USA
Email:
Phone: +1-315-443-1028
Fax: +1-315-443-1122

Research Interests

There is nothing as practical as a good theory. - David Hilbert

Papers

• Some papers on-line with capsule descriptions

No man but a blockhead ever wrote except for money. - Samuel Johnson

Books

• A Connotational Theory of Program Structure, by James S. Royer, Springer LNCS 273, 1987.
  
  
• Subrecursive Programming Systems: Complexity & Succinctness, by James S. Royer and John Case, Birkhauser, 1994.
  
  
• Systems That Learn, 2/e, by Sanjay Jain, Daniel Osherson, James S. Royer, and Arun Sharma, MIT Press, 1999. (Note to potential authors: The standard MIT Press book contract offers pretty reasonable terms on film treatments. Hollywood has yet to contact us though.)

...as we progress it becomes more common to meet a person who writes bad books than who reads good ones. - John Stewart Collis, The Worm Forgives the Plough

Meetings

• The IEEE Conference on Computational Complexity (née Structures).
• Mathematical Foundations of Programming Semantics.
• Workshop on Logic and Computational Complexity (née Implicit Computational Complexity)
  
  
• Programs: Improvements, Complexity, and Meanings; Schloß Dagstuhl; Wadern, Germany, 8-12 June 1998.
• DIMACS Workshop on Computational Complexity and Programming Languages 25-26 July 1996. (See the Workshop Report.)

Numbers written on restaurant checks within the confines of restaurants do not follow the same mathematical laws as numbers written on any other pieces of paper in any other parts of the Universe. This single statement took the scientific world by storm. It completely revolutionized it. So many mathematical conferences got held in such good restaurants that many of the finest minds of a generation died of obesity and heart failure and the science of math was put back by years. - Douglas Adams, Life, the Universe and Everything

When Isaac Todhunter was asked whether he would like to see an experimental demonstration of conical refraction, he replied - No. I have been teaching it all my life, and I do not want to have my ideas upset.

Et Cetera

• A list of papers on complexity at higher types
• Astronomy Picture of the Day
• The EECS Computer and Information Science Home Page
• Erik Winfree's Molecular Computation page
• John Preskill's course on Quantum Information and Computation
• Hypatia - a directory of researchers in CS & Math and a library of their papers
• The Stanford Encyclopedia of Philosophy - not as much fun as slashdot but better informed.
• Theoretical Computer Science On The Web

If you know that you are a stone, you do not know that you are a stone.   -   Richard the Sophister