The field of Modeling and Simulation (M&S) is ever spreading towards new frontiers in theory, methodology, tools and applications. The goal of my research efforts is to study advanced concepts that can help in building a comprehensive formal basis for modeling and simulation of complex systems. To achieve this goal we are developing SimStudio, a supporting virtual lab for simulation-based system design and analysis, and we are devising mathematical and computational techniques that will allow us to formally reason about simulation models. The focus is on the following inter-related areas:

• Axiomatic mathematical and computational theory of modeling and simulation with emphasis on Discrete Event Systems Specification (DEVS).
• Logic semantics, structural and behavioral analysis and symbolic reasonning for unambiguous interpretation and metrics evaluation.
• Automated code synthesis of simulation models, to ease rapid prototyping and experimentation.
• Simulation-based problem solving , including method coupling, generic architectures, project scheduling, information technologies.

Specific technical research topics include metamodeling, dynamical systems formalims, formal methods, simulation algorithms and middleware engineering.