Modelling and Analysis of Security Protocols Design and analysis of security protocols Modeling and analysis of dynamic systems Operational semantics and verification of security protocols Dynamical modeling and analysis of switching converters Economic analysis of securities crimes modelling and reasoning about systems