Home » Research

Research

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.