Homepage of Dr Manfred Kerber
Address
e-mail: Because of increasing levels of spam I am currently switching
to a rigorous spam filter. Any e-mail which comes from an address
which does not belong to a pattern of e-mail addresses which my filter
accepts (e.g., everything from ac.uk will be accepted), will be
automatically deleted. If you want to initiate e-mail contact with me,
phone me, or send me a fax with your e-mail address. Alternatively you
can send me an e-mail to "M.Kerber" at "cs.bham.ac.uk" with a
specialised subject line, which currently has to be
"communication76".
Office: Rm 137 in the Computer Science Building (Y9).
Information how to come to The
University of Birmingham can be found here.
My research
interests are:
- Proofs in theoretical economics
- Proof planning and re-representation: How to represent knowledge on finding proofs
- Study the usefulness of heuristics
- Agent-oriented theorem proving: How can reasoning tasks be distributed
- Mechanisation of partial function, adequate treatment of paradoxes: How to deal with epressions such as 1/0 and crash in computer languages and/or logic.
Links to activities, publications, and to funded
project can be found
here.
I've been main organiser and co-organiser of a number of workshops and
conferences, edited proceedings and a special issue of a journal. Links to these events can
be found
here.
Current activities:
Links to all my lectures and final year projects with further links
to sets of slides can be found
here.
I organise the Computer Science departmental seminar, am the Senior Tutor of the School, and for the autumn term the final year project coordinator of the School.
For details see
here.
My current timetable can be found
here.
A short CV can be found
here.
