A CORE software engineer, Sergio Sancho, is bronze medalist of the ACM-ICPC world finals