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".
Information how to come to The
University of Birmingham can be found
here.
My research
interests are:
- Proof planning and re-representation: How to represent knowledge on finding proofs
- 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 am the Senior Tutor of the School and
maintain the research web pages as well as the Student Handbook. Links
to my administrative work can be found
here.
My current timetable can be found
here.
A short CV can be found
here.