Biography

Professor Thomas Payne received his M.S. and Ph.D in Mathematics from the University of Notre Dame. He has worked as a consultant for a number of R&D companies in California.

Current research involves the efficient implementation of various programming language features related issues in operating systems: concurreny, protection and dynamic binding.

Degrees

• M.S. in Mathematics, University of Notre Dame
• Ph.D. in Mathematics, University of Notre Dame

Research Areas

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