Charalampos Dimoulas¶ Researcher at International Hellenic University working on information integrity and verification systems. Sources in this wiki¶ SoK: Formal Methods for Fact-Checking and Information Integrity Notes¶ Affiliation: International Hellenic University, Greece.