Current Interests

These are topics on which I am currently working (which typically means actively developing material for publication). The three main areas are agent systems, proof theory and busy beavers.