Research
Timothy L. Hinrichs is a researcher in Computational Logic: the branch of Computer Science concerned with the representation and processing of information in the form of logical statements, e.g. Prolog or first-order logic.He currently focuses on Collaborative Programming: settings in which groups of people issue instructions to computer systems. Collaborative Programming differs from traditional programming settings because instruction sets can be incomplete and conflicting. An incomplete instruction set may only say what to do some of the time or what actions the system is forbidden from performing. A conflicting instruction set may simultaneously instruct the system to perform some action and forbid the system from performing that same action.
Technology that supports Collaborative Programming must be able to combine independently authored instruction sets and be tolerant of incompleteness and conflicts. Logical languages are a natural foundation for such technology and hence draw upon and contribute to the results of Computational Logic.
