The main object of study in my research is a group. Groups correspond to the most basic structure in mathematics. its simplicity allows one to encode and formalize symmetries in many situations, not only in mathematics. Typically, groups can be used to classify, via the notion of symmetry possibly in conceptual senses, objects like crystals, wallpaper (i.e. 2-dimensional periodic ornaments), particles, etc. My specific goal during my week in Olot will be to understand to what extent computer science can help in producing small subsets in groups which are sufficient to generate the whole structure.