Bias in AI systems: integrating formal and socio-technical approaches. — SciRadar