Research in algorithm design and complexity, and its application in all branches of computer science and of science in general. Research themes include:
- information structure, algorithm design, computational complexity, algorithmic modeling and simulation, intelligent algorithms, and the philosophy of computing.
Promovendi: zie mathematics genealogy.