I have also investigated computational semantics for nonclassical logics, leading to a new understanding of constructive logic as a logic of proofs that can be communicated accurately in spite of some discrepancies in the language. L. Ridgway Scott Ridgway Scott is a designer and developer of the P-languages, a realization of a deterministic parallel computing model. Particular implementations, as extensions of Fortran and C, have been used for code development projects for widely distributed scientific simulation software. Scott also works on both parallel and sequential algorithms for simulation techniques in a broad range of areas including bioinformatics, structural biology, nuclear engineering, structural mechanics, fluid dynamics and computational chemistry. This includes boundary element, finite difference, finite element and spectral techniques for solving partial differential equations.
Current interests focus on the automatic generation of software to support scientific simulation.
One tries to get good upper bounds by exhibiting efficient algorithms and to develop mathematical methods to prove lower bounds. I am especially interested in lower bound techniques for parallel and for probabilistic models. I am also interested in dstributed computing, especially in fault tolerant distributed computations. I am also working on the computable content of certain algebraic structures such as Boolean algebras and models of certain formal systems. Finally I am studying decision procedures for certain subclasses of the r.e.