Georgios Malogiannis¶ Researcher at University of Southampton working on formal methods and information integrity. Sources in this wiki¶ SoK: Formal Methods for Fact-Checking and Information Integrity Notes¶ Affiliation: University of Southampton, UK.