Research

Stochastic modeling and quantitative evaluation

 

Analysis and design of real-time systems

 

Formal methods for safety critical systems

 

Algorithms and distributed systems

 

Software architectures and enterprise applications