COMPUTER SYSTEMS RELIABILITY
Formal Methods, Formal Specification and Verification, Proof Carrying Code. Formal software Development.
Applications to Safety Critical Systems (avionics, aerospace industry, medical systems, railways and public transport industry)
COMPUTER SYSTEMS SECURITY
Mobile Code Security, Smart Cards, Applied Cryptography, Integrating Biometry with Strong Cryptography, Security in Ubiquitous Computing.
COMPUTER AIDED REASONING
Automatic Demonstration, Proof Assistants, Computational Logic, Application to Computer Science.
PROGRAMING LANGUAGES DESIGN AND SEMANTICS
Type Systems, Operational Semantics, Functional Programming, Program Analysis, Program Transformation.