Formal Methods for Software Engineering, Formal Verification of Programs, Computer System Reliability, Computer System Security, Computer Aided Reasonning, Programming Language Design and Semantics, Validation and Verification