The Group carries out research and advanced scientific training activities in logic and computation with emphasis on the fields of information security and quantum computation and information. The Group is organized in tasks as follows:
