Tom Payne's Home Page

EDUCATION AND WORK

• M.S. in Mathematics, University of Notre Dame
• Ph.D. in Mathematics, University of Notre Dame
• Consultant for a number of R&D companies in California

RESEARCH TOPICS

• Efficient implementation of various programming language features related to issues in operating systems: concurrency, protection, dynamic binding

LATEST RESULTS

• Portable implementation of light-weight processes and synchronization monitors under C++
• Developed an efficient method for parallel sorting using a ring-connected network of processors
• Established an equivalence between logic program queries that require reasoning by cases and those that cannot be computed via single-entry input resolution