Mathematics and Computer Science. Data management, knowledge representation, human-computer interaction, software engineering, specification of computer systems, systems modelling, and dependability.