The following are particulars about my main current research interests:
- The description and analysis of hybrid systems. In continuation of my previous work on a process algebra for hybrid systems and its connections with the formalism of hybrid automata, I am among other things interested in efficient proof techniques for that process algebra, effective procedures for restricted versions of the process algebra to decide whether an equation is derivable, and model checking tools for restricted versions of the process algebra to verify properties expressed in a suitable temporal logic.
- The description and analysis of real-time reactive systems that are networks of dynamically reconfiguring components in which communication between the components is usually in whole or in part coordinated from outside the components. Such systems become dominating among the systems that shape our society. My special interest is in dealing with all aspects relevant to their behaviour, which includes coordination, reconfiguration and real-time reaction, in a single framework.
- The development of more theory in subject areas such as computability, computational complexity, algorithm efficiency, program performance, program compactness, program parallelization, program verification, and probabilistic computation, from the viewpoint that a program primarily represents an instruction sequence. For a growing number of developments, including developments with respect to high-performance program execution on classical or non-classical computers and estimation of execution times of hard real-time systems, it becomes increasingly more important that programs are considered at the level of instruction sequence.
- In the past, I was for a long time concerned with formal techniques, and tools in support of them, to complement industrial approaches to software development for more rigorous approaches to software development in industry. I am still interested in this line of research.