Research of Manfred Kerber
Research Interests
- 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.
Current activities:
A full list can be found
here.
Funded Projects
- A three year EPSRC-funded project
ForMaRE - Formal Mathematical Reasoning in Economics with
Dr Christoph Lange
- MKM-Net
(EU-grant IST-2001-37057, Euro 12,000)
- Marie-Curie-Fellowship with
Dr Volker Sorge
(EU-grant HPMF-CT-2002-01701, Euro 106,872)
- Calculemus with
Martin Pollet,
Andreas Meier, and
Andreas Franke
(EU-grant HPRN-CT-2000-0102, Euro 80,063)
- A one year EPSRC-funded project on
Agent-Oriented Theorem Proving with
Dr Christoph Benzmüller
and
Dr Mateja Jamnik
(EPSRC-grant GR/M99644, £ 55,944)
- A three year EPSRC-funded project on
Proof Planning with
Dr Mateja Jamnik
(EPSRC-grant GR/M22031, £ 136,672)
Publications
(For
most of my publications I do not own the copyright, please respect
existing copyrights when using these pages. Links are for quick
information only. If you want to have a copy, you may get for some of
the articles a preprint from me, otherwise contact the publishers.)
Many publications are available from pages maintained by the University at
https://research.birmingham.ac.uk/portal/en/persons/manfred-kerber(f29623b1-03d4-47f9-86ac-9b011728122c)/publications.html
- Publications ordered with respect to type of publication:
- Publications ordered with respect to topics
- All Publications
Talks
Links to some talks can be found here:
Partiality
- If you are interested in the mechanisation of partial functions,
you might want to look here.
PhD Students
Former PhD Students
- Tim Kovacs
graduated in 2002 with his PhD topic "A comparison of strength and
accuracy-based fitness in learning classifier systems". His
dissertation won him a BCS/CHPC 2002 Distinguished Dissertations
Award. He is now a lecturer at the Department of
Computer Science of the University of Bristol.
- Stuart Reynolds graduated in 2003 with his PhD topic
"Reinforcement Learning with Exploration". He is now working for a
games company in Silicon Valley.
- Seungyeob
Choi graduated in 2003 with his PhD topic "The Use of
Pre-computed Models for the Guidance of Proof Search". He went on as
a PostDoc at the Department of
Computer Science of the University
of New Mexico and works now as a Senior Software Engineer at EdgeCast Networks Inc in Los
Angeles, CA, USA.
PhD Studies at Birmingham
Anyone interested in applying to do a PhD in the School of Computer
Science, The University of Birmingham, should see the
School's web page
http://www.cs.bham.ac.uk/ and follow the corresponding links Study Here and
Research MPhil/PhD. You find there also information on our different MSc programmes.
