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".
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 expressions 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.
My current timetable can be found
here.
A short CV can be found
here.
