Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
Explores constitutive modelling in geomechanics, focusing on stress-strain behavior and the application of elastic models in analytical and numerical methods.