Lecturer in Formal Methods & Tools

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.

Tel: 0191 208 8036

Email: leo.freitas@ncl.ac.uk

Website: http://www.ncl.ac.uk/computing/people/profile/leofreitas.html#background