Research in
THEORY OF ALGORITHMS, AUTOMATA,
COMPUTATION, and PROGRAMS
Axiomatic Theory of
Algorithms
Theory of
Super-recursive Algorithms and Limit Computations
Complexity
of Algorithms and Computations
Theory of Trans-recursive Operators
Parallel, Distributed, and Concurrent Computations
Genetic Algorithms
Theory of Programs
Programming Languages
Quality of Programs
Program Correctness
Program Metrics