This page is obsolete! Please go to
the new department website.
- Calculi and algorithms for automatic deduction, esp. first-order predicate
logic, and with a view to complexity of proofs.
- Discrete Event Simulation:
distributed discrete event simulation, esp. Split Queue Time Warp,
which is a generalisation of Jefferson's algorithm;
specialised discrete event simulation algorithms for e.g.call
admission control in data networks,
realtime-sytems etc., and fluid simulation.
- Evolutionary Algorithms (Theory and Applications), Evolutionary Robotics,
Computational Neuroscience, Evolution of Artificial Neural Networks,