The Research of the Foundations Group
The foundations group studies and develops mathematically oriented models of computing and reasoning. These are studied both for their own interest and for providing mathematical background for other research. Computing and reasoning meet in the area of `Formalized Mathematics'. The group contributes to the development of Computer Mathematics, a unified system for (symbolic) computing and mathematical reasoning. A somewhat smaller field, related to psychology and neurophysiology, is the project Brain, which studies models of the human brain based on trained introspection.
The foundations group has a seminar approximatley once every two weeks (currently Tuesdays at 15:30). It is mainly used by the members of the group to present new results, but if we have an interesting guest we usually ask him or her to give a seminar.
We like to ask questions during the talk!