Formal modelling and proof of systems and software. Current focus is on the safety/dependability of medical devices and security protocols behaviour (e.g. EMV payments, authentication, authorisation). Emphasis is given to formal proof for critical features, as well as source-code analysis. Techniques mostly used are formal logic, discrete mathematics and algebraic structures.