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