Theodoros Nestoridis¶ Researcher at Clone Systems working on formal verification and information integrity systems. Sources in this wiki¶ SoK: Formal Methods for Fact-Checking and Information Integrity Notes¶ Affiliation: Clone Systems, Cyprus.