Carlo Federici was an Italian mathematician who worked in logic. He moved to Colombia for political reasons.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Federici/