RESEARCH THEMES
Modeling formalisms
Stochastic Automata Networks (SAN)
Markov Chains
Queueing Networks
PEPA/PEPAnets
Numerical Analysis
Generalized Tensor Algebra
Optimization of the vector descriptor product
Aggregation in SAN
Simulation/Perfect Simulation
Modeling Applications
Paleographic and Paleoclimatic models
Global Software Development
Statistical Software Testing
Parallel Programing Evaluation
Wireless Sensor Networks
