diff --git a/metadata/authors.toml b/metadata/authors.toml
--- a/metadata/authors.toml
+++ b/metadata/authors.toml
@@ -1,7447 +1,7438 @@
 
 [abdulaziz]
 name = "Mohammad Abdulaziz"
 
 [abdulaziz.emails]
 
 [abdulaziz.emails.abdulaziz_email]
 user = [
   "mohammad",
   "abdulaziz",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [abdulaziz.emails.abdulaziz_email1]
 user = [
   "mohammad",
   "abdulaziz8",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [abdulaziz.homepages]
 abdulaziz_homepage = "http://home.in.tum.de/~mansour/"
 
 [adelsberger]
 name = "Stephan Adelsberger"
 
 [adelsberger.emails]
 
 [adelsberger.emails.adelsberger_email]
 user = [
   "stvienna",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [adelsberger.homepages]
 adelsberger_homepage = "http://nm.wu.ac.at/nm/sadelsbe"
 
 [aehlig]
 name = "Klaus Aehlig"
 
 [aehlig.emails]
 
 [aehlig.homepages]
 aehlig_homepage = "http://www.linta.de/~aehlig/"
 
 [aissat]
 name = "Romain Aissat"
 
 [aissat.emails]
 
 [aissat.homepages]
 
 [amani]
 name = "Sidney Amani"
 
 [amani.emails]
 
 [amani.emails.amani_email]
 user = [
   "sidney",
   "amani",
 ]
 host = [
   "data61",
   "csiro",
   "au",
 ]
 
 [amani.homepages]
 
 [ammer]
 name = "Thomas Ammer"
 
 [ammer.emails]
 
 [ammer.emails.ammer_email]
 user = [
   "thomas",
   "ammer",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [ammer.homepages]
 
 [andreka]
 name = "Hajnal Andreka"
 
 [andreka.emails]
 
 [andreka.homepages]
 andreka_homepage = "https://renyi.hu/en/researchers/hajnal-andreka"
 
 [andronick]
 name = "June Andronick"
 
 [andronick.emails]
 
 [andronick.homepages]
 
 [aransay]
 name = "Jesús Aransay"
 
 [aransay.emails]
 
 [aransay.emails.aransay_email]
 user = [
   "jesus-maria",
   "aransay",
 ]
 host = [
   "unirioja",
   "es",
 ]
 
 [aransay.homepages]
 aransay_homepage = "https://www.unirioja.es/cu/jearansa"
 
 [argyraki]
 name = "Angeliki Koutsoukou-Argyraki"
 
 [argyraki.emails]
 
 [argyraki.emails.argyraki_email]
 user = [
   "ak2110",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [argyraki.homepages]
 argyraki_homepage = "https://www.cl.cam.ac.uk/~ak2110/"
 argyraki_homepage2 = "https://www.cst.cam.ac.uk/people/ak2110"
 
 [armstrong]
 name = "Alasdair Armstrong"
 
 [armstrong.emails]
 
 [armstrong.homepages]
 
 [aspinall]
 name = "David Aspinall"
 
 [aspinall.emails]
 
 [aspinall.homepages]
 aspinall_homepage = "http://homepages.inf.ed.ac.uk/da/"
 
 [ausaf]
 name = "Fahad Ausaf"
 
 [ausaf.emails]
 
 [ausaf.homepages]
 ausaf_homepage = "http://kcl.academia.edu/FahadAusaf"
 
 [avigad]
 name = "Jeremy Avigad"
 
 [avigad.emails]
 
 [avigad.emails.avigad_email]
 user = [
   "avigad",
 ]
 host = [
   "cmu",
   "edu",
 ]
 
 [avigad.homepages]
 avigad_homepage = "http://www.andrew.cmu.edu/user/avigad/"
 
 [back]
 name = "Ralph-Johan Back"
 
 [back.emails]
 
 [back.homepages]
 back_homepage = "http://users.abo.fi/Ralph-Johan.Back/"
 
 [baksys]
 name = "Mantas Bakšys"
 
 [baksys.emails]
 
 [baksys.emails.baksys_email]
 user = [
   "mb2412",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [baksys.homepages]
 baksys_homepage = "https://github.com/MantasBaksys"
 
 [balbach]
 name = "Frank J. Balbach"
 
 [balbach.emails]
 
 [balbach.emails.balbach_email]
 user = [
   "frank-balbach",
 ]
 host = [
   "gmx",
   "de",
 ]
 
 [balbach.homepages]
 
 [ballarin]
 name = "Clemens Ballarin"
 
 [ballarin.emails]
 
 [ballarin.emails.ballarin_email]
 user = [
   "ballarin",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [ballarin.homepages]
 ballarin_homepage = "http://www21.in.tum.de/~ballarin/"
 
 [barsotti]
 name = "Damián Barsotti"
 
 [barsotti.emails]
 
 [barsotti.homepages]
 barsotti_homepage = "http://www.cs.famaf.unc.edu.ar/~damian/"
 
 [bauer]
 name = "Gertrud Bauer"
 
 [bauer.emails]
 
 [bauer.homepages]
 
 [bauereiss]
 name = "Thomas Bauereiss"
 
 [bauereiss.emails]
 
 [bauereiss.emails.bauereiss_email]
 user = [
   "thomas",
 ]
 host = [
   "bauereiss",
   "name",
 ]
 
 [bauereiss.homepages]
 
 [bayer]
 name = "Jonas Bayer"
 
 [bayer.emails]
 
 [bayer.emails.bayer_email]
 user = [
   "jonas",
   "bayer999",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [bayer.homepages]
 
 [becker]
 name = "Heiko Becker"
 
 [becker.emails]
 
 [becker.emails.becker_email]
 user = [
   "hbecker",
 ]
 host = [
   "mpi-sws",
   "org",
 ]
 
 [becker.homepages]
 
 [beeren]
 name = "Joel Beeren"
 
 [beeren.emails]
 
 [beeren.homepages]
 
 [bella]
 name = "Giampaolo Bella"
 
 [bella.emails]
 
 [bella.emails.bella_email]
 user = [
   "giamp",
 ]
 host = [
   "dmi",
   "unict",
   "it",
 ]
 
 [bella.homepages]
 bella_homepage = "http://www.dmi.unict.it/~giamp/"
 
 [bengtson]
 name = "Jesper Bengtson"
 
 [bengtson.emails]
 
 [bengtson.homepages]
 bengtson_homepage = "http://www.itu.dk/people/jebe"
 
 [bentkamp]
 name = "Alexander Bentkamp"
 
 [bentkamp.emails]
 
 [bentkamp.emails.bentkamp_email]
 user = [
   "bentkamp",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [bentkamp.emails.bentkamp_email1]
 user = [
   "a",
   "bentkamp",
 ]
 host = [
   "vu",
   "nl",
 ]
 
 [bentkamp.homepages]
 bentkamp_homepage = "https://www.cs.vu.nl/~abp290/"
 
 [benzmueller]
 name = "Christoph Benzmüller"
 
 [benzmueller.emails]
 
 [benzmueller.emails.benzmueller_email]
 user = [
   "c",
   "benzmueller",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [benzmueller.emails.benzmueller_email1]
 user = [
   "c",
   "benzmueller",
 ]
 host = [
   "fu-berlin",
   "de",
 ]
 
 [benzmueller.homepages]
 benzmueller_homepage = "http://christoph-benzmueller.de"
 benzmueller_homepage1 = "http://page.mi.fu-berlin.de/cbenzmueller/"
 
 [beresford]
 name = "Alastair R. Beresford"
 
 [beresford.emails]
 
 [beresford.emails.beresford_email]
 user = [
   "arb33",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [beresford.homepages]
 
 [berghofer]
 name = "Stefan Berghofer"
 
 [berghofer.emails]
 
 [berghofer.emails.berghofer_email]
 user = [
   "berghofe",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [berghofer.homepages]
 berghofer_homepage = "http://www.in.tum.de/~berghofe"
 
 [beringer]
 name = "Lennart Beringer"
 
 [beringer.emails]
 
 [beringer.emails.beringer_email]
 user = [
   "lennart",
   "beringer",
 ]
 host = [
   "ifi",
   "lmu",
   "de",
 ]
 
 [beringer.homepages]
 
 [bharadwaj]
 name = "Abhijith Bharadwaj"
 
 [bharadwaj.emails]
 
 [bharadwaj.homepages]
 
 [bhatt]
 name = "Bhargav Bhatt"
 
 [bhatt.emails]
 
 [bhatt.emails.bhatt_email]
 user = [
   "bhargav",
   "bhatt",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [bhatt.homepages]
 
 [biendarra]
 name = "Julian Biendarra"
 
 [biendarra.emails]
 
 [biendarra.homepages]
 
 [bisping]
 name = "Benjamin Bisping"
 
 [bisping.emails]
 
 [bisping.emails.bisping_email]
 user = [
   "benjamin",
   "bisping",
 ]
 host = [
   "campus",
   "tu-berlin",
   "de",
 ]
 
 [bisping.homepages]
 
 [blanchette]
 name = "Jasmin Christian Blanchette"
 
 [blanchette.emails]
 
 [blanchette.emails.blanchette_email]
 user = [
   "jasmin",
   "blanchette",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [blanchette.emails.blanchette_email1]
 user = [
   "j",
   "c",
   "blanchette",
 ]
 host = [
   "vu",
   "nl",
 ]
 
 [blanchette.homepages]
 blanchette_homepage = "http://www21.in.tum.de/~blanchet"
 blanchette_homepage1 = "https://www.cs.vu.nl/~jbe248/"
 
 [blasum]
 name = "Holger Blasum"
 
 [blasum.emails]
 
 [blasum.emails.blasum_email]
 user = [
   "holger",
   "blasum",
 ]
 host = [
   "sysgo",
   "com",
 ]
 
 [blasum.homepages]
 
 [blumson]
 name = "Ben Blumson"
 
 [blumson.emails]
 
 [blumson.emails.blumson_email]
 user = [
   "benblumson",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [blumson.homepages]
 blumson_homepage = "https://philpeople.org/profiles/ben-blumson"
 
 [bockenek]
 name = "Joshua Bockenek"
 
 [bockenek.emails]
 
 [bockenek.homepages]
 
 [boehme]
 name = "Sascha Böhme"
 
 [boehme.emails]
 
 [boehme.emails.boehme_email]
 user = [
   "boehmes",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [boehme.homepages]
 boehme_homepage = "http://www21.in.tum.de/~boehmes/"
 
 [bohrer]
 name = "Rose Bohrer"
 
 [bohrer.emails]
 
 [bohrer.emails.bohrer_email]
 user = [
   "rose",
   "bohrer",
   "cs",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [bohrer.homepages]
 
 [bordg]
 name = "Anthony Bordg"
 
 [bordg.emails]
 
 [bordg.emails.bordg_email]
 user = [
   "apdb3",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [bordg.homepages]
 bordg_homepage = "https://sites.google.com/site/anthonybordg/"
 
 [borgstroem]
 name = "Johannes Borgström"
 
 [borgstroem.emails]
 
 [borgstroem.emails.borgstroem_email]
 user = [
   "johannes",
   "borgstrom",
 ]
 host = [
   "it",
   "uu",
   "se",
 ]
 
 [borgstroem.homepages]
 
 [bortin]
 name = "Maksym Bortin"
 
 [bortin.emails]
 
 [bortin.emails.bortin_email]
 user = [
   "maksym",
   "bortin",
 ]
 host = [
   "nicta",
   "com",
   "au",
 ]
 
 [bortin.emails.bortin_email1]
 user = [
   "mbortin",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [bortin.homepages]
 
 [bottesch]
 name = "Ralph Bottesch"
 
 [bottesch.emails]
 
 [bottesch.emails.bottesch_email]
 user = [
   "ralph",
   "bottesch",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [bottesch.homepages]
 bottesch_homepage = "http://cl-informatik.uibk.ac.at/users/bottesch/"
 
 [boulanger]
 name = "Frédéric Boulanger"
 
 [boulanger.emails]
 
 [boulanger.emails.boulanger_email]
 user = [
   "frederic",
   "boulanger",
 ]
 host = [
   "centralesupelec",
   "fr",
 ]
 
 [boulanger.homepages]
 
 [bourke]
 name = "Timothy Bourke"
 
 [bourke.emails]
 
 [bourke.emails.bourke_email]
 user = [
   "tim",
 ]
 host = [
   "tbrk",
   "org",
 ]
 
 [bourke.homepages]
 bourke_homepage = "http://www.tbrk.org"
 
 [boutry]
 name = "Pierre Boutry"
 
 [boutry.emails]
 
 [boutry.emails.boutry_email]
 user = [
   "boutry",
 ]
 host = [
   "unistra",
   "fr",
 ]
 
 [boutry.homepages]
 
 [boyton]
 name = "Andrew Boyton"
 
 [boyton.emails]
 
 [boyton.emails.boyton_email]
 user = [
   "andrew",
   "boyton",
 ]
 host = [
   "nicta",
   "com",
   "au",
 ]
 
 [boyton.homepages]
 
 [bracevac]
 name = "Oliver Bračevac"
 
 [bracevac.emails]
 
 [bracevac.emails.bracevac_email]
 user = [
   "bracevac",
 ]
 host = [
   "st",
   "informatik",
   "tu-darmstadt",
   "de",
 ]
 
 [bracevac.homepages]
 
 [brandt]
 name = "Felix Brandt"
 
 [brandt.emails]
 
 [brandt.homepages]
 brandt_homepage = "http://dss.in.tum.de/staff/brandt.html"
 
 [breitner]
 name = "Joachim Breitner"
 
 [breitner.emails]
 
 [breitner.emails.breitner_email]
 user = [
   "mail",
 ]
 host = [
   "joachim-breitner",
   "de",
 ]
 
 [breitner.emails.breitner_email1]
 user = [
   "joachim",
 ]
 host = [
   "cis",
   "upenn",
   "edu",
 ]
 
 [breitner.homepages]
 breitner_homepage = "http://pp.ipd.kit.edu/~breitner"
 
 [brien]
 name = "Nicolas Robinson-O'Brien"
 
 [brien.emails]
 
 [brien.homepages]
 
 [brinkop]
 name = "Hauke Brinkop"
 
 [brinkop.emails]
 
 [brinkop.emails.brinkop_email]
 user = [
   "hauke",
   "brinkop",
 ]
 host = [
   "googlemail",
   "com",
 ]
 
 [brinkop.homepages]
 
 [brodmann]
 name = "Paul-David Brodmann"
 
 [brodmann.emails]
 
 [brodmann.emails.brodmann_email]
 user = [
   "p",
   "brodmann",
 ]
 host = [
   "tu-berlin",
   "de",
 ]
 
 [brodmann.homepages]
 
 [brucker]
 name = "Achim D. Brucker"
 
 [brucker.emails]
 
 [brucker.emails.brucker_email]
 user = [
   "a",
   "brucker",
 ]
 host = [
   "exeter",
   "ac",
   "uk",
 ]
 
-[brucker.emails.brucker_email1]
-user = [
-  "brucker",
-]
-host = [
-  "spamfence",
-  "net",
-]
-
 [brucker.emails.brucker_email2]
 user = [
   "adbrucker",
 ]
 host = [
   "0x5f",
   "org",
 ]
 
 [brucker.homepages]
 brucker_homepage = "https://www.brucker.ch/"
 
 [bruegger]
 name = "Lukas Brügger"
 
 [bruegger.emails]
 
 [bruegger.emails.bruegger_email]
 user = [
   "lukas",
   "a",
   "bruegger",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [bruegger.homepages]
 
 [brun]
 name = "Matthias Brun"
 
 [brun.emails]
 
 [brun.emails.brun_email]
 user = [
   "matthias",
   "brun",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [brun.homepages]
 
 [brunner]
 name = "Julian Brunner"
 
 [brunner.emails]
 
 [brunner.emails.brunner_email]
 user = [
   "brunnerj",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [brunner.homepages]
 brunner_homepage = "http://www21.in.tum.de/~brunnerj/"
 
 [bulwahn]
 name = "Lukas Bulwahn"
 
 [bulwahn.emails]
 
 [bulwahn.emails.bulwahn_email]
 user = [
   "lukas",
   "bulwahn",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [bulwahn.homepages]
 
 [butler]
 name = "David Butler"
 
 [butler.emails]
 
 [butler.emails.butler_email]
 user = [
   "dbutler",
 ]
 host = [
   "turing",
   "ac",
   "uk",
 ]
 
 [butler.homepages]
 butler_homepage = "https://www.turing.ac.uk/people/doctoral-students/david-butler"
 
 [buyse]
 name = "Maxime Buyse"
 
 [buyse.emails]
 
 [buyse.emails.buyse_email]
 user = [
   "maxime",
   "buyse",
 ]
 host = [
   "polytechnique",
   "edu",
 ]
 
 [buyse.homepages]
 
 [caballero]
 name = "José Manuel Rodríguez Caballero"
 
 [caballero.emails]
 
 [caballero.emails.caballero_email]
 user = [
   "jose",
   "manuel",
   "rodriguez",
   "caballero",
 ]
 host = [
   "ut",
   "ee",
 ]
 
 [caballero.homepages]
 caballero_homepage = "https://josephcmac.github.io/"
 
 [calk]
 name = "Cameron Calk"
 
 [calk.emails]
 
 [calk.homepages]
 
 [caminati]
 name = "Marco B. Caminati"
 
 [caminati.emails]
 
 [caminati.homepages]
 
 [campo]
 name = "Alejandro del Campo"
 
 [campo.emails]
 
 [campo.emails.campo_email]
 user = [
   "alejandro",
   "del-campo",
 ]
 host = [
   "alum",
   "unirioja",
   "es",
 ]
 
 [campo.homepages]
 
 [chaieb]
 name = "Amine Chaieb"
 
 [chaieb.emails]
 
 [chaieb.homepages]
 
 [chapman]
 name = "Peter Chapman"
 
 [chapman.emails]
 
 [chapman.emails.chapman_email]
 user = [
   "pc",
 ]
 host = [
   "cs",
   "st-andrews",
   "ac",
   "uk",
 ]
 
 [chapman.homepages]
 
 [chen]
 name = "L. Chen"
 
 [chen.emails]
 
 [chen.homepages]
 
 [chevalier]
 name = "Loïc Chevalier"
 
 [chevalier.emails]
 
 [chevalier.homepages]
 
 [christfort]
 name = "Axel Christfort"
 
 [christfort.emails]
 
 [christfort.emails.christfort_email]
 user = [
   "axel",
 ]
 host = [
   "di",
   "ku",
   "dk",
 ]
 
 [christfort.homepages]
 
 [clouston]
 name = "Ranald Clouston"
 
 [clouston.emails]
 
 [clouston.emails.clouston_email]
 user = [
   "ranald",
   "clouston",
 ]
 host = [
   "cs",
   "au",
   "dk",
 ]
 
 [clouston.homepages]
 
 [cock]
 name = "David Cock"
 
 [cock.emails]
 
 [cock.emails.cock_email]
 user = [
   "david",
   "cock",
 ]
 host = [
   "nicta",
   "com",
   "au",
 ]
 
 [cock.homepages]
 
 [coghetto]
 name = "Roland Coghetto"
 
 [coghetto.emails]
 
 [coghetto.emails.coghetto_email]
 user = [
   "roland_coghetto",
 ]
 host = [
   "hotmail",
   "com",
 ]
 
 [coghetto.homepages]
 
 [coglio]
 name = "Alessandro Coglio"
 
 [coglio.emails]
 
 [coglio.emails.coglio_email]
 user = [
   "coglio",
 ]
 host = [
   "kestrel",
   "edu",
 ]
 
 [coglio.homepages]
 coglio_homepage = "http://www.kestrel.edu/~coglio"
 
 [cohen]
 name = "Ernie Cohen"
 
 [cohen.emails]
 
 [cohen.emails.cohen_email]
 user = [
   "ecohen",
 ]
 host = [
   "amazon",
   "com",
 ]
 
 [cohen.homepages]
 
 [cordwell]
 name = "Katherine Kosaian"
 
 [cordwell.emails]
 
 [cordwell.emails.cordwell_email]
 user = [
   "kcordwel",
 ]
 host = [
   "cs",
   "cmu",
   "edu",
 ]
 
 [cordwell.homepages]
 cordwell_homepage = "https://www.cs.cmu.edu/~kcordwel/"
 
 [cousin]
 name = "Marie Cousin"
 
 [cousin.emails]
 
 [cousin.emails.cousin_email]
 user = [
   "marie",
   "cousin",
 ]
 host = [
   "grenoble-inp",
   "org",
 ]
 
 [cousin.homepages]
 
 [cremer]
 name = "Nils Cremer"
 
 [cremer.emails]
 
 [cremer.emails.cremer_email]
 user = [
   "nils",
   "cremer",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [cremer.homepages]
 
 [crighton]
 name = "Aaron Crighton"
 
 [crighton.emails]
 
 [crighton.emails.crighton_email]
 user = [
   "crightoa",
 ]
 host = [
   "mcmaster",
   "ca",
 ]
 
 [crighton.homepages]
 
 [dalvit]
 name = "Christian Dalvit"
 
 [dalvit.emails]
 
 [dalvit.emails.dalvit_email]
 user = [
   "chris",
   "dalvit",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [dalvit.homepages]
 
 [danilkin]
 name = "Anton Danilkin"
 
 [danilkin.emails]
 
 [danilkin.emails.danilkin_email]
 user = [
   "anton",
   "danilkin",
 ]
 host = [
   "ens",
   "psl",
   "eu",
 ]
 
 [danilkin.homepages]
 
 [dardinier]
 name = "Thibault Dardinier"
 
 [dardinier.emails]
 
 [dardinier.emails.dardinier_email]
 user = [
   "thibault",
   "dardinier",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [dardinier.homepages]
 dardinier_homepage = "https://dardinier.me/"
 
 [david]
 name = "Marco David"
 
 [david.emails]
 
 [david.emails.david_email]
 user = [
   "marco",
   "david",
 ]
 host = [
   "hotmail",
   "de",
 ]
 
 [david.homepages]
 
 [debois]
 name = "Søren Debois"
 
 [debois.emails]
 
 [debois.homepages]
 
 [debrat]
 name = "Henri Debrat"
 
 [debrat.emails]
 
 [debrat.emails.debrat_email]
 user = [
   "henri",
   "debrat",
 ]
 host = [
   "loria",
   "fr",
 ]
 
 [debrat.homepages]
 
 [decova]
 name = "Sára Decova"
 
 [decova.emails]
 
 [decova.homepages]
 
 [delemazure]
 name = "Théo Delemazure"
 
 [delemazure.emails]
 
 [delemazure.homepages]
 delemazure_homepage = "https://theo.delemazure.fr/"
 
 [demeulemeester]
 name = "Tom Demeulemeester"
 
 [demeulemeester.emails]
 
 [demeulemeester.homepages]
 demeulemeester_homepage = "https://www.kuleuven.be/wieiswie/en/person/00131528"
 
 [derrick]
 name = "John Derrick"
 
 [derrick.emails]
 
 [derrick.emails.derrick_email]
 user = [
   "j",
   "derrick",
 ]
 host = [
   "sheffield",
   "ac",
   "uk",
 ]
 
 [derrick.homepages]
 
 [desharnais]
 name = "Martin Desharnais"
 
 [desharnais.emails]
 
 [desharnais.emails.desharnais_email]
 user = [
   "martin",
   "desharnais",
 ]
 host = [
   "unibw",
   "de",
 ]
 
 [desharnais.emails.desharnais_email1]
 user = [
   "desharnais",
 ]
 host = [
   "mpi-inf",
   "mpg",
   "de",
 ]
 
 [desharnais.homepages]
 desharnais_homepage = "https://martin.desharnais.me"
 
 [diaz]
 name = "Javier Díaz"
 
 [diaz.emails]
 
 [diaz.emails.diaz_email]
 user = [
   "javier",
   "diaz",
   "manzi",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [diaz.homepages]
 
 [diekmann]
 name = "Cornelius Diekmann"
 
 [diekmann.emails]
 
 [diekmann.emails.diekmann_email]
 user = [
   "diekmann",
 ]
 host = [
   "net",
   "in",
   "tum",
   "de",
 ]
 
 [diekmann.homepages]
 diekmann_homepage = "http://net.in.tum.de/~diekmann"
 
 [dirix]
 name = "Stefan Dirix"
 
 [dirix.emails]
 
 [dirix.homepages]
 
 [dittmann]
 name = "Christoph Dittmann"
 
 [dittmann.emails]
 
 [dittmann.emails.dittmann_email]
 user = [
   "isabelle",
 ]
 host = [
   "christoph-d",
   "de",
 ]
 
 [dittmann.homepages]
 dittmann_homepage = "http://logic.las.tu-berlin.de/Members/Dittmann/"
 
 [divason]
 name = "Jose Divasón"
 
 [divason.emails]
 
 [divason.emails.divason_email]
 user = [
   "jose",
   "divason",
 ]
 host = [
   "unirioja",
   "es",
 ]
 
 [divason.homepages]
 divason_homepage = "https://www.unirioja.es/cu/jodivaso/"
 
 [doczkal]
 name = "Christian Doczkal"
 
 [doczkal.emails]
 
 [doczkal.emails.doczkal_email]
 user = [
   "doczkal",
 ]
 host = [
   "ps",
   "uni-saarland",
   "de",
 ]
 
 [doczkal.homepages]
 
 [dongol]
 name = "Brijesh Dongol"
 
 [dongol.emails]
 
 [dongol.emails.dongol_email]
 user = [
   "brijesh",
   "dongol",
 ]
 host = [
   "brunel",
   "ac",
   "uk",
 ]
 
 [dongol.homepages]
 
 [doty]
 name = "Matthew Doty"
 
 [doty.emails]
 
 [doty.emails.doty_email]
 user = [
   "matt",
 ]
 host = [
   "w-d",
   "org",
 ]
 
 [doty.homepages]
 
 [dubut]
 name = "Jérémy Dubut"
 
 [dubut.emails]
 
 [dubut.emails.dubut_email]
 user = [
   "dubut",
 ]
 host = [
   "nii",
   "ac",
   "jp",
 ]
 
 [dubut.emails.dubut_email1]
 user = [
   "jeremy",
   "dubut",
 ]
 host = [
   "aist",
   "go",
   "jp",
 ]
 
 [dubut.homepages]
 dubut_homepage = "http://group-mmm.org/~dubut/"
 
 [dunaev]
 name = "Georgy Dunaev"
 
 [dunaev.emails]
 
 [dunaev.emails.dunaev_email]
 user = [
   "georgedunaev",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [dunaev.homepages]
 
 [dyckhoff]
 name = "Roy Dyckhoff"
 
 [dyckhoff.emails]
 
 [dyckhoff.homepages]
 dyckhoff_homepage = "https://rd.host.cs.st-andrews.ac.uk"
 
 [eberl]
 name = "Manuel Eberl"
 orcid = "0000-0002-4263-6571"
 
 [eberl.emails]
 
 [eberl.emails.eberl_email]
 user = [
   "manuel",
 ]
 host = [
   "pruvisto",
   "org",
 ]
 
 [eberl.emails.eberl_email1]
 user = [
   "manuel",
   "eberl",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [eberl.emails.eberl_email2]
 user = [
   "manuel",
   "eberl",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [eberl.homepages]
 eberl_homepage = "https://pruvisto.org/"
 eberl_homepage2 = "https://www.in.tum.de/~eberlm"
 
 [echenim]
 name = "Mnacho Echenim"
 
 [echenim.emails]
 
 [echenim.emails.echenim_email]
 user = [
   "mnacho",
   "echenim",
 ]
 host = [
   "univ-grenoble-alpes",
   "fr",
 ]
 
 [echenim.homepages]
 echenim_homepage = "https://lig-membres.imag.fr/mechenim/"
 
 [edmonds]
 name = "Chelsea Edmonds"
 
 [edmonds.emails]
 
 [edmonds.emails.edmonds_email]
 user = [
   "cle47",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [edmonds.homepages]
 edmonds_homepage = "https://www.cst.cam.ac.uk/people/cle47"
 
 [engelhardt]
 name = "Kai Engelhardt"
 
 [engelhardt.emails]
 
 [engelhardt.homepages]
 
 [eriksson]
 name = "Lars-Henrik Eriksson"
 
 [eriksson.emails]
 
 [eriksson.emails.eriksson_email]
 user = [
   "lhe",
 ]
 host = [
   "it",
   "uu",
   "se",
 ]
 
 [eriksson.homepages]
 
 [esparza]
 name = "Javier Esparza"
 
 [esparza.emails]
 
 [esparza.homepages]
 esparza_homepage = "https://www7.in.tum.de/~esparza/"
 
 [essmann]
 name = "Robin Eßmann"
 
 [essmann.emails]
 
 [essmann.emails.essmann_email]
 user = [
   "robin",
   "essmann",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [essmann.homepages]
 
 [felgenhauer]
 name = "Bertram Felgenhauer"
 
 [felgenhauer.emails]
 
 [felgenhauer.emails.felgenhauer_email]
 user = [
   "bertram",
   "felgenhauer",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [felgenhauer.emails.felgenhauer_email1]
 user = [
   "int-e",
 ]
 host = [
   "gmx",
   "de",
 ]
 
 [felgenhauer.homepages]
 
 [feliachi]
 name = "Abderrahmane Feliachi"
 
 [feliachi.emails]
 
 [feliachi.emails.feliachi_email]
 user = [
   "abderrahmane",
   "feliachi",
 ]
 host = [
   "lri",
   "fr",
 ]
 
 [feliachi.homepages]
 
 [fell]
 name = "Julian Fell"
 
 [fell.emails]
 
 [fell.emails.fell_email]
 user = [
   "julian",
   "fell",
 ]
 host = [
   "uq",
   "net",
   "au",
 ]
 
 [fell.homepages]
 
 [fernandez]
 name = "Matthew Fernandez"
 
 [fernandez.emails]
 
 [fernandez.homepages]
 
 [fiedler]
 name = "Ben Fiedler"
 
 [fiedler.emails]
 
 [fiedler.emails.fiedler_email]
 user = [
   "ben",
   "fiedler",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [fiedler.homepages]
 
 [fleuriot]
 name = "Jacques D. Fleuriot"
 
 [fleuriot.emails]
 
 [fleuriot.emails.fleuriot_email]
 user = [
   "Jacques",
   "Fleuriot",
 ]
 host = [
   "ed",
   "ac",
   "uk",
 ]
 
 [fleuriot.emails.fleuriot_email1]
 user = [
   "jdf",
 ]
 host = [
   "ed",
   "ac",
   "uk",
 ]
 
 [fleuriot.homepages]
 fleuriot_homepage = "https://www.inf.ed.ac.uk/people/staff/Jacques_Fleuriot.html"
 
 [fleury]
 name = "Mathias Fleury"
 
 [fleury.emails]
 
 [fleury.emails.fleury_email]
 user = [
   "fleury",
 ]
 host = [
   "mpi-inf",
   "mpg",
   "de",
 ]
 
 [fleury.emails.fleury_email1]
 user = [
   "mathias",
   "fleury",
 ]
 host = [
   "jku",
   "at",
 ]
 
 [fleury.homepages]
 fleury_homepage = "http://fmv.jku.at/fleury"
 
 [foster]
 name = "Michael Foster"
 
 [foster.emails]
 
 [foster.emails.foster_email]
 user = [
   "m",
   "foster",
 ]
 host = [
   "sheffield",
   "ac",
   "uk",
 ]
 
 [foster.homepages]
 
 [fosterj]
 name = "J. Nathan Foster"
 
 [fosterj.emails]
 
 [fosterj.homepages]
 fosterj_homepage = "http://www.cs.cornell.edu/~jnfoster/"
 
 [fosters]
 name = "Simon Foster"
 
 [fosters.emails]
 
 [fosters.emails.fosters_email]
 user = [
   "simon",
   "foster",
 ]
 host = [
   "york",
   "ac",
   "uk",
 ]
 
 [fosters.homepages]
 fosters_homepage = "https://www-users.cs.york.ac.uk/~simonf/"
 
 [fouillard]
 name = "Valentin Fouillard"
 
 [fouillard.emails]
 
 [fouillard.emails.fouillard_email]
 user = [
   "valentin",
   "fouillard",
 ]
 host = [
   "limsi",
   "fr",
 ]
 
 [fouillard.homepages]
 
 [friedrich]
 name = "Stefan Friedrich"
 
 [friedrich.emails]
 
 [friedrich.homepages]
 
 [from]
 name = "Asta Halkjær From"
 
 [from.emails]
 
 [from.emails.from_email]
 user = [
   "ahfrom",
 ]
 host = [
   "dtu",
   "dk",
 ]
 
 [from.homepages]
 from_homepage = "https://people.compute.dtu.dk/ahfrom/"
 
 [fuenmayor]
 name = "David Fuenmayor"
 
 [fuenmayor.emails]
 
 [fuenmayor.emails.fuenmayor_email]
 user = [
   "davfuenmayor",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [fuenmayor.homepages]
 
 [furusawa]
 name = "Hitoshi Furusawa"
 
 [furusawa.emails]
 
 [furusawa.homepages]
 furusawa_homepage = "http://www.sci.kagoshima-u.ac.jp/~furusawa/"
 
 [gammie]
 name = "Peter Gammie"
 
 [gammie.emails]
 
 [gammie.emails.gammie_email]
 user = [
   "peteg42",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [gammie.homepages]
 gammie_homepage = "http://peteg.org"
 
 [gao]
 name = "Xin Gao"
 
 [gao.emails]
 
 [gao.homepages]
 
 [gaudel]
 name = "Marie-Claude Gaudel"
 
 [gaudel.emails]
 
 [gaudel.emails.gaudel_email]
 user = [
   "mcg",
 ]
 host = [
   "lri",
   "fr",
 ]
 
 [gaudel.homepages]
 
 [gay]
 name = "Richard Gay"
 
 [gay.emails]
 
 [gay.emails.gay_email]
 user = [
   "gay",
 ]
 host = [
   "mais",
   "informatik",
   "tu-darmstadt",
   "de",
 ]
 
 [gay.homepages]
 
 [georgescu]
 name = "George Georgescu"
 
 [georgescu.emails]
 
 [georgescu.homepages]
 
 [gheri]
 name = "Lorenzo Gheri"
 
 [gheri.emails]
 
 [gheri.emails.gheri_email]
 user = [
   "lor",
   "gheri",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [gheri.homepages]
 
 [ghourabi]
 name = "Fadoua Ghourabi"
 
 [ghourabi.emails]
 
 [ghourabi.emails.ghourabi_email]
 user = [
   "fadouaghourabi",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [ghourabi.homepages]
 
 [gioiosa]
 name = "Gianpaolo Gioiosa"
 
 [gioiosa.emails]
 
 [gioiosa.homepages]
 
 [glabbeek]
 name = "Rob van Glabbeek"
 
 [glabbeek.emails]
 
 [glabbeek.homepages]
 glabbeek_homepage = "http://theory.stanford.edu/~rvg/"
 
 [gomes]
 name = "Victor B. F. Gomes"
 
 [gomes.emails]
 
 [gomes.emails.gomes_email]
 user = [
   "victor",
   "gomes",
 ]
 host = [
   "cl",
   "cam",
   "ac",
   "uk",
 ]
 
 [gomes.emails.gomes_email2]
 user = [
   "victorborgesfg",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [gomes.emails.gomes_email4]
 user = [
   "vborgesferreiragomes1",
 ]
 host = [
   "sheffield",
   "ac",
   "uk",
 ]
 
 [gomes.homepages]
 gomes_homepage = "http://www.dcs.shef.ac.uk/~victor"
 
 [gonzalez]
 name = "Edgar Gonzàlez"
 orcid = "0000-0002-9169-0769"
 
 [gonzalez.emails]
 
 [gonzalez.emails.gonzalez_email]
 user = [
   "edgargip",
 ]
 host = [
   "google",
   "com",
 ]
 
 [gonzalez.homepages]
 
 [gore]
 name = "Rajeev Gore"
 
 [gore.emails]
 
 [gore.emails.gore_email]
 user = [
   "rajeev",
   "gore",
 ]
 host = [
   "anu",
   "edu",
   "au",
 ]
 
 [gore.homepages]
 
 [gouezel]
 name = "Sebastien Gouezel"
 
 [gouezel.emails]
 
 [gouezel.emails.gouezel_email]
 user = [
   "sebastien",
   "gouezel",
 ]
 host = [
   "univ-rennes1",
   "fr",
 ]
 
 [gouezel.homepages]
 gouezel_homepage = "http://www.math.sciences.univ-nantes.fr/~gouezel/"
 
 [grechuk]
 name = "Bogdan Grechuk"
 
 [grechuk.emails]
 
 [grechuk.emails.grechuk_email]
 user = [
   "grechukbogdan",
 ]
 host = [
   "yandex",
   "ru",
 ]
 
 [grechuk.homepages]
 
 [grewe]
 name = "Sylvia Grewe"
 
 [grewe.emails]
 
 [grewe.emails.grewe_email]
 user = [
   "grewe",
 ]
 host = [
   "cs",
   "tu-darmstadt",
   "de",
 ]
 
 [grewe.homepages]
 
 [griebel]
 name = "Simon Griebel"
 
 [griebel.emails]
 
 [griebel.emails.griebel_email]
 user = [
   "s",
   "griebel",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [griebel.homepages]
 
 [grov]
 name = "Gudmund Grov"
 
 [grov.emails]
 
 [grov.emails.grov_email]
 user = [
   "ggrov",
 ]
 host = [
   "inf",
   "ed",
   "ac",
   "uk",
 ]
 
 [grov.homepages]
 grov_homepage = "http://homepages.inf.ed.ac.uk/ggrov"
 
 [guerraoui]
 name = "Rachid Guerraoui"
 
 [guerraoui.emails]
 
 [guerraoui.emails.guerraoui_email]
 user = [
   "rachid",
   "guerraoui",
 ]
 host = [
   "epfl",
   "ch",
 ]
 
 [guerraoui.homepages]
 
 [guiol]
 name = "Hervé Guiol"
 
 [guiol.emails]
 
 [guiol.emails.guiol_email]
 user = [
   "herve",
   "guiol",
 ]
 host = [
   "univ-grenoble-alpes",
   "fr",
 ]
 
 [guiol.homepages]
 
 [gunther]
 name = "Emmanuel Gunther"
 
 [gunther.emails]
 
 [gunther.emails.gunther_email]
 user = [
   "gunther",
 ]
 host = [
   "famaf",
   "unc",
   "edu",
   "ar",
 ]
 
 [gunther.homepages]
 
 [gutkovas]
 name = "Ramunas Gutkovas"
 
 [gutkovas.emails]
 
 [gutkovas.emails.gutkovas_email]
 user = [
   "ramunas",
   "gutkovas",
 ]
 host = [
   "it",
   "uu",
   "se",
 ]
 
 [gutkovas.homepages]
 
 [guttmann]
 name = "Walter Guttmann"
 
 [guttmann.emails]
 
 [guttmann.emails.guttmann_email]
 user = [
   "walter",
   "guttmann",
 ]
 host = [
   "canterbury",
   "ac",
   "nz",
 ]
 
 [guttmann.homepages]
 guttmann_homepage = "https://www.cosc.canterbury.ac.nz/walter.guttmann/"
 
 [guzman]
 name = "Laura P. Gamboa Guzman"
 
 [guzman.emails]
 
 [guzman.emails.guzman_email]
 user = [
   "lpgamboa",
 ]
 host = [
   "iastate",
   "edu",
 ]
 
 [guzman.homepages]
 guzman_homepage = "https://sites.google.com/view/lpgamboa/home"
 
 [haftmann]
 name = "Florian Haftmann"
 
 [haftmann.emails]
 
 [haftmann.emails.haftmann_email]
 user = [
   "florian",
   "haftmann",
 ]
 host = [
   "informatik",
   "tu-muenchen",
   "de",
 ]
 
 [haftmann.homepages]
 haftmann_homepage = "http://isabelle.in.tum.de/~haftmann"
 
 [haslbeck]
 name = "Max W. Haslbeck"
 
 [haslbeck.emails]
 
 [haslbeck.emails.haslbeck_email]
 user = [
   "maximilian",
   "haslbeck",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [haslbeck.emails.haslbeck_email1]
 user = [
   "haslbecm",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [haslbeck.emails.haslbeck_email2]
 user = [
   "max",
   "haslbeck",
 ]
 host = [
   "gmx",
   "de",
 ]
 
 [haslbeck.homepages]
 haslbeck_homepage = "http://cl-informatik.uibk.ac.at/users/mhaslbeck/"
 
 [haslbeckm]
 name = "Maximilian P. L. Haslbeck"
 
 [haslbeckm.emails]
 
 [haslbeckm.emails.haslbeckm_email]
 user = [
   "haslbema",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [haslbeckm.homepages]
 haslbeckm_homepage = "http://in.tum.de/~haslbema/"
 
 [havle]
 name = "Oto Havle"
 
 [havle.emails]
 
 [havle.emails.havle_email]
 user = [
   "oha",
 ]
 host = [
   "sysgo",
   "com",
 ]
 
 [havle.homepages]
 
 [hayes]
 name = "Ian J. Hayes"
 
 [hayes.emails]
 
 [hayes.emails.hayes_email]
 user = [
   "ian",
   "hayes",
 ]
 host = [
   "itee",
   "uq",
   "edu",
   "au",
 ]
 
 [hayes.homepages]
 
 [he]
 name = "Yijun He"
 
 [he.emails]
 
 [he.emails.he_email]
 user = [
   "yh403",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [he.homepages]
 
 [heimes]
 name = "Lukas Heimes"
 
 [heimes.emails]
 
 [heimes.emails.heimes_email]
 user = [
   "heimesl",
 ]
 host = [
   "student",
   "ethz",
   "ch",
 ]
 
 [heimes.homepages]
 
 [helke]
 name = "Steffen Helke"
 
 [helke.emails]
 
 [helke.emails.helke_email]
 user = [
   "helke",
 ]
 host = [
   "cs",
   "tu-berlin",
   "de",
 ]
 
 [helke.homepages]
 
 [hellauer]
 name = "Fabian Hellauer"
 
 [hellauer.emails]
 
 [hellauer.emails.hellauer_email]
 user = [
   "hellauer",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [hellauer.homepages]
 
 [heller]
 name = "Armin Heller"
 
 [heller.emails]
 
 [heller.homepages]
 
 [henrio]
 name = "Ludovic Henrio"
 
 [henrio.emails]
 
 [henrio.emails.henrio_email]
 user = [
   "Ludovic",
   "Henrio",
 ]
 host = [
   "sophia",
   "inria",
   "fr",
 ]
 
 [henrio.homepages]
 
 [herzberg]
 name = "Michael Herzberg"
 
 [herzberg.emails]
 
 [herzberg.emails.herzberg_email]
 user = [
   "mail",
 ]
 host = [
   "michael-herzberg",
   "de",
 ]
 
 [herzberg.homepages]
 herzberg_homepage = "http://www.dcs.shef.ac.uk/cgi-bin/makeperson?M.Herzberg"
 
 [hess]
 name = "Andreas V. Hess"
 
 [hess.emails]
 
 [hess.emails.hess_email]
 user = [
   "avhe",
 ]
 host = [
   "dtu",
   "dk",
 ]
 
 [hess.emails.hess_email1]
 user = [
   "andreasvhess",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [hess.homepages]
 
 [hetzl]
 name = "Stefan Hetzl"
 
 [hetzl.emails]
 
 [hetzl.emails.hetzl_email]
 user = [
   "hetzl",
 ]
 host = [
   "logic",
   "at",
 ]
 
 [hetzl.homepages]
 hetzl_homepage = "http://www.logic.at/people/hetzl/"
 
 [hibon]
 name = "Quentin Hibon"
 
 [hibon.emails]
 
 [hibon.emails.hibon_email]
 user = [
   "qh225",
 ]
 host = [
   "cl",
   "cam",
   "ac",
   "uk",
 ]
 
 [hibon.homepages]
 
 [higgins]
 name = "Edward Higgins"
 
 [higgins.emails]
 
 [higgins.homepages]
 
 [hirata]
 name = "Michikazu Hirata"
 
 [hirata.emails]
 
 [hirata.emails.hirata_email]
 user = [
   "hirata",
   "m",
   "ac",
 ]
 host = [
   "m",
   "titech",
   "ac",
   "jp",
 ]
 
 [hirata.homepages]
 
 [hoefner]
 name = "Peter Höfner"
 
 [hoefner.emails]
 
 [hoefner.emails.hoefner_email]
 user = [
   "peter",
 ]
 host = [
   "hoefner-online",
   "de",
 ]
 
 [hoefner.homepages]
 hoefner_homepage = "http://www.hoefner-online.de/"
 
 [hoelzl]
 name = "Johannes Hölzl"
 
 [hoelzl.emails]
 
 [hoelzl.emails.hoelzl_email]
 user = [
   "hoelzl",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [hoelzl.homepages]
 hoelzl_homepage = "http://home.in.tum.de/~hoelzl"
 
 [hofmann]
 name = "Martin Hofmann"
 
 [hofmann.emails]
 
 [hofmann.homepages]
 hofmann_homepage = "http://www.tcs.informatik.uni-muenchen.de/~mhofmann"
 
 [hofmeier]
 name = "Paul Hofmeier"
 
 [hofmeier.emails]
 
 [hofmeier.emails.hofmeier_email]
 user = [
   "paul",
   "hofmeier",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [hofmeier.homepages]
 
 [holub]
 name = "Štěpán Holub"
 
 [holub.emails]
 
 [holub.emails.holub_email]
 user = [
   "holub",
 ]
 host = [
   "karlin",
   "mff",
   "cuni",
   "cz",
 ]
 
 [holub.homepages]
 holub_homepage = "https://www2.karlin.mff.cuni.cz/~holub/"
 
 [hosking]
 name = "Tony Hosking"
 
 [hosking.emails]
 
 [hosking.homepages]
 hosking_homepage = "https://www.cs.purdue.edu/homes/hosking/"
 
 [hou]
 name = "Zhe Hou"
 
 [hou.emails]
 
 [hou.emails.hou_email]
 user = [
   "zhe",
   "hou",
 ]
 host = [
   "ntu",
   "edu",
   "sg",
 ]
 
 [hou.homepages]
 
 [hu]
 name = "Shuwei Hu"
 
 [hu.emails]
 
 [hu.emails.hu_email]
 user = [
   "shuwei",
   "hu",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [hu.homepages]
 
 [huffman]
 name = "Brian Huffman"
 
 [huffman.emails]
 
 [huffman.emails.huffman_email]
 user = [
   "huffman",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [huffman.emails.huffman_email1]
 user = [
   "brianh",
 ]
 host = [
   "cs",
   "pdx",
   "edu",
 ]
 
 [huffman.homepages]
 huffman_homepage = "http://cs.pdx.edu/~brianh/"
 
 [hupel]
 name = "Lars Hupel"
 
 [hupel.emails]
 
 [hupel.emails.hupel_email]
 user = [
   "lars",
 ]
 host = [
   "hupel",
   "info",
 ]
 
 [hupel.homepages]
 hupel_homepage = "https://lars.hupel.info/"
 
 [ijbema]
 name = "Mark Ijbema"
 
 [ijbema.emails]
 
 [ijbema.emails.ijbema_email]
 user = [
   "ijbema",
 ]
 host = [
   "fmf",
   "nl",
 ]
 
 [ijbema.homepages]
 
 [immler]
 name = "Fabian Immler"
 
 [immler.emails]
 
 [immler.emails.immler_email]
 user = [
   "immler",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [immler.emails.immler_email1]
 user = [
   "fimmler",
 ]
 host = [
   "cs",
   "cmu",
   "edu",
 ]
 
 [immler.homepages]
 immler_homepage = "https://home.in.tum.de/~immler/"
 
 [israel]
 name = "Jonas Israel"
 
 [israel.emails]
 
 [israel.homepages]
 israel_homepage = "https://www.algo.tu-berlin.de/menue/people/jonas_israel/"
 
 [ito]
 name = "Yosuke Ito"
 
 [ito.emails]
 
 [ito.emails.ito_email]
 user = [
   "glacier345",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [ito.homepages]
 
 [iwama]
 name = "Fumiya Iwama"
 
 [iwama.emails]
 
 [iwama.emails.iwama_email]
 user = [
   "d1623001",
 ]
 host = [
   "s",
   "konan-u",
   "ac",
   "jp",
 ]
 
 [iwama.homepages]
 
 [jacobsen]
 name = "Frederik Krogsdal Jacobsen"
 
 [jacobsen.emails]
 
 [jacobsen.emails.jacobsen_email]
 user = [
   "fkjac",
 ]
 host = [
   "dtu",
   "dk",
 ]
 
 [jacobsen.homepages]
 jacobsen_homepage = "http://people.compute.dtu.dk/fkjac/"
 
 [jaskelioff]
 name = "Mauro Jaskelioff"
 
 [jaskelioff.emails]
 
 [jaskelioff.homepages]
 jaskelioff_homepage = "http://www.fceia.unr.edu.ar/~mauro/"
 
 [jaskolka]
 name = "Jason Jaskolka"
 
 [jaskolka.emails]
 
 [jaskolka.emails.jaskolka_email]
 user = [
   "jason",
   "jaskolka",
 ]
 host = [
   "carleton",
   "ca",
 ]
 
 [jaskolka.homepages]
 jaskolka_homepage = "https://carleton.ca/jaskolka/"
 
 [jensen]
 name = "Alexander Birch Jensen"
 
 [jensen.emails]
 
 [jensen.emails.jensen_email]
 user = [
   "aleje",
 ]
 host = [
   "dtu",
   "dk",
 ]
 
 [jensen.homepages]
 jensen_homepage = "https://people.compute.dtu.dk/aleje/"
 
 [jiang]
 name = "Nan Jiang"
 
 [jiang.emails]
 
 [jiang.emails.jiang_email]
 user = [
   "nanjiang",
 ]
 host = [
   "whu",
   "edu",
   "cn",
 ]
 
 [jiang.homepages]
 
 [jiangd]
 name = "Dongchen Jiang"
 
 [jiangd.emails]
 
 [jiangd.emails.jiangd_email]
 user = [
   "dongchenjiang",
 ]
 host = [
   "googlemail",
   "com",
 ]
 
 [jiangd.homepages]
 
 [joosten]
 name = "Sebastiaan J. C. Joosten"
 
 [joosten.emails]
 
 [joosten.emails.joosten_email]
 user = [
   "sebastiaan",
   "joosten",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [joosten.emails.joosten_email1]
 user = [
   "sjcjoosten",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [joosten.emails.joosten_email2]
 user = [
   "s",
   "j",
   "c",
   "joosten",
 ]
 host = [
   "utwente",
   "nl",
 ]
 
 [joosten.homepages]
 joosten_homepage = "https://sjcjoosten.nl/"
 
 [jungnickel]
 name = "Tim Jungnickel"
 
 [jungnickel.emails]
 
 [jungnickel.emails.jungnickel_email]
 user = [
   "tim",
   "jungnickel",
 ]
 host = [
   "tu-berlin",
   "de",
 ]
 
 [jungnickel.homepages]
 
 [kadzioka]
 name = "Maya Kądziołka"
 
 [kadzioka.emails]
 
 [kadzioka.emails.kadzioka_email]
 user = [
   "afp",
 ]
 host = [
   "compilercrim",
   "es",
 ]
 
 [kadzioka.homepages]
 
 [kaliszyk]
 name = "Cezary Kaliszyk"
 
 [kaliszyk.emails]
 
 [kaliszyk.emails.kaliszyk_email]
 user = [
   "cezary",
   "kaliszyk",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [kaliszyk.homepages]
 kaliszyk_homepage = "http://cl-informatik.uibk.ac.at/users/cek/"
 
 [kammueller]
 name = "Florian Kammüller"
 
 [kammueller.emails]
 
 [kammueller.emails.kammueller_email]
 user = [
   "flokam",
 ]
 host = [
   "cs",
   "tu-berlin",
   "de",
 ]
 
 [kammueller.emails.kammueller_email1]
 user = [
   "florian",
   "kammuller",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [kammueller.homepages]
 kammueller_homepage = "http://www.cs.mdx.ac.uk/people/florian-kammueller/"
 
 [kappelmann]
 name = "Kevin Kappelmann"
 
 [kappelmann.emails]
 
 [kappelmann.emails.kappelmann_email]
 user = [
   "kevin",
   "kappelmann",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [kappelmann.homepages]
 kappelmann_homepage = "https://www21.in.tum.de/team/kappelmk/"
 
 [karayel]
 name = "Emin Karayel"
 orcid = "0000-0003-3290-5034"
 
 [karayel.emails]
 
 [karayel.emails.karayel_email]
 user = [
   "me",
 ]
 host = [
   "eminkarayel",
   "de",
 ]
 
 [karayel.homepages]
 karayel_homepage = "https://orcid.org/0000-0003-3290-5034"
 
 [kastermans]
 name = "Bart Kastermans"
 
 [kastermans.emails]
 
 [kastermans.homepages]
 kastermans_homepage = "http://kasterma.net"
 
 [katovsky]
 name = "Alexander Katovsky"
 
 [katovsky.emails]
 
 [katovsky.emails.katovsky_email]
 user = [
   "apk32",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [katovsky.emails.katovsky_email1]
 user = [
   "alexander",
   "katovsky",
 ]
 host = [
   "cantab",
   "net",
 ]
 
 [katovsky.homepages]
 
 [kaufmann]
 name = "Daniela Kaufmann"
 
 [kaufmann.emails]
 
 [kaufmann.homepages]
 kaufmann_homepage = "http://fmv.jku.at/kaufmann"
 
 [keefe]
 name = "Greg O'Keefe"
 
 [keefe.emails]
 
 [keefe.homepages]
 keefe_homepage = "http://users.rsise.anu.edu.au/~okeefe/"
 
 [keinholz]
 name = "Jonas Keinholz"
 
 [keinholz.emails]
 
 [keinholz.homepages]
 
 [kerber]
 name = "Manfred Kerber"
 
 [kerber.emails]
 
 [kerber.emails.kerber_email]
 user = [
   "mnfrd",
   "krbr",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [kerber.homepages]
 kerber_homepage = "http://www.cs.bham.ac.uk/~mmk"
 
 [keskin]
 name = "Ata Keskin"
 orcid = "0000-0002-8296-1766"
 
 [keskin.emails]
 
 [keskin.emails.keskin_email]
 user = [
   "ata",
   "keskin",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [keskin.homepages]
 
 [ketland]
 name = "Jeffrey Ketland"
 
 [ketland.emails]
 
 [ketland.emails.ketland_email]
 user = [
   "jeffreyketland",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [ketland.homepages]
 
 [kim]
 name = "Sunpill Kim"
 orcid = "0000-0002-7767-4084"
 
 [kim.emails]
 
 [kim.homepages]
 
 [kirchner]
 name = "Daniel Kirchner"
 
 [kirchner.emails]
 
 [kirchner.emails.kirchner_email]
 user = [
   "daniel",
 ]
 host = [
   "ekpyron",
   "org",
 ]
 
 [kirchner.homepages]
 
 [klein]
 name = "Gerwin Klein"
 
 [klein.emails]
 
 [klein.emails.klein_email]
 user = [
   "kleing",
 ]
 host = [
   "unsw",
   "edu",
   "au",
 ]
 
 [klein.homepages]
 klein_homepage = "http://www.cse.unsw.edu.au/~kleing/"
 
 [klenze]
 name = "Tobias Klenze"
 
 [klenze.emails]
 
 [klenze.emails.klenze_email]
 user = [
   "tobias",
   "klenze",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [klenze.homepages]
 
 [kleppmann]
 name = "Martin Kleppmann"
 
 [kleppmann.emails]
 
 [kleppmann.emails.kleppmann_email]
 user = [
   "martin",
   "kleppmann",
 ]
 host = [
   "cl",
   "cam",
   "ac",
   "uk",
 ]
 
 [kleppmann.homepages]
 
 [kobayashi]
 name = "Hidetsune Kobayashi"
 
 [kobayashi.emails]
 
 [kobayashi.homepages]
 
 [koerner]
 name = "Stefan Körner"
 
 [koerner.emails]
 
 [koerner.emails.koerner_email]
 user = [
   "s_koer03",
 ]
 host = [
   "uni-muenster",
   "de",
 ]
 
 [koerner.homepages]
 
 [kolanski]
 name = "Rafal Kolanski"
 
 [kolanski.emails]
 
 [kolanski.emails.kolanski_email]
 user = [
   "rafal",
   "kolanski",
 ]
 host = [
   "nicta",
   "com",
   "au",
 ]
 
 [kolanski.homepages]
 
 [koller]
 name = "Lukas Koller"
 
 [koller.emails]
 
 [koller.emails.koller_email]
 user = [
   "lukas",
   "koller",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [koller.homepages]
 
 [krauss]
 name = "Alexander Krauss"
 
 [krauss.emails]
 
 [krauss.emails.krauss_email]
 user = [
   "krauss",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [krauss.homepages]
 krauss_homepage = "http://www.in.tum.de/~krauss"
 
 [kreuzer]
 name = "Katharina Kreuzer"
 
 [kreuzer.emails]
 
 [kreuzer.emails.kreuzer_email]
 user = [
   "kreuzerk",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [kreuzer.emails.kreuzer_email1]
 user = [
   "k",
   "kreuzer",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [kreuzer.homepages]
 kreuzer_homepage = "https://www21.in.tum.de/team/kreuzer/"
 
 [kuncak]
 name = "Viktor Kuncak"
 
 [kuncak.emails]
 
 [kuncak.homepages]
 kuncak_homepage = "http://lara.epfl.ch/~kuncak/"
 
 [kuncar]
 name = "Ondřej Kunčar"
 
 [kuncar.emails]
 
 [kuncar.homepages]
 kuncar_homepage = "http://www21.in.tum.de/~kuncar/"
 
 [kurz]
 name = "Friedrich Kurz"
 
 [kurz.emails]
 
 [kurz.emails.kurz_email]
 user = [
   "friedrich",
   "kurz",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [kurz.homepages]
 
 [lachnitt]
 name = "Hanna Lachnitt"
 
 [lachnitt.emails]
 
 [lachnitt.emails.lachnitt_email]
 user = [
   "lachnitt",
 ]
 host = [
   "stanford",
   "edu",
 ]
 
 [lachnitt.homepages]
 
 [lallemand]
 name = "Joseph Lallemand"
 
 [lallemand.emails]
 
 [lallemand.emails.lallemand_email]
 user = [
   "joseph",
   "lallemand",
 ]
 host = [
   "loria",
   "fr",
 ]
 
 [lallemand.homepages]
 
 [lammich]
 name = "Peter Lammich"
 
 [lammich.emails]
 
 [lammich.emails.lammich_email]
 user = [
   "lammich",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [lammich.emails.lammich_email1]
 user = [
   "peter",
   "lammich",
 ]
 host = [
   "uni-muenster",
   "de",
 ]
 
 [lammich.homepages]
 lammich_homepage = "http://www21.in.tum.de/~lammich"
 
 [lange]
 name = "Christoph Lange"
 
 [lange.emails]
 
 [lange.emails.lange_email]
 user = [
   "math",
   "semantic",
   "web",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [lange.homepages]
 
 [langenstein]
 name = "Bruno Langenstein"
 
 [langenstein.emails]
 
 [langenstein.emails.langenstein_email]
 user = [
   "langenstein",
 ]
 host = [
   "dfki",
   "de",
 ]
 
 [langenstein.homepages]
 
 [lattuada]
 name = "Andrea Lattuada"
 
 [lattuada.emails]
 
 [lattuada.homepages]
 lattuada_homepage = "https://andrea.lattuada.me"
 
 [lauermann]
 name = "Nils Lauermann"
 
 [lauermann.emails]
 
 [lauermann.emails.lauermann_email]
 user = [
   "Nils",
   "Lauermann",
 ]
 host = [
   "cl",
   "cam",
   "ac",
   "uk",
 ]
 
 [lauermann.homepages]
 
 [laursen]
 name = "Christian Pardillo-Laursen"
 
 [laursen.emails]
 
 [laursen.emails.laursen_email]
 user = [
   "christian",
   "laursen",
 ]
 host = [
   "york",
   "ac",
   "uk",
 ]
 
 [laursen.homepages]
 
 [lederer]
 name = "Patrick Lederer"
 
 [lederer.emails]
 
 [lederer.homepages]
 lederer_homepage = "https://www.cs.cit.tum.de/en/dss/members/patrick-lederer/"
 
 [lee]
 name = "Holden Lee"
 
 [lee.emails]
 
 [lee.emails.lee_email]
 user = [
   "holdenl",
 ]
 host = [
   "princeton",
   "edu",
 ]
 
 [lee.homepages]
 
 [leek]
 name = "Kevin Lee"
 
 [leek.emails]
 
 [leek.emails.leek_email]
 user = [
   "kfkl2",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [leek.homepages]
 
 [leustean]
 name = "Laurentiu Leustean"
 
 [leustean.emails]
 
 [leustean.homepages]
 
 [lewis]
 name = "Corey Lewis"
 
 [lewis.emails]
 
 [lewis.emails.lewis_email]
 user = [
   "corey",
   "lewis",
 ]
 host = [
   "data61",
   "csiro",
   "au",
 ]
 
 [lewis.homepages]
 
 [li]
 name = "Wenda Li"
 
 [li.emails]
 
 [li.emails.li_email]
 user = [
   "wl302",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [li.emails.li_email1]
 user = [
   "liwenda1990",
 ]
 host = [
   "hotmail",
   "com",
 ]
 
 [li.homepages]
 li_homepage = "https://www.cl.cam.ac.uk/~wl302/"
 
 [lim]
 name = "Japheth Lim"
 
 [lim.emails]
 
 [lim.homepages]
 
 [lindenberg]
 name = "Christina Lindenberg"
 
 [lindenberg.emails]
 
 [lindenberg.homepages]
 
 [linker]
 name = "Sven Linker"
 
 [linker.emails]
 
 [linker.emails.linker_email]
 user = [
   "s",
   "linker",
 ]
 host = [
   "liverpool",
   "ac",
   "uk",
 ]
 
 [linker.homepages]
 
 [liu]
 name = "Junyi Liu"
 
 [liu.emails]
 
 [liu.homepages]
 
 [liut]
 name = "Tao Liu"
 
 [liut.emails]
 
 [liut.homepages]
 
 [liuy]
 name = "Yang Liu"
 
 [liuy.emails]
 
 [liuy.emails.liuy_email]
 user = [
   "yangliu",
 ]
 host = [
   "ntu",
   "edu",
   "sg",
 ]
 
 [liuy.homepages]
 
 [liy]
 name = "Yangjia Li"
 
 [liy.emails]
 
 [liy.homepages]
 
 [lochbihler]
 name = "Andreas Lochbihler"
 
 [lochbihler.emails]
 
 [lochbihler.emails.lochbihler_email1]
 user = [
   "mail",
 ]
 host = [
   "andreas-lochbihler",
   "de",
 ]
 
 [lochbihler.homepages]
 lochbihler_homepage = "http://www.andreas-lochbihler.de/"
 
 [lochmann]
 name = "Alexander Lochmann"
 
 [lochmann.emails]
 
 [lochmann.emails.lochmann_email]
 user = [
   "alexander",
   "lochmann",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [lochmann.homepages]
 
 [lohner]
 name = "Denis Lohner"
 
 [lohner.emails]
 
 [lohner.emails.lohner_email]
 user = [
   "denis",
   "lohner",
 ]
 host = [
   "kit",
   "edu",
 ]
 
 [lohner.homepages]
 lohner_homepage = "http://pp.ipd.kit.edu/person.php?id=88"
 
 [loibl]
 name = "Matthias Loibl"
 
 [loibl.emails]
 
 [loibl.homepages]
 
 [londono]
 name = "Alejandro Gómez-Londoño"
 
 [londono.emails]
 
 [londono.emails.londono_email]
 user = [
   "alejandro",
   "gomez",
 ]
 host = [
   "chalmers",
   "se",
 ]
 
 [londono.homepages]
 
 [losa]
 name = "Giuliano Losa"
 
 [losa.emails]
 
 [losa.emails.losa_email]
 user = [
   "giuliano",
   "losa",
 ]
 host = [
   "epfl",
   "ch",
 ]
 
 [losa.emails.losa_email1]
 user = [
   "giuliano",
 ]
 host = [
   "galois",
   "com",
 ]
 
 [losa.emails.losa_email2]
 user = [
   "giuliano",
 ]
 host = [
   "losa",
   "fr",
 ]
 
 [losa.homepages]
 
 [lutz]
 name = "Bianca Lutz"
 
 [lutz.emails]
 
 [lutz.emails.lutz_email]
 user = [
   "sowilo",
 ]
 host = [
   "cs",
   "tu-berlin",
   "de",
 ]
 
 [lutz.homepages]
 
 [lux]
 name = "Alexander Lux"
 
 [lux.emails]
 
 [lux.emails.lux_email]
 user = [
   "lux",
 ]
 host = [
   "mais",
   "informatik",
   "tu-darmstadt",
   "de",
 ]
 
 [lux.homepages]
 
 [madarasz]
 name = "Judit Madarasz"
 
 [madarasz.emails]
 
 [madarasz.homepages]
 madarasz_homepage = "https://users.renyi.hu/~madarasz/"
 
 [makarios]
 name = "T. J. M. Makarios"
 
 [makarios.emails]
 
 [makarios.emails.makarios_email]
 user = [
   "tjm1983",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [makarios.homepages]
 
 [maletzky]
 name = "Alexander Maletzky"
 
 [maletzky.emails]
 
 [maletzky.emails.maletzky_email]
 user = [
   "alexander",
   "maletzky",
 ]
 host = [
   "risc",
   "jku",
   "at",
 ]
 
 [maletzky.emails.maletzky_email1]
 user = [
   "alexander",
   "maletzky",
 ]
 host = [
   "risc-software",
   "at",
 ]
 
 [maletzky.homepages]
 maletzky_homepage = "https://risc.jku.at/m/alexander-maletzky/"
 
 [mansky]
 name = "Susannah Mansky"
 
 [mansky.emails]
 
 [mansky.emails.mansky_email]
 user = [
   "sjohnsn2",
 ]
 host = [
   "illinois",
   "edu",
 ]
 
 [mansky.emails.mansky_email1]
 user = [
   "susannahej",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [mansky.homepages]
 
 [mantel]
 name = "Heiko Mantel"
 
 [mantel.emails]
 
 [mantel.emails.mantel_email]
 user = [
   "mantel",
 ]
 host = [
   "mais",
   "informatik",
   "tu-darmstadt",
   "de",
 ]
 
 [mantel.homepages]
 
 [margetson]
 name = "James Margetson"
 
 [margetson.emails]
 
 [margetson.homepages]
 
 [maric]
 name = "Ognjen Marić"
 
 [maric.emails]
 
 [maric.emails.maric_email]
 user = [
   "ogi",
   "afp",
 ]
 host = [
   "mynosefroze",
   "com",
 ]
 
 [maric.homepages]
 
 [maricf]
 name = "Filip Marić"
 
 [maricf.emails]
 
 [maricf.emails.maricf_email]
 user = [
   "filip",
 ]
 host = [
   "matf",
   "bg",
   "ac",
   "rs",
 ]
 
 [maricf.homepages]
 maricf_homepage = "http://www.matf.bg.ac.rs/~filip"
 
 [marmsoler]
 name = "Diego Marmsoler"
 
 [marmsoler.emails]
 
 [marmsoler.emails.marmsoler_email]
 user = [
   "diego",
   "marmsoler",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [marmsoler.emails.marmsoler_email1]
 user = [
   "d",
   "marmsoler",
 ]
 host = [
   "exeter",
   "ac",
   "uk",
 ]
 
 [marmsoler.homepages]
 marmsoler_homepage = "http://marmsoler.com"
 
 [matache]
 name = "Cristina Matache"
 
 [matache.emails]
 
 [matache.emails.matache_email]
 user = [
   "cris",
   "matache",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [matache.homepages]
 
 [mateo]
 name = "Adrián Doña Mateo"
 
 [mateo.emails]
 
 [mateo.emails.mateo_email]
 user = [
   "adrian",
   "dona",
 ]
 host = [
   "ed",
   "ac",
   "uk",
 ]
 
 [mateo.homepages]
 
 [matichuk]
 name = "Daniel Matichuk"
 
 [matichuk.emails]
 
 [matichuk.homepages]
 
 [matiyasevich]
 name = "Yuri Matiyasevich"
 
 [matiyasevich.emails]
 
 [matiyasevich.homepages]
 
 [maximova]
 name = "Alexandra Maximova"
 
 [maximova.emails]
 
 [maximova.emails.maximova_email]
 user = [
   "amaximov",
 ]
 host = [
   "student",
   "ethz",
   "ch",
 ]
 
 [maximova.homepages]
 
 [meis]
 name = "Rene Meis"
 
 [meis.emails]
 
 [meis.emails.meis_email]
 user = [
   "rene",
   "meis",
 ]
 host = [
   "uni-muenster",
   "de",
 ]
 
 [meis.emails.meis_email1]
 user = [
   "rene",
   "meis",
 ]
 host = [
   "uni-due",
   "de",
 ]
 
 [meis.homepages]
 
 [merz]
 name = "Stephan Merz"
 
 [merz.emails]
 
 [merz.emails.merz_email]
 user = [
   "Stephan",
   "Merz",
 ]
 host = [
   "loria",
   "fr",
 ]
 
 [merz.homepages]
 merz_homepage = "http://www.loria.fr/~merz"
 
 [messner]
 name = "Florian Messner"
 
 [messner.emails]
 
 [messner.emails.messner_email]
 user = [
   "florian",
   "g",
   "messner",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [messner.homepages]
 
 [mhalla]
 name = "Mehdi Mhalla"
 
 [mhalla.emails]
 
 [mhalla.emails.mhalla_email]
 user = [
   "mhallam",
 ]
 host = [
   "univ-grenoble-alpes",
   "fr",
 ]
 
 [mhalla.homepages]
 
 [michaelis]
 name = "Julius Michaelis"
 
 [michaelis.emails]
 
 [michaelis.emails.michaelis_email]
 user = [
   "isabelleopenflow",
 ]
 host = [
   "liftm",
   "de",
 ]
 
 [michaelis.emails.michaelis_email1]
 user = [
   "maintainafpppt",
 ]
 host = [
   "liftm",
   "de",
 ]
 
 [michaelis.emails.michaelis_email2]
 user = [
   "bdd",
 ]
 host = [
   "liftm",
   "de",
 ]
 
 [michaelis.emails.michaelis_email3]
 user = [
   "afp",
 ]
 host = [
   "liftm",
   "de",
 ]
 
 [michaelis.homepages]
 michaelis_homepage = "http://liftm.de/"
 
 [milehins]
 name = "Mihails Milehins"
 
 [milehins.emails]
 
 [milehins.emails.milehins_email]
 user = [
   "mihailsmilehins",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [milehins.homepages]
 
 [minamide]
 name = "Yasuhiko Minamide"
 
 [minamide.emails]
 
 [minamide.emails.minamide_email]
 user = [
   "minamide",
 ]
 host = [
   "is",
   "titech",
   "ac",
   "jp",
 ]
 
 [minamide.homepages]
 minamide_homepage = "https://sv.c.titech.ac.jp/minamide/index.en.html"
 
 [mitchell]
 name = "Neil Mitchell"
 
 [mitchell.emails]
 
 [mitchell.homepages]
 
 [mitsch]
 name = "Stefan Mitsch"
 
 [mitsch.emails]
 
 [mitsch.emails.mitsch_email]
 user = [
   "smitsch",
 ]
 host = [
   "cs",
   "cmu",
   "edu",
 ]
 
 [mitsch.homepages]
 
 [moedersheim]
 name = "Sebastian Mödersheim"
 
 [moedersheim.emails]
 
 [moedersheim.emails.moedersheim_email]
 user = [
   "samo",
 ]
 host = [
   "dtu",
   "dk",
 ]
 
 [moedersheim.homepages]
 moedersheim_homepage = "https://people.compute.dtu.dk/samo/"
 
 [moeller]
 name = "Bernhard Möller"
 
 [moeller.emails]
 
 [moeller.homepages]
 moeller_homepage = "https://www.informatik.uni-augsburg.de/en/chairs/dbis/pmi/staff/moeller/"
 
 [mori]
 name = "Coraline Mori"
 
 [mori.emails]
 
 [mori.emails.mori_email]
 user = [
   "coraline",
   "mori",
 ]
 host = [
   "grenoble-inp",
   "org",
 ]
 
 [mori.homepages]
 
 [muendler]
 name = "Niels Mündler"
 
 [muendler.emails]
 
 [muendler.emails.muendler_email]
 user = [
   "n",
   "muendler",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [muendler.homepages]
 
 [mulligan]
 name = "Dominic P. Mulligan"
 
 [mulligan.emails]
 
 [mulligan.emails.mulligan_email]
 user = [
   "dominic",
   "p",
   "mulligan",
 ]
 host = [
   "googlemail",
   "com",
 ]
 
 [mulligan.emails.mulligan_email1]
 user = [
   "Dominic",
   "Mulligan",
 ]
 host = [
   "arm",
   "com",
 ]
 
 [mulligan.homepages]
 
 [munive]
 name = "Jonathan Julian Huerta y Munive"
 
 [munive.emails]
 
 [munive.emails.munive_email]
 user = [
   "jjhuertaymunive1",
 ]
 host = [
   "sheffield",
   "ac",
   "uk",
 ]
 
 [munive.emails.munive_email1]
 user = [
   "jonjulian23",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [munive.homepages]
 
 [murao]
 name = "H. Murao"
 
 [murao.emails]
 
 [murao.homepages]
 
 [murray]
 name = "Toby Murray"
 
 [murray.emails]
 
 [murray.emails.murray_email]
 user = [
   "toby",
   "murray",
 ]
 host = [
   "unimelb",
   "edu",
   "au",
 ]
 
 [murray.homepages]
 murray_homepage = "https://people.eng.unimelb.edu.au/tobym/"
 
 [myreen]
 name = "Magnus O. Myreen"
 orcid = "0000-0002-9504-4107"
 
 [myreen.emails]
 
 [myreen.emails.myreen_email]
 user = [
   "myreen",
 ]
 host = [
   "chalmers",
   "se",
 ]
 
 [myreen.homepages]
 
 [nagashima]
 name = "Yutaka Nagashima"
 
 [nagashima.emails]
 
 [nagashima.emails.nagashima_email]
 user = [
   "Yutaka",
   "Nagashima",
 ]
 host = [
   "data61",
   "csiro",
   "au",
 ]
 
 [nagashima.homepages]
 
 [nagele]
 name = "Julian Nagele"
 
 [nagele.emails]
 
 [nagele.emails.nagele_email]
 user = [
   "julian",
   "nagele",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [nagele.homepages]
 
 [naraschewski]
 name = "Wolfgang Naraschewski"
 
 [naraschewski.emails]
 
 [naraschewski.homepages]
 
 [nedzelsky]
 name = "Michael Nedzelsky"
 
 [nedzelsky.emails]
 
 [nedzelsky.emails.nedzelsky_email]
 user = [
   "MichaelNedzelsky",
 ]
 host = [
   "yandex",
   "ru",
 ]
 
 [nedzelsky.homepages]
 
 [nemeti]
 name = "István Németi"
 
 [nemeti.emails]
 
 [nemeti.homepages]
 nemeti_homepage = "http://www.renyi.hu/~nemeti/"
 
 [nemouchi]
 name = "Yakoub Nemouchi"
 
 [nemouchi.emails]
 
 [nemouchi.emails.nemouchi_email]
 user = [
   "nemouchi",
 ]
 host = [
   "lri",
   "fr",
 ]
 
 [nemouchi.emails.nemouchi_email1]
 user = [
   "yakoub",
   "nemouchi",
 ]
 host = [
   "york",
   "ac",
   "uk",
 ]
 
 [nemouchi.homepages]
 
 [nestmann]
 name = "Uwe Nestmann"
 
 [nestmann.emails]
 
 [nestmann.homepages]
 nestmann_homepage = "https://www.mtv.tu-berlin.de/nestmann/"
 
 [neumann]
 name = "René Neumann"
 
 [neumann.emails]
 
 [neumann.emails.neumann_email]
 user = [
   "rene",
   "neumann",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [neumann.homepages]
 
 [nielsen]
 name = "Finn Nielsen"
 
 [nielsen.emails]
 
 [nielsen.emails.nielsen_email]
 user = [
   "finn",
   "nielsen",
 ]
 host = [
   "uni-muenster",
   "de",
 ]
 
 [nielsen.homepages]
 
 [nikiforov]
 name = "Denis Nikiforov"
 
 [nikiforov.emails]
 
 [nikiforov.emails.nikiforov_email]
 user = [
   "denis",
   "nikif",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [nikiforov.homepages]
 
 [nipkow]
 name = "Tobias Nipkow"
 orcid = "0000-0003-0730-515X"
 
 [nipkow.emails]
 
 [nipkow.emails.nipkow_email]
 user = [
   "nipkow",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [nipkow.homepages]
 nipkow_homepage = "https://www.in.tum.de/~nipkow/"
 
 [nishihara]
 name = "Toshiaki Nishihara"
 
 [nishihara.emails]
 
 [nishihara.homepages]
 
 [noce]
 name = "Pasquale Noce"
 
 [noce.emails]
 
 [noce.emails.noce_email]
 user = [
   "pasquale",
   "noce",
   "lavoro",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [noce.homepages]
 
 [nordhoff]
 name = "Benedikt Nordhoff"
 
 [nordhoff.emails]
 
 [nordhoff.emails.nordhoff_email]
 user = [
   "b",
   "n",
 ]
 host = [
   "wwu",
   "de",
 ]
 
 [nordhoff.emails.nordhoff_email1]
 user = [
   "b_nord01",
 ]
 host = [
   "uni-muenster",
   "de",
 ]
 
 [nordhoff.homepages]
 
 [noschinski]
 name = "Lars Noschinski"
 
 [noschinski.emails]
 
 [noschinski.emails.noschinski_email]
 user = [
   "noschinl",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [noschinski.homepages]
 noschinski_homepage = "http://www21.in.tum.de/~noschinl/"
 
 [obua]
 name = "Steven Obua"
 
 [obua.emails]
 
 [obua.emails.obua_email]
 user = [
   "steven",
 ]
 host = [
   "recursivemind",
   "com",
 ]
 
 [obua.homepages]
 
 [ogawa]
 name = "Mizuhito Ogawa"
 
 [ogawa.emails]
 
 [ogawa.homepages]
 
 [oldenburg]
 name = "Lennart Oldenburg"
 
 [oldenburg.emails]
 
 [oldenburg.homepages]
 
 [olm]
 name = "Markus Müller-Olm"
 
 [olm.emails]
 
 [olm.homepages]
 olm_homepage = "http://cs.uni-muenster.de/u/mmo/"
 
 [oosterhuis]
 name = "Roelof Oosterhuis"
 
 [oosterhuis.emails]
 
 [oosterhuis.emails.oosterhuis_email]
 user = [
   "roelofoosterhuis",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [oosterhuis.homepages]
 
 [oostrom]
 name = "Vincent van Oostrom"
 
 [oostrom.emails]
 
 [oostrom.homepages]
 
 [ortner]
 name = "Veronika Ortner"
 
 [ortner.emails]
 
 [ortner.homepages]
 
 [overbeek]
 name = "Roy Overbeek"
 
 [overbeek.emails]
 
 [overbeek.emails.overbeek_email]
 user = [
   "Roy",
   "Overbeek",
 ]
 host = [
   "cwi",
   "nl",
 ]
 
 [overbeek.homepages]
 
 [pagano]
 name = "Miguel Pagano"
 
 [pagano.emails]
 
 [pagano.emails.pagano_email]
 user = [
   "miguel",
   "pagano",
 ]
 host = [
   "unc",
   "edu",
   "ar",
 ]
 
 [pagano.homepages]
 pagano_homepage = "https://cs.famaf.unc.edu.ar/~mpagano/"
 
 [pal]
 name = "Abhik Pal"
 
 [pal.emails]
 
 [pal.homepages]
 
 [paleo]
 name = "Bruno Woltzenlogel Paleo"
 
 [paleo.emails]
 
 [paleo.homepages]
 paleo_homepage = "http://www.logic.at/staff/bruno/"
 
 [palmer]
 name = "Jake Palmer"
 
 [palmer.emails]
 
 [palmer.emails.palmer_email]
 user = [
   "jake",
   "palmer",
 ]
 host = [
   "ed",
   "ac",
   "uk",
 ]
 
 [palmer.homepages]
 
 [park]
 name = "Seung Hoon Park"
 orcid = "0000-0001-7165-6857"
 
 [park.emails]
 
 [park.emails.park_email]
 user = [
   "seunghoon",
   "park",
 ]
 host = [
   "cs",
   "ox",
   "ac",
   "uk",
 ]
 
 [park.homepages]
 park_homepage = "https://www.cs.ox.ac.uk/people/simon.park/"
 
 [parkinson]
 name = "Matthew Parkinson"
 
 [parkinson.emails]
 
 [parkinson.homepages]
 parkinson_homepage = "http://research.microsoft.com/people/mattpark/"
 
 [parrow]
 name = "Joachim Parrow"
 
 [parrow.emails]
 
 [parrow.emails.parrow_email]
 user = [
   "joachim",
   "parrow",
 ]
 host = [
   "it",
   "uu",
   "se",
 ]
 
 [parrow.homepages]
 
 [parsert]
 name = "Julian Parsert"
 
 [parsert.emails]
 
 [parsert.emails.parsert_email]
 user = [
   "julian",
   "parsert",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [parsert.emails.parsert_email1]
 user = [
   "julian",
   "parsert",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [parsert.homepages]
 parsert_homepage = "http://www.parsert.com/"
 
 [paulson]
 name = "Lawrence C. Paulson"
 
 [paulson.emails]
 
 [paulson.emails.paulson_email]
 user = [
   "lp15",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [paulson.homepages]
 paulson_homepage = "https://www.cl.cam.ac.uk/~lp15/"
 
 [peltier]
 name = "Nicolas Peltier"
 
 [peltier.emails]
 
 [peltier.emails.peltier_email]
 user = [
   "Nicolas",
   "Peltier",
 ]
 host = [
   "imag",
   "fr",
 ]
 
 [peltier.homepages]
 peltier_homepage = "http://membres-lig.imag.fr/peltier/"
 
 [peters]
 name = "Kirstin Peters"
 
 [peters.emails]
 
 [peters.emails.peters_email]
 user = [
   "kirstin",
   "peters",
 ]
 host = [
   "tu-berlin",
   "de",
 ]
 
 [peters.homepages]
 
 [petrovic]
 name = "Danijela Petrovic"
 
 [petrovic.emails]
 
 [petrovic.homepages]
 petrovic_homepage = "http://www.matf.bg.ac.rs/~danijela"
 
 [pierzchalski]
 name = "Edward Pierzchalski"
 
 [pierzchalski.emails]
 
 [pierzchalski.homepages]
 
 [platzer]
 name = "André Platzer"
 
 [platzer.emails]
 
 [platzer.emails.platzer_email]
 user = [
   "aplatzer",
 ]
 host = [
   "cs",
   "cmu",
   "edu",
 ]
 
 [platzer.homepages]
 platzer_homepage = "https://www.cs.cmu.edu/~aplatzer/"
 
 [pohjola]
 name = "Johannes Åman Pohjola"
 
 [pohjola.emails]
 
 [pohjola.emails.pohjola_email]
 user = [
   "j",
   "amanpohjola",
 ]
 host = [
   "unsw",
   "edu",
   "au",
 ]
 
 [pohjola.homepages]
 
 [pollak]
 name = "Florian Pollak"
 
 [pollak.emails]
 
 [pollak.emails.pollak_email]
 user = [
   "florian",
   "pollak",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [pollak.homepages]
 
 [popescu]
 name = "Andrei Popescu"
 
 [popescu.emails]
 
 [popescu.emails.popescu_email]
 user = [
   "a",
   "popescu",
 ]
 host = [
   "sheffield",
   "ac",
   "uk",
 ]
 
 [popescu.emails.popescu_email1]
 user = [
   "uuomul",
 ]
 host = [
   "yahoo",
   "com",
 ]
 
 [popescu.emails.popescu_email2]
 user = [
   "a",
   "popescu",
 ]
 host = [
   "mdx",
   "ac",
   "uk",
 ]
 
 [popescu.homepages]
 popescu_homepage = "https://www.andreipopescu.uk"
 
 [porter]
 name = "Benjamin Porter"
 
 [porter.emails]
 
 [porter.homepages]
 
 [prathamesh]
 name = "T.V.H. Prathamesh"
 
 [prathamesh.emails]
 
 [prathamesh.emails.prathamesh_email]
 user = [
   "prathamesh",
 ]
 host = [
   "imsc",
   "res",
   "in",
 ]
 
 [prathamesh.homepages]
 
 [preoteasa]
 name = "Viorel Preoteasa"
 
 [preoteasa.emails]
 
 [preoteasa.emails.preoteasa_email]
 user = [
   "viorel",
   "preoteasa",
 ]
 host = [
   "aalto",
   "fi",
 ]
 
 [preoteasa.homepages]
 preoteasa_homepage = "http://users.abo.fi/vpreotea/"
 
 [pusch]
 name = "Cornelia Pusch"
 
 [pusch.emails]
 
 [pusch.homepages]
 
 [qiu]
 name = "Qi Qiu"
 
 [qiu.emails]
 
 [qiu.emails.qiu_email]
 user = [
   "qi",
   "qiu",
 ]
 host = [
   "univ-lyon1",
   "fr",
 ]
 
 [qiu.homepages]
 
 [rabe]
 name = "Markus N. Rabe"
 
 [rabe.emails]
 
 [rabe.homepages]
 rabe_homepage = "http://www.react.uni-saarland.de/people/rabe.html"
 
 [raedle]
 name = "Jonas Rädle"
 
 [raedle.emails]
 
 [raedle.emails.raedle_email]
 user = [
   "jonas",
   "raedle",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [raedle.emails.raedle_email1]
 user = [
   "jonas",
   "raedle",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [raedle.homepages]
 
 [raska]
 name = "Martin Raška"
 
 [raska.emails]
 
 [raska.homepages]
 
 [raszyk]
 name = "Martin Raszyk"
 
 [raszyk.emails]
 
 [raszyk.emails.raszyk_email]
 user = [
   "martin",
   "raszyk",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [raszyk.emails.raszyk_email1]
 user = [
   "m",
   "raszyk",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [raszyk.homepages]
 
 [rau]
 name = "Martin Rau"
 
 [rau.emails]
 
 [rau.emails.rau_email]
 user = [
   "martin",
   "rau",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [rau.emails.rau_email1]
 user = [
   "mrtnrau",
 ]
 host = [
   "googlemail",
   "com",
 ]
 
 [rau.homepages]
 
 [rauch]
 name = "Nicole Rauch"
 
 [rauch.emails]
 
 [rauch.emails.rauch_email]
 user = [
   "rauch",
 ]
 host = [
   "informatik",
   "uni-kl",
   "de",
 ]
 
 [rauch.homepages]
 
 [raumer]
 name = "Jakob von Raumer"
 
 [raumer.emails]
 
 [raumer.emails.raumer_email]
 user = [
   "psxjv4",
 ]
 host = [
   "nottingham",
   "ac",
   "uk",
 ]
 
 [raumer.homepages]
 
 [ravindran]
 name = "Binoy Ravindran"
 
 [ravindran.emails]
 
 [ravindran.homepages]
 
 [rawson]
 name = "Michael Rawson"
 
 [rawson.emails]
 
 [rawson.emails.rawson_email]
 user = [
   "michaelrawson76",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [rawson.homepages]
 
 [raya]
 name = "Rodrigo Raya"
 
 [raya.emails]
 
 [raya.emails.raya_email]
 user = [
   "rodrigo",
   "raya",
 ]
 host = [
   "epfl",
   "ch",
 ]
 
 [raya.homepages]
 raya_homepage = "https://people.epfl.ch/rodrigo.raya"
 
 [regensburger]
 name = "Franz Regensburger"
 
 [regensburger.emails]
 
 [regensburger.emails.regensburger_email]
 user = [
   "Franz",
   "Regensburger",
 ]
 host = [
   "thi",
   "de",
 ]
 
 [regensburger.homepages]
 regensburger_homepage = "https://www.thi.de/suche/mitarbeiter/prof-dr-rer-nat-franz-regensburger"
 
 [reiche]
 name = "Sebastian Reiche"
 
 [reiche.emails]
 
 [reiche.homepages]
 reiche_homepage = "https://www.linkedin.com/in/sebastian-reiche-0b2093178"
 
 [reiter]
 name = "Markus Reiter"
 
 [reiter.emails]
 
 [reiter.homepages]
 
 [reynaud]
 name = "Alban Reynaud"
 
 [reynaud.emails]
 
 [reynaud.homepages]
 
 [ribeiro]
 name = "Pedro Ribeiro"
 
 [ribeiro.emails]
 
 [ribeiro.homepages]
 
 [richter]
 name = "Stefan Richter"
 
 [richter.emails]
 
 [richter.emails.richter_email]
 user = [
   "richter",
 ]
 host = [
   "informatik",
   "rwth-aachen",
   "de",
 ]
 
 [richter.homepages]
 richter_homepage = "http://www-lti.informatik.rwth-aachen.de/~richter/"
 
 [rickmann]
 name = "Christina Rickmann"
 
 [rickmann.emails]
 
 [rickmann.emails.rickmann_email]
 user = [
   "c",
   "rickmann",
 ]
 host = [
   "tu-berlin",
   "de",
 ]
 
 [rickmann.homepages]
 
 [ridge]
 name = "Tom Ridge"
 
 [ridge.emails]
 
 [ridge.homepages]
 
 [rizaldi]
 name = "Albert Rizaldi"
 
 [rizaldi.emails]
 
 [rizaldi.emails.rizaldi_email]
 user = [
   "albert",
   "rizaldi",
 ]
 host = [
   "ntu",
   "edu",
   "sg",
 ]
 
 [rizaldi.homepages]
 
 [rizkallah]
 name = "Christine Rizkallah"
 
 [rizkallah.emails]
 
 [rizkallah.homepages]
 rizkallah_homepage = "https://www.mpi-inf.mpg.de/~crizkall/"
 
 [robillard]
 name = "Simon Robillard"
 
 [robillard.emails]
 
 [robillard.homepages]
 robillard_homepage = "https://simon-robillard.net/"
 
 [roessle]
 name = "Ian Roessle"
 
 [roessle.emails]
 
 [roessle.homepages]
 
 [romanos]
 name = "Ralph Romanos"
 
 [romanos.emails]
 
 [romanos.emails.romanos_email]
 user = [
   "ralph",
   "romanos",
 ]
 host = [
   "student",
   "ecp",
   "fr",
 ]
 
 [romanos.homepages]
 
 [rosskopf]
 name = "Simon Roßkopf"
 
 [rosskopf.emails]
 
 [rosskopf.emails.rosskopf_email]
 user = [
   "rosskops",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [rosskopf.homepages]
 rosskopf_homepage = "http://www21.in.tum.de/~rosskops"
 
 [rowat]
 name = "Colin Rowat"
 
 [rowat.emails]
 
 [rowat.emails.rowat_email]
 user = [
   "c",
   "rowat",
 ]
 host = [
   "bham",
   "ac",
   "uk",
 ]
 
 [rowat.homepages]
 
 [sabouret]
 name = "Nicolas Sabouret"
 
 [sabouret.emails]
 
 [sabouret.homepages]
 
 [sachtleben]
 name = "Robert Sachtleben"
 
 [sachtleben.emails]
 
 [sachtleben.emails.sachtleben_email]
 user = [
   "rob_sac",
 ]
 host = [
   "uni-bremen",
   "de",
 ]
 
 [sachtleben.homepages]
 
 [saile]
 name = "Christian Saile"
 
 [saile.emails]
 
 [saile.homepages]
 saile_homepage = "http://dss.in.tum.de/staff/christian-saile.html"
 
 [sanan]
 name = "David Sanan"
 
 [sanan.emails]
 
 [sanan.emails.sanan_email]
 user = [
   "sanan",
 ]
 host = [
   "ntu",
   "edu",
   "sg",
 ]
 
 [sanan.homepages]
 
 [sato]
 name = "Tetsuya Sato"
 
 [sato.emails]
 
 [sato.emails.sato_email]
 user = [
   "tsato",
 ]
 host = [
   "c",
   "titech",
   "ac",
   "jp",
 ]
 
 [sato.homepages]
 sato_homepage = "https://sites.google.com/view/tetsuyasato/"
 
 [sauer]
 name = "Jens Sauer"
 
 [sauer.emails]
 
 [sauer.emails.sauer_email]
 user = [
   "sauer",
 ]
 host = [
   "mais",
   "informatik",
   "tu-darmstadt",
   "de",
 ]
 
 [sauer.homepages]
 
 [schaeffeler]
 name = "Maximilian Schäffeler"
 
 [schaeffeler.emails]
 
 [schaeffeler.emails.schaeffeler_email]
 user = [
   "schaeffm",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [schaeffeler.homepages]
 
 [scharager]
 name = "Matias Scharager"
 
 [scharager.emails]
 
 [scharager.emails.scharager_email]
 user = [
   "mscharag",
 ]
 host = [
   "cs",
   "cmu",
   "edu",
 ]
 
 [scharager.homepages]
 
 [schimpf]
 name = "Alexander Schimpf"
 
 [schimpf.emails]
 
 [schimpf.emails.schimpf_email]
 user = [
   "schimpfa",
 ]
 host = [
   "informatik",
   "uni-freiburg",
   "de",
 ]
 
 [schimpf.homepages]
 
 [schirmer]
 name = "Norbert Schirmer"
 
 [schirmer.emails]
 
 [schirmer.emails.schirmer_email]
 user = [
   "norbert",
   "schirmer",
 ]
 host = [
   "web",
   "de",
 ]
 
 [schirmer.homepages]
 
 [schleicher]
 name = "Dierk Schleicher"
 
 [schleicher.emails]
 
 [schleicher.homepages]
 
 [schlichtkrull]
 name = "Anders Schlichtkrull"
 
 [schlichtkrull.emails]
 
 [schlichtkrull.emails.schlichtkrull_email]
 user = [
   "andschl",
 ]
 host = [
   "dtu",
   "dk",
 ]
 
 [schlichtkrull.homepages]
 schlichtkrull_homepage = "https://people.compute.dtu.dk/andschl/"
 
 [schmaltz]
 name = "Julien Schmaltz"
 
 [schmaltz.emails]
 
 [schmaltz.emails.schmaltz_email]
 user = [
   "Julien",
   "Schmaltz",
 ]
 host = [
   "ou",
   "nl",
 ]
 
 [schmaltz.homepages]
 
 [schmidinger]
 name = "Lukas Schmidinger"
 
 [schmidinger.emails]
 
 [schmidinger.homepages]
 
 [schmoetten]
 name = "Richard Schmoetten"
 
 [schmoetten.emails]
 
 [schmoetten.emails.schmoetten_email]
 user = [
   "s1311325",
 ]
 host = [
   "sms",
   "ed",
   "ac",
   "uk",
 ]
 
 [schmoetten.homepages]
 
 [schneider]
 name = "Joshua Schneider"
 
 [schneider.emails]
 
 [schneider.emails.schneider_email]
 user = [
   "joshua",
   "schneider",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [schneider.homepages]
 
 [schoepe]
 name = "Daniel Schoepe"
 
 [schoepe.emails]
 
 [schoepe.emails.schoepe_email]
 user = [
   "daniel",
 ]
 host = [
   "schoepe",
   "org",
 ]
 
 [schoepe.homepages]
 
 [schoepf]
 name = "Jonas Schöpf"
 
 [schoepf.emails]
 
 [schoepf.emails.schoepf_email]
 user = [
   "jonas",
   "schoepf",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [schoepf.homepages]
 
 [scott]
 name = "Dana Scott"
 
 [scott.emails]
 
 [scott.homepages]
 scott_homepage = "http://www.cs.cmu.edu/~scott/"
 
 [sefidgar]
 name = "S. Reza Sefidgar"
 
 [sefidgar.emails]
 
 [sefidgar.emails.sefidgar_email]
 user = [
   "reza",
   "sefidgar",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [sefidgar.homepages]
 
 [seidl]
 name = "Benedikt Seidl"
 
 [seidl.emails]
 
 [seidl.emails.seidl_email]
 user = [
   "benedikt",
   "seidl",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [seidl.homepages]
 
 [seidler]
 name = "Henning Seidler"
 
 [seidler.emails]
 
 [seidler.emails.seidler_email]
 user = [
   "henning",
   "seidler",
 ]
 host = [
   "mailbox",
   "tu-berlin",
   "de",
 ]
 
 [seidler.homepages]
 
 [sewell]
 name = "Thomas Sewell"
 
 [sewell.emails]
 
 [sewell.homepages]
 
 [sickert]
 name = "Salomon Sickert"
 
 [sickert.emails]
 
 [sickert.emails.sickert_email]
 user = [
   "s",
   "sickert",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [sickert.homepages]
 sickert_homepage = "https://www7.in.tum.de/~sickert"
 
 [siek]
 name = "Jeremy Siek"
 
 [siek.emails]
 
 [siek.emails.siek_email]
 user = [
   "jsiek",
 ]
 host = [
   "indiana",
   "edu",
 ]
 
 [siek.homepages]
 siek_homepage = "http://homes.soic.indiana.edu/jsiek/"
 
 [simic]
 name = "Danijela Simić"
 
 [simic.emails]
 
 [simic.emails.simic_email]
 user = [
   "danijela",
 ]
 host = [
   "matf",
   "bg",
   "ac",
   "rs",
 ]
 
 [simic.homepages]
 simic_homepage = "http://poincare.matf.bg.ac.rs/~danijela"
 
 [sison]
 name = "Robert Sison"
 
 [sison.emails]
 
 [sison.homepages]
 
 [smaus]
 name = "Jan-Georg Smaus"
 
 [smaus.emails]
 
 [smaus.homepages]
 smaus_homepage = "http://www.irit.fr/~Jan-Georg.Smaus"
 
 [smola]
 name = "Filip Smola"
 
 [smola.emails]
 
 [smola.emails.smola_email]
 user = [
   "f",
   "smola",
 ]
 host = [
   "sms",
   "ed",
   "ac",
   "uk",
 ]
 
 [smola.homepages]
 
 [snelting]
 name = "Gregor Snelting"
 
 [snelting.emails]
 
 [snelting.homepages]
 snelting_homepage = "http://pp.info.uni-karlsruhe.de/personhp/gregor_snelting.php"
 
 [somaini]
 name = "Ivano Somaini"
 
 [somaini.emails]
 
 [somaini.homepages]
 
 [somogyi]
 name = "Dániel Somogyi"
 
 [somogyi.emails]
 
 [somogyi.homepages]
 
 [spasic]
 name = "Mirko Spasić"
 
 [spasic.emails]
 
 [spasic.emails.spasic_email]
 user = [
   "mirko",
 ]
 host = [
   "matf",
   "bg",
   "ac",
   "rs",
 ]
 
 [spasic.homepages]
 
 [spichkova]
 name = "Maria Spichkova"
 
 [spichkova.emails]
 
 [spichkova.emails.spichkova_email]
 user = [
   "maria",
   "spichkova",
 ]
 host = [
   "rmit",
   "edu",
   "au",
 ]
 
 [spichkova.homepages]
 
 [spitz]
 name = "Maximilian Spitz"
 
 [spitz.emails]
 
 [spitz.emails.spitz_email]
 user = [
   "maximilian",
   "spitz",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [spitz.homepages]
 
 [sprenger]
 name = "Christoph Sprenger"
 
 [sprenger.emails]
 
 [sprenger.emails.sprenger_email]
 user = [
   "sprenger",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [sprenger.homepages]
 
 
 [springsklee]
 name = "Valentin Springsklee"
 
 [springsklee.emails]
 
 [springsklee.emails.springsklee_email]
 user = [
   "uidpn>",
 ]
 host = [
   "student",
   "kit",
   "edu",
 ]
 
 [springsklee.homepages]
 
 
 
 [staats]
 name = "Charles Staats"
 
 [staats.emails]
 
 [staats.emails.staats_email]
 user = [
   "cstaats",
 ]
 host = [
   "google",
   "com",
 ]
 
 [staats.emails.staats_email1]
 user = [
   "charles",
   "staats",
   "iii",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [staats.homepages]
 
 [stannett]
 name = "Mike Stannett"
 
 [stannett.emails]
 
 [stannett.emails.stannett_email]
 user = [
   "m",
   "stannett",
 ]
 host = [
   "sheffield",
   "ac",
   "uk",
 ]
 
 [stannett.homepages]
 
 [stark]
 name = "Eugene W. Stark"
 
 [stark.emails]
 
 [stark.emails.stark_email]
 user = [
   "stark",
 ]
 host = [
   "cs",
   "stonybrook",
   "edu",
 ]
 
 [stark.homepages]
 
 [starosta]
 name = "Štěpán Starosta"
 
 [starosta.emails]
 
 [starosta.emails.starosta_email]
 user = [
   "stepan",
   "starosta",
 ]
 host = [
   "fit",
   "cvut",
   "cz",
 ]
 
 [starosta.homepages]
 starosta_homepage = "https://users.fit.cvut.cz/~staroste/"
 
 [steen]
 name = "Alexander Steen"
 
 [steen.emails]
 
 [steen.homepages]
 
 [steinberg]
 name = "Matías Steinberg"
 
 [steinberg.emails]
 
 [steinberg.emails.steinberg_email]
 user = [
   "matias",
   "steinberg",
 ]
 host = [
   "mi",
   "unc",
   "edu",
   "ar",
 ]
 
 [steinberg.homepages]
 
 [stephan]
 name = "Werner Stephan"
 
 [stephan.emails]
 
 [stephan.emails.stephan_email]
 user = [
   "stephan",
 ]
 host = [
   "dfki",
   "de",
 ]
 
 [stephan.homepages]
 
 [sternagel]
 name = "Christian Sternagel"
 
 [sternagel.emails]
 
 [sternagel.emails.sternagel_email]
 user = [
   "c",
   "sternagel",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [sternagel.emails.sternagel_email1]
 user = [
   "christian",
   "sternagel",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [sternagel.homepages]
 sternagel_homepage = "http://cl-informatik.uibk.ac.at/users/griff/"
 
 [sternagelt]
 name = "Thomas Sternagel"
 
 [sternagelt.emails]
 
 [sternagelt.homepages]
 
 [stevens]
 name = "Lukas Stevens"
 
 [stevens.emails]
 
 [stevens.emails.stevens_email]
 user = [
   "lukas",
   "stevens",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [stevens.homepages]
 stevens_homepage = "https://www21.in.tum.de/team/stevensl"
 
 [stock]
 name = "Benedikt Stock"
 
 [stock.emails]
 
 [stock.emails.stock_email]
 user = [
   "benedikt1999",
 ]
 host = [
   "freenet",
   "de",
 ]
 
 [stock.homepages]
 
 [stoeckl]
 name = "Bernhard Stöckl"
 
 [stoeckl.emails]
 
 [stoeckl.emails.stoeckl_email]
 user = [
   "stoeckl",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [stoeckl.homepages]
 
 [stricker]
 name = "Christian Stricker"
 
 [stricker.emails]
 
 [stricker.homepages]
 stricker_homepage = "http://dss.in.tum.de/staff/christian-stricker.html"
 
 [strnisa]
 name = "Rok Strniša"
 
 [strnisa.emails]
 
 [strnisa.emails.strnisa_email]
 user = [
   "rok",
 ]
 host = [
   "strnisa",
   "com",
 ]
 
 [strnisa.homepages]
 strnisa_homepage = "http://rok.strnisa.com/lj/"
 
 [struth]
 name = "Georg Struth"
 
 [struth.emails]
 
 [struth.emails.struth_email]
 user = [
   "g",
   "struth",
 ]
 host = [
   "sheffield",
   "ac",
   "uk",
 ]
 
 [struth.homepages]
 struth_homepage = "http://staffwww.dcs.shef.ac.uk/people/G.Struth/"
 
 [stueber]
 name = "Anke Stüber"
 
 [stueber.emails]
 
 [stueber.emails.stueber_email]
 user = [
   "anke",
   "stueber",
 ]
 host = [
   "campus",
   "tu-berlin",
   "de",
 ]
 
 [stueber.homepages]
 
 [stuewe]
 name = "Daniel Stüwe"
 
 [stuewe.emails]
 
 [stuewe.homepages]
 
 [sudbrock]
 name = "Henning Sudbrock"
 
 [sudbrock.emails]
 
 [sudbrock.emails.sudbrock_email]
 user = [
   "sudbrock",
 ]
 host = [
   "mais",
   "informatik",
   "tu-darmstadt",
   "de",
 ]
 
 [sudbrock.homepages]
 
 [sudhof]
 name = "Henry Sudhof"
 
 [sudhof.emails]
 
 [sudhof.emails.sudhof_email]
 user = [
   "hsudhof",
 ]
 host = [
   "cs",
   "tu-berlin",
   "de",
 ]
 
 [sudhof.homepages]
 
 [sulejmani]
 name = "Ujkan Sulejmani"
 
 [sulejmani.emails]
 
 [sulejmani.emails.sulejmani_email]
 user = [
   "ujkan",
   "sulejmani",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [sulejmani.emails.sulejmani_email1]
 user = [
   "ujkan99",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [sulejmani.homepages]
 
 [sutcliffe]
 name = "Geoff Sutcliffe"
 
 [sutcliffe.emails]
 
 [sutcliffe.homepages]
 
 [sylvestre]
 name = "Jeremy Sylvestre"
 
 [sylvestre.emails]
 
 [sylvestre.emails.sylvestre_email]
 user = [
   "jeremy",
   "sylvestre",
 ]
 host = [
   "ualberta",
   "ca",
 ]
 
 [sylvestre.emails.sylvestre_email1]
 user = [
   "jsylvest",
 ]
 host = [
   "ualberta",
   "ca",
 ]
 
 [sylvestre.homepages]
 sylvestre_homepage = "http://ualberta.ca/~jsylvest/"
 
 [szekely]
 name = "Gergely Szekely"
 
 [szekely.emails]
 
 [szekely.homepages]
 szekely_homepage = "https://users.renyi.hu/~turms/"
 
 [taha]
 name = "Safouan Taha"
 
 [taha.emails]
 
 [taha.emails.taha_email]
 user = [
   "safouan",
   "taha",
 ]
 host = [
   "lri",
   "fr",
 ]
 
 [taha.homepages]
 
 [tan]
 name = "Yong Kiam Tan"
 
 [tan.emails]
 
 [tan.emails.tan_email]
 user = [
   "yongkiat",
 ]
 host = [
   "cs",
   "cmu",
   "edu",
 ]
 
 [tan.homepages]
 tan_homepage = "https://www.cs.cmu.edu/~yongkiat/"
 
 [tanaka]
 name = "Miki Tanaka"
 
 [tanaka.emails]
 
 [tanaka.emails.tanaka_email]
 user = [
   "miki",
   "tanaka",
 ]
 host = [
   "unsw",
   "edu",
   "au",
 ]
 
 [tanaka.homepages]
 
 [tasch]
 name = "Markus Tasch"
 
 [tasch.emails]
 
 [tasch.emails.tasch_email]
 user = [
   "tasch",
 ]
 host = [
   "mais",
   "informatik",
   "tu-darmstadt",
   "de",
 ]
 
 [tasch.homepages]
 
 [taylor]
 name = "Ramsay G. Taylor"
 
 [taylor.emails]
 
 [taylor.emails.taylor_email]
 user = [
   "r",
   "g",
   "taylor",
 ]
 host = [
   "sheffield",
   "ac",
   "uk",
 ]
 
 [taylor.homepages]
 
 [terraf]
 name = "Pedro Sánchez Terraf"
 
 [terraf.emails]
 
 [terraf.emails.terraf_email]
 user = [
   "psterraf",
 ]
 host = [
   "unc",
   "edu",
   "ar",
 ]
 
 [terraf.homepages]
 terraf_homepage = "https://cs.famaf.unc.edu.ar/~pedro/home_en.html"
 
 [thiemann]
 name = "René Thiemann"
 
 [thiemann.emails]
 
 [thiemann.emails.thiemann_email]
 user = [
   "rene",
   "thiemann",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [thiemann.homepages]
 thiemann_homepage = "http://cl-informatik.uibk.ac.at/users/thiemann/"
 
 [thommes]
 name = "Joseph Thommes"
 
 [thommes.emails]
 
 [thommes.emails.thommes_email]
 user = [
   "joseph-thommes",
 ]
 host = [
   "gmx",
   "de",
 ]
 
 [thommes.homepages]
 
 [thomson]
 name = "Fox Thomson"
 
 [thomson.emails]
 
 [thomson.emails.thomson_email]
 user = [
   "foxthomson0",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [thomson.homepages]
 
 [tiu]
 name = "Alwen Tiu"
 
 [tiu.emails]
 
 [tiu.emails.tiu_email]
 user = [
   "ATiu",
 ]
 host = [
   "ntu",
   "edu",
   "sg",
 ]
 
 [tiu.homepages]
 tiu_homepage = "http://users.cecs.anu.edu.au/~tiu/"
 
 [toth]
 name = "Balazs Toth"
 
 [toth.emails]
 
 [toth.emails.toth_email]
 user = [
   "balazs",
   "toth",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [toth.homepages]
 
 [tourret]
 name = "Sophie Tourret"
 
 [tourret.emails]
 
 [tourret.emails.tourret_email]
 user = [
   "stourret",
 ]
 host = [
   "mpi-inf",
   "mpg",
   "de",
 ]
 
 [tourret.homepages]
 tourret_homepage = "https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret/"
 
 [trachtenherz]
 name = "David Trachtenherz"
 
 [trachtenherz.emails]
 
 [trachtenherz.homepages]
 
 [traut]
 name = "Christoph Traut"
 
 [traut.emails]
 
 [traut.homepages]
 
 [traytel]
 name = "Dmitriy Traytel"
 
 [traytel.emails]
 
 [traytel.emails.traytel_email]
 user = [
   "traytel",
 ]
 host = [
   "in",
   "tum",
   "de",
 ]
 
 [traytel.emails.traytel_email1]
 user = [
   "traytel",
 ]
 host = [
   "inf",
   "ethz",
   "ch",
 ]
 
 [traytel.emails.traytel_email2]
 user = [
   "traytel",
 ]
 host = [
   "di",
   "ku",
   "dk",
 ]
 
 [traytel.homepages]
 traytel_homepage = "https://traytel.bitbucket.io/"
 
 [trelat]
 name = "Vincent Trélat"
 
 [trelat.emails]
 
 [trelat.emails.trelat_email]
 user = [
   "vincent",
   "trelat",
 ]
 host = [
   "depinfonancy",
   "net",
 ]
 
 [trelat.homepages]
 
 [tuerk]
 name = "Thomas Tuerk"
 
 [tuerk.emails]
 
 [tuerk.homepages]
 
 [tuong]
 name = "Frédéric Tuong"
 
 [tuong.emails]
 
 [tuong.emails.tuong_email]
 user = [
   "tuong",
 ]
 host = [
   "users",
   "gforge",
   "inria",
   "fr",
 ]
 
 [tuong.emails.tuong_email1]
 user = [
   "ftuong",
 ]
 host = [
   "lri",
   "fr",
 ]
 
 [tuong.homepages]
 tuong_homepage = "https://www.lri.fr/~ftuong/"
 
 [tuongj]
 name = "Joseph Tuong"
 
 [tuongj.emails]
 
 [tuongj.homepages]
 
 [tverdyshev]
 name = "Sergey Tverdyshev"
 
 [tverdyshev.emails]
 
 [tverdyshev.emails.tverdyshev_email]
 user = [
   "stv",
 ]
 host = [
   "sysgo",
   "com",
 ]
 
 [tverdyshev.homepages]
 
 [ullrich]
 name = "Sebastian Ullrich"
 
 [ullrich.emails]
 
 [ullrich.emails.ullrich_email]
 user = [
   "sebasti",
 ]
 host = [
   "nullri",
   "ch",
 ]
 
 [ullrich.homepages]
 
 [unruh]
 name = "Dominique Unruh"
 
 [unruh.emails]
 
 [unruh.emails.unruh_email]
 user = [
   "unruh",
 ]
 host = [
   "ut",
   "ee",
 ]
 
 [unruh.homepages]
 unruh_homepage = "https://www.ut.ee/~unruh/"
 
 [urban]
 name = "Christian Urban"
 
 [urban.emails]
 
 [urban.emails.urban_email]
 user = [
   "christian",
   "urban",
 ]
 host = [
   "kcl",
   "ac",
   "uk",
 ]
 
 [urban.homepages]
 urban_homepage = "https://nms.kcl.ac.uk/christian.urban/"
 
 [van]
 name = "Hai Nguyen Van"
 
 [van.emails]
 
 [van.emails.van_email]
 user = [
   "hai",
   "nguyenvan",
   "phie",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [van.homepages]
 
 [velykis]
 name = "Andrius Velykis"
 
 [velykis.emails]
 
 [velykis.homepages]
 velykis_homepage = "http://andrius.velykis.lt"
 
 [verbeek]
 name = "Freek Verbeek"
 
 [verbeek.emails]
 
 [verbeek.emails.verbeek_email]
 user = [
   "Freek",
   "Verbeek",
 ]
 host = [
   "ou",
   "nl",
 ]
 
 [verbeek.emails.verbeek_email1]
 user = [
   "freek",
 ]
 host = [
   "vt",
   "edu",
 ]
 
 [verbeek.homepages]
 
 [villadsen]
 name = "Jørgen Villadsen"
 
 [villadsen.emails]
 
 [villadsen.emails.villadsen_email]
 user = [
   "jovi",
 ]
 host = [
   "dtu",
   "dk",
 ]
 
 [villadsen.homepages]
 villadsen_homepage = "https://people.compute.dtu.dk/jovi/"
 
 [voisin]
 name = "Frederic Voisin"
 
 [voisin.emails]
 
 [voisin.homepages]
 
 [vytiniotis]
 name = "Dimitrios Vytiniotis"
 
 [vytiniotis.emails]
 
 [vytiniotis.homepages]
 vytiniotis_homepage = "http://research.microsoft.com/en-us/people/dimitris/"
 
 [wagner]
 name = "Max Wagner"
 
 [wagner.emails]
 
 [wagner.emails.wagner_email]
 user = [
   "max",
 ]
 host = [
   "trollbu",
   "de",
 ]
 
 [wagner.homepages]
 
 [waldmann]
 name = "Uwe Waldmann"
 
 [waldmann.emails]
 
 [waldmann.emails.waldmann_email]
 user = [
   "waldmann",
 ]
 host = [
   "mpi-inf",
   "mpg",
   "de",
 ]
 
 [waldmann.homepages]
 
 [wand]
 name = "Daniel Wand"
 
 [wand.emails]
 
 [wand.emails.wand_email]
 user = [
   "dwand",
 ]
 host = [
   "mpi-inf",
   "mpg",
   "de",
 ]
 
 [wand.homepages]
 
 [wang]
 name = "Shuling Wang"
 
 [wang.emails]
 
 [wang.homepages]
 
 [wassell]
 name = "Mark Wassell"
 
 [wassell.emails]
 
 [wassell.emails.wassell_email]
 user = [
   "mpwassell",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [wassell.homepages]
 
 [wasserrab]
 name = "Daniel Wasserrab"
 
 [wasserrab.emails]
 
 [wasserrab.homepages]
 wasserrab_homepage = "http://pp.info.uni-karlsruhe.de/personhp/daniel_wasserrab.php"
 
 [watt]
 name = "Conrad Watt"
 
 [watt.emails]
 
 [watt.emails.watt_email]
 user = [
   "caw77",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [watt.homepages]
 watt_homepage = "http://www.cl.cam.ac.uk/~caw77/"
 
 [weber]
 name = "Tjark Weber"
 
 [weber.emails]
 
 [weber.emails.weber_email]
 user = [
   "tjark",
   "weber",
 ]
 host = [
   "it",
   "uu",
   "se",
 ]
 
 [weber.homepages]
 weber_homepage = "http://user.it.uu.se/~tjawe125/"
 
 [weerwag]
 name = "Timmy Weerwag"
 
 [weerwag.emails]
 
 [weerwag.homepages]
 
 [weidner]
 name = "Arno Wilhelm-Weidner"
 
 [weidner.emails]
 
 [weidner.emails.weidner_email]
 user = [
   "arno",
   "wilhelm-weidner",
 ]
 host = [
   "tu-berlin",
   "de",
 ]
 
 [weidner.homepages]
 
 [wenninger]
 name = "Elias Wenninger"
 
 [wenninger.emails]
 
 [wenninger.homepages]
 
 [wenzel]
 name = "Makarius Wenzel"
 
 [wenzel.emails]
 
 [wenzel.emails.wenzel_email]
 user = [
   "makarius",
 ]
 host = [
   "sketis",
   "net",
 ]
 
 [wenzel.homepages]
 
 [whitley]
 name = "A Whitley"
 
 [whitley.emails]
 
 [whitley.emails.whitley_email]
 user = [
   "awhitley",
 ]
 host = [
   "gmail",
   "com",
 ]
 
 [whitley.homepages]
 
 [wickerson]
 name = "John Wickerson"
 
 [wickerson.emails]
 
 [wickerson.homepages]
 wickerson_homepage = "http://www.doc.ic.ac.uk/~jpw48"
 
 [willenbrink]
 name = "Sebastian Willenbrink"
 
 [willenbrink.emails]
 
 [willenbrink.emails.willenbrink_email]
 user = [
   "sebastian",
   "willenbrink",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [willenbrink.homepages]
 
 [wimmer]
 name = "Simon Wimmer"
 
 [wimmer.emails]
 
 [wimmer.emails.wimmer_email]
 user = [
   "simon",
   "wimmer",
 ]
 host = [
   "tum",
   "de",
 ]
 
 [wimmer.homepages]
 wimmer_homepage = "http://home.in.tum.de/~wimmers/"
 
 [wirt]
 name = "Kai Wirt"
 
 [wirt.emails]
 
 [wirt.homepages]
 
 [wolff]
 name = "Burkhart Wolff"
 
 [wolff.emails]
 
 [wolff.emails.wolff_email]
 user = [
   "burkhart",
   "wolff",
 ]
 host = [
   "lri",
   "fr",
 ]
 
 [wolff.homepages]
 wolff_homepage = "https://www.lri.fr/~wolff/"
 
 [wu]
 name = "Chunhan Wu"
 
 [wu.emails]
 
 [wu.homepages]
 
 [xu]
 name = "Jian Xu"
 
 [xu.emails]
 
 [xu.homepages]
 
 [yamada]
 name = "Akihisa Yamada"
 
 [yamada.emails]
 
 [yamada.emails.yamada_email]
 user = [
   "akihisa",
   "yamada",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [yamada.emails.yamada_email1]
 user = [
   "ayamada",
 ]
 host = [
   "trs",
   "cm",
   "is",
   "nagoya-u",
   "ac",
   "jp",
 ]
 
 [yamada.emails.yamada_email2]
 user = [
   "akihisa",
   "yamada",
 ]
 host = [
   "aist",
   "go",
   "jp",
 ]
 
 [yamada.emails.yamada_email3]
 user = [
   "akihisayamada",
 ]
 host = [
   "nii",
   "ac",
   "jp",
 ]
 
 [yamada.homepages]
 yamada_homepage = "http://group-mmm.org/~ayamada/"
 
 [ye]
 name = "Lina Ye"
 
 [ye.emails]
 
 [ye.emails.ye_email]
 user = [
   "lina",
   "ye",
 ]
 host = [
   "lri",
   "fr",
 ]
 
 [ye.homepages]
 
 [yez]
 name = "Zhengkun Ye"
 
 [yez.emails]
 
 [yez.emails.yez_email]
 user = [
   "zy307",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [yez.homepages]
 
 [ying]
 name = "Shenggang Ying"
 
 [ying.emails]
 
 [ying.homepages]
 
 [yingm]
 name = "Mingsheng Ying"
 
 [yingm.emails]
 
 [yingm.homepages]
 
 [yu]
 name = "Lei Yu"
 
 [yu.emails]
 
 [yu.emails.yu_email]
 user = [
   "ly271",
 ]
 host = [
   "cam",
   "ac",
   "uk",
 ]
 
 [yu.homepages]
 
 [zankl]
 name = "Harald Zankl"
 
 [zankl.emails]
 
 [zankl.emails.zankl_email]
 user = [
   "Harald",
   "Zankl",
 ]
 host = [
   "uibk",
   "ac",
   "at",
 ]
 
 [zankl.homepages]
 zankl_homepage = "http://cl-informatik.uibk.ac.at/users/hzankl"
 
 [zee]
 name = "Karen Zee"
 
 [zee.emails]
 
 [zee.emails.zee_email]
 user = [
   "kkz",
 ]
 host = [
   "mit",
   "edu",
 ]
 
 [zee.homepages]
 zee_homepage = "http://www.mit.edu/~kkz/"
 
 [zeller]
 name = "Peter Zeller"
 
 [zeller.emails]
 
 [zeller.emails.zeller_email]
 user = [
   "p_zeller",
 ]
 host = [
   "cs",
   "uni-kl",
   "de",
 ]
 
 [zeller.homepages]
 
 [zeyda]
 name = "Frank Zeyda"
 
 [zeyda.emails]
 
 [zeyda.emails.zeyda_email]
 user = [
   "frank",
   "zeyda",
 ]
 host = [
   "york",
   "ac",
   "uk",
 ]
 
 [zeyda.homepages]
 
 [zhan]
 name = "Bohua Zhan"
 
 [zhan.emails]
 
 [zhan.emails.zhan_email]
 user = [
   "bzhan",
 ]
 host = [
   "ios",
   "ac",
   "cn",
 ]
 
 [zhan.homepages]
 zhan_homepage = "http://lcs.ios.ac.cn/~bzhan/"
 
 [zhang]
 name = "Yu Zhang"
 
 [zhang.emails]
 
 [zhang.homepages]
 
 [zhangx]
 name = "Xingyuan Zhang"
 
 [zhangx.emails]
 
 [zhangx.homepages]
 
 [zhann]
 name = "Naijun Zhan"
 
 [zhann.emails]
 
 [zhann.homepages]
diff --git a/metadata/entries/Refine_Imperative_HOL.toml b/metadata/entries/Refine_Imperative_HOL.toml
--- a/metadata/entries/Refine_Imperative_HOL.toml
+++ b/metadata/entries/Refine_Imperative_HOL.toml
@@ -1,48 +1,49 @@
 title = "The Imperative Refinement Framework"
 date = 2016-08-08
 topics = [
   "Computer science/Semantics and reasoning",
   "Computer science/Data structures",
 ]
 abstract = """
 We present the Imperative Refinement Framework (IRF), a tool that
 supports a stepwise refinement based approach to imperative programs.
 This entry is based on the material we presented in [ITP-2015,
 CPP-2016].  It uses the Monadic Refinement Framework as a frontend for
 the specification of the abstract programs, and Imperative/HOL as a
 backend to generate executable imperative programs.  The IRF comes
 with tool support to synthesize imperative programs from more
 abstract, functional ones, using efficient imperative implementations
 for the abstract data structures.  This entry also includes the
 Imperative Isabelle Collection Framework (IICF), which provides a
 library of re-usable imperative collection data structures.  Moreover,
 this entry contains a quickstart guide and a reference manual, which
 provide an introduction to using the IRF for Isabelle/HOL experts. It
 also provids a collection of (partly commented) practical examples,
 some highlights being Dijkstra's Algorithm, Nested-DFS, and a generic
 worklist algorithm with subsumption.  Finally, this entry contains
 benchmark scripts that compare the runtime of some examples against
 reference implementations of the algorithms in Java and C++.
 [ITP-2015] Peter Lammich: Refinement to Imperative/HOL. ITP 2015:
 253--269  [CPP-2016] Peter Lammich: Refinement based verification of
 imperative data structures. CPP 2016: 27--36"""
 license = "bsd"
 note = ""
 
 [authors]
 
 [authors.lammich]
 homepage = "lammich_homepage"
 
 [contributors]
 
 [contributors.springsklee]
+email = "springsklee_email"
 
 [notify]
 lammich = "lammich_email"
 
 [history]
 
 [extra]
 
 [related]
diff --git a/metadata/entries/Separation_Logic_Imperative_HOL.toml b/metadata/entries/Separation_Logic_Imperative_HOL.toml
--- a/metadata/entries/Separation_Logic_Imperative_HOL.toml
+++ b/metadata/entries/Separation_Logic_Imperative_HOL.toml
@@ -1,41 +1,42 @@
 title = "A Separation Logic Framework for Imperative HOL"
 date = 2012-11-14
 topics = [
   "Computer science/Programming languages/Logics",
 ]
 abstract = """
 We provide a framework for separation-logic based correctness proofs of
 Imperative HOL programs. Our framework comes with a set of proof methods to
 automate canonical tasks such as verification condition generation and
 frame inference. Moreover, we provide a set of examples that show the
 applicability of our framework. The examples include algorithms on lists,
 hash-tables, and union-find trees. We also provide abstract interfaces for
 lists, maps, and sets, that allow to develop generic imperative algorithms
 and use data-refinement techniques.
 <br>
 As we target Imperative HOL, our programs can be translated to
 efficiently executable code in various target languages, including
 ML, OCaml, Haskell, and Scala."""
 license = "bsd"
 note = ""
 
 [authors]
 
 [authors.lammich]
 homepage = "lammich_homepage"
 
 [authors.meis]
 email = "meis_email1"
 
 [contributors]
 
 [contributors.springsklee]
+email = "springsklee_email"
 
 [notify]
 lammich = "lammich_email"
 
 [history]
 
 [extra]
 
 [related]
diff --git a/web/entries/Refine_Imperative_HOL.html b/web/entries/Refine_Imperative_HOL.html
--- a/web/entries/Refine_Imperative_HOL.html
+++ b/web/entries/Refine_Imperative_HOL.html
@@ -1,279 +1,279 @@
 <!DOCTYPE html>
 <html lang="en">
 <head>
   <meta charset="utf-8" />
   <meta http-equiv="X-UA-Compatible" content="IE=edge">
   <meta name="viewport" content="width=device-width, initial-scale=1"><title>The Imperative Refinement Framework - Archive of Formal Proofs</title><meta name="description" content="We present the Imperative Refinement Framework (IRF), a tool that
 supports a stepwise refinement based approach to imperative programs.
 This entry is based..."><meta property="og:title" content="The Imperative Refinement Framework" />
 <meta property="og:description" content="" />
 <meta property="og:type" content="article" />
 <meta property="og:url" content="/entries/Refine_Imperative_HOL.html" /><meta property="og:image" content="/images/afp.png"/><meta property="article:section" content="entries" />
 <meta property="article:published_time" content="2016-08-08T00:00:00+00:00" />
 <meta property="article:modified_time" content="2016-08-08T00:00:00+00:00" /><meta property="og:site_name" content="Archive of Formal Proofs" />
 
 <meta name="twitter:card" content="summary_large_image"/>
 <meta name="twitter:image" content="/images/afp.png"/>
 
 <meta name="twitter:title" content="The Imperative Refinement Framework"/>
 <meta name="twitter:description" content=""/>
 
   
   <link rel="stylesheet" type="text/css" href="../css/front.min.css">
 
   <link rel="icon" href="../images/favicon.ico" type="image/icon">
     <script>
       MathJax = {
         tex: {
           inlineMath: [['$', '$'], ['\\(', '\\)']]
         },
         processEscapes: true,
         svg: {
           fontCache: 'global'
         }
       };
     </script>
     <script id="MathJax-script" async src="../js/mathjax/es5/tex-mml-chtml.js"></script>
   <script src="../js/entries.js"></script><script src="../js/obfuscate.js"></script>
   <script src="../js/flexsearch.bundle.js"></script>
   <script src="../js/scroll-spy.js"></script>
   <script src="../js/theory.js"></script>
   <script src="../js/util.js"></script><script src="../js/header-search.js"></script><script src="../js/search-autocomplete.js"></script>
 </head>
 
 
 <body class='mathjax_ignore '>
   <aside>
     <div id="menu-toggle">
   <input id="toggle" type="checkbox" />
   <label for="toggle">
     <span>menu</span>
     <img src="../images/menu.svg" alt="Menu" />
   </label>
 
   <a href="../" class='logo-link'>
     <img src="../images/afp.png" alt='Logo of the Archive of Formal Proofs' class="logo">
   </a>
 
   <a href="../search"><img src="../images/search.svg" alt="Search" /></a>
   <nav id="menu">
     <div>
       <a href="../" class='logo-link'>
         <img src="../images/afp.png" alt='Logo of the Archive of Formal Proofs' class="logo">
       </a>
       <ul>
         <a href="../"><li >Home</li></a>
         <a href="../topics/"><li >Topics</li></a>
         <a href="../download/"><li >Download</li></a>
         <a href="../help/"><li >Help</li></a>
         <a href="../submission/"><li >Submission</li></a>
         <a href="../statistics/"><li >Statistics</li></a>
         <a href="../about/"><li >About</li></a>
       </ul>
     </div>
   </nav>
 </div>
   </aside>
 
   <div
     class='content  entries'><header>
   <form autocomplete="off" action="../search">
     <div class='form-container'>
       <input id="search-input" type="search" size="31" maxlength="255" value="" aria-label="Search the AFP" list="autocomplete"><button
       id="search-button" type="button"><img src="../images/search.svg" alt="Search" /></button>
       <datalist id="autocomplete">
       </datalist>
     </div>
   </form>
   <h1 >
     <span class='first'>T</span>he <span class='first'>I</span>mperative <span class='first'>R</span>efinement <span class='first'>F</span>ramework</h1>
   <div>
     
     <p><a href="../authors/lammich">Peter Lammich</a> <a href="http://www21.in.tum.de/~lammich">🌐</a>
-      with contributions from <a href="../authors/springsklee">Valentin Springsklee</a>
+      with contributions from <a href="../authors/springsklee">Valentin Springsklee</a> <a class="obfuscated" data="eyJob3N0IjpbInN0dWRlbnQiLCJraXQiLCJlZHUiXSwidXNlciI6WyJ1aWRwblx1MDAzZSJdfQ==">📧</a>
     </p>
     
     
     <p class="date">August 8, 2016</p>
     
   </div>
 </header><div><main><h3>Abstract</h3>
 
   <div class="abstract mathjax_process">We present the Imperative Refinement Framework (IRF), a tool that
 supports a stepwise refinement based approach to imperative programs.
 This entry is based on the material we presented in [ITP-2015,
 CPP-2016].  It uses the Monadic Refinement Framework as a frontend for
 the specification of the abstract programs, and Imperative/HOL as a
 backend to generate executable imperative programs.  The IRF comes
 with tool support to synthesize imperative programs from more
 abstract, functional ones, using efficient imperative implementations
 for the abstract data structures.  This entry also includes the
 Imperative Isabelle Collection Framework (IICF), which provides a
 library of re-usable imperative collection data structures.  Moreover,
 this entry contains a quickstart guide and a reference manual, which
 provide an introduction to using the IRF for Isabelle/HOL experts. It
 also provids a collection of (partly commented) practical examples,
 some highlights being Dijkstra's Algorithm, Nested-DFS, and a generic
 worklist algorithm with subsumption.  Finally, this entry contains
 benchmark scripts that compare the runtime of some examples against
 reference implementations of the algorithms in Java and C++.
 [ITP-2015] Peter Lammich: Refinement to Imperative/HOL. ITP 2015:
 253--269  [CPP-2016] Peter Lammich: Refinement based verification of
 imperative data structures. CPP 2016: 27--36</div>
 
   <h3>License</h3>
   <div><a href="https://isa-afp.org/LICENSE">BSD License</a></div><h3>Topics</h3>
   <ul><li><a href="../topics/computer-science/semantics-and-reasoning">Computer science/Semantics and reasoning</a></li><li><a href="../topics/computer-science/data-structures">Computer science/Data structures</a></li></ul>
   <h3>Session Sepref_Prereq</h3>
   <ul></ul>
   <h3>Session Refine_Imperative_HOL</h3>
   <ul>
     <li><a href="../theories/refine_imperative_hol/#Concl_Pres_Clarification">Concl_Pres_Clarification</a></li>
     <li><a href="../theories/refine_imperative_hol/#Named_Theorems_Rev">Named_Theorems_Rev</a></li>
     <li><a href="../theories/refine_imperative_hol/#Pf_Add">Pf_Add</a></li>
     <li><a href="../theories/refine_imperative_hol/#Pf_Mono_Prover">Pf_Mono_Prover</a></li>
     <li><a href="../theories/refine_imperative_hol/#PO_Normalizer">PO_Normalizer</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Misc">Sepref_Misc</a></li>
     <li><a href="../theories/refine_imperative_hol/#Structured_Apply">Structured_Apply</a></li>
     <li><a href="../theories/refine_imperative_hol/#Term_Synth">Term_Synth</a></li>
     <li><a href="../theories/refine_imperative_hol/#User_Smashing">User_Smashing</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Chapter_Tool">Sepref_Chapter_Tool</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Id_Op">Sepref_Id_Op</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Basic">Sepref_Basic</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Monadify">Sepref_Monadify</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Constraints">Sepref_Constraints</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Frame">Sepref_Frame</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Rules">Sepref_Rules</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Combinator_Setup">Sepref_Combinator_Setup</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Translate">Sepref_Translate</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Definition">Sepref_Definition</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Intf_Util">Sepref_Intf_Util</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Tool">Sepref_Tool</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Chapter_Setup">Sepref_Chapter_Setup</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_HOL_Bindings">Sepref_HOL_Bindings</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Foreach">Sepref_Foreach</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Improper">Sepref_Improper</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref">Sepref</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Chapter_IICF">Sepref_Chapter_IICF</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Set">IICF_Set</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_List_SetO">IICF_List_SetO</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Multiset">IICF_Multiset</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Prio_Bag">IICF_Prio_Bag</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_List_Mset">IICF_List_Mset</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_List_MsetO">IICF_List_MsetO</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_List">IICF_List</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Abs_Heap">IICF_Abs_Heap</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_HOL_List">IICF_HOL_List</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Array_List">IICF_Array_List</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Impl_Heap">IICF_Impl_Heap</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Map">IICF_Map</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Prio_Map">IICF_Prio_Map</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Abs_Heapmap">IICF_Abs_Heapmap</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Array">IICF_Array</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_MS_Array_List">IICF_MS_Array_List</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Indexed_Array_List">IICF_Indexed_Array_List</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Impl_Heapmap">IICF_Impl_Heapmap</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Matrix">IICF_Matrix</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Array_Matrix">IICF_Array_Matrix</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF_Sepl_Binding">IICF_Sepl_Binding</a></li>
     <li><a href="../theories/refine_imperative_hol/#IICF">IICF</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Chapter_Userguides">Sepref_Chapter_Userguides</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Guide_Quickstart">Sepref_Guide_Quickstart</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Guide_Reference">Sepref_Guide_Reference</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Guide_General_Util">Sepref_Guide_General_Util</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_ICF_Bindings">Sepref_ICF_Bindings</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_WGraph">Sepref_WGraph</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Chapter_Examples">Sepref_Chapter_Examples</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Graph">Sepref_Graph</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_DFS">Sepref_DFS</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Dijkstra">Sepref_Dijkstra</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_NDFS">Sepref_NDFS</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Minitests">Sepref_Minitests</a></li>
     <li><a href="../theories/refine_imperative_hol/#Worklist_Subsumption">Worklist_Subsumption</a></li>
     <li><a href="../theories/refine_imperative_hol/#Worklist_Subsumption_Impl">Worklist_Subsumption_Impl</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Snip_Datatype">Sepref_Snip_Datatype</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Snip_Combinator">Sepref_Snip_Combinator</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_All_Examples">Sepref_All_Examples</a></li>
     <li><a href="../theories/refine_imperative_hol/#Sepref_Chapter_Benchmarks">Sepref_Chapter_Benchmarks</a></li>
     <li><a href="../theories/refine_imperative_hol/#Heapmap_Bench">Heapmap_Bench</a></li>
     <li><a href="../theories/refine_imperative_hol/#Dijkstra_Benchmark">Dijkstra_Benchmark</a></li>
     <li><a href="../theories/refine_imperative_hol/#NDFS_Benchmark">NDFS_Benchmark</a></li></ul>
   <h3>Session Sepref_Basic</h3>
   <ul></ul>
   <h3>Session Sepref_IICF</h3>
   <ul></ul><div class="flex-wrap">
   <div>
     <h3>Depends on</h3>
     <ul class="horizontal-list"><li><a href="../entries/Collections.html">Collections Framework</a></li><li><a href="../entries/Separation_Logic_Imperative_HOL.html">A Separation Logic Framework for Imperative HOL</a></li><li><a href="../entries/DFS_Framework.html">A Framework for Verifying Depth-First Search Algorithms</a></li><li><a href="../entries/Dijkstra_Shortest_Path.html">Dijkstra&rsquo;s Shortest Path Algorithm</a></li><li><a href="../entries/List-Index.html">List Index</a></li><li><a href="../entries/Refine_Imperative_HOL.html">The Imperative Refinement Framework</a></li></ul>
   </div><div>
     <h3>Used by</h3>
     <ul class="horizontal-list"><li><a href="../entries/BTree.html">A Verified Imperative Implementation of B-Trees</a></li><li><a href="../entries/Kruskal.html">Kruskal&rsquo;s Algorithm for Minimum Spanning Forest</a></li><li><a href="../entries/Flow_Networks.html">Flow Networks and the Min-Cut-Max-Flow Theorem</a></li><li><a href="../entries/Floyd_Warshall.html">The Floyd-Warshall Algorithm for Shortest Paths</a></li><li><a href="../entries/Refine_Imperative_HOL.html">The Imperative Refinement Framework</a></li></ul>
   </div>
   
   </div>
 </main>
 
 <nav class='links'>
   <a class='popup-button' href="#cite-popup">Cite</a>
   <a class='popup-button' href="#download-popup">Download</a>
   <h4>PDFs</h4>
   <a href="https://www.isa-afp.org/browser_info/current/AFP/Refine_Imperative_HOL/outline.pdf">Proof
     outline</a>
   <a href="https://www.isa-afp.org/browser_info/current/AFP/Refine_Imperative_HOL/document.pdf">Proof
     document</a>
   <a href="https://www.isa-afp.org/browser_info/current/AFP/Refine_Imperative_HOL/session_graph.pdf">Dependencies</a></nav>
 
 <div id="cite-popup" class="overlay">
   <a class="cancel" href="#"></a>
   <div class="popup">
     <h2>Cite</h2>
     <a class="close" href="#">&times;</a>
     <div>
       <p style="display:none;" id="bibtex-filename">Refine_Imperative_HOL-AFP</p><pre id="copy-text">@article{Refine_Imperative_HOL-AFP,
   author  = {Peter Lammich},
   title   = {The Imperative Refinement Framework},
   journal = {Archive of Formal Proofs},
   month   = {August},
   year    = {2016},
   note    = {\url{https://isa-afp.org/entries/Refine_Imperative_HOL.html},
             Formal proof development},
   ISSN    = {2150-914x},
 }</pre>
       <button id="copy-bibtex">Copy</button> <a id="download-bibtex">Download</a>
     </div>
   </div>
 </div>
 
 <div id="download-popup" class="overlay">
   <a class="cancel" href="#"></a>
   <div class="popup">
     <h2>Download</h2>
     <a class="close" href="#">&times;</a>
     <a href="https://www.isa-afp.org/release//afp-Refine_Imperative_HOL-current.tar.gz" download>Download latest</a>
     <p>Older releases:</p>
     <ul><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2022-10-27.tar.gz">Oct 27, 2022</a>: Isabelle2022
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2021-12-14.tar.gz">Dec 14, 2021</a>: Isabelle2021-1
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2021-02-23.tar.gz">Feb 23, 2021</a>: Isabelle2021
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2020-04-20.tar.gz">Apr 20, 2020</a>: Isabelle2020
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2019-06-11.tar.gz">Jun 11, 2019</a>: Isabelle2019
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2018-08-16.tar.gz">Aug 16, 2018</a>: Isabelle2018
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2017-10-10.tar.gz">Oct 10, 2017</a>: Isabelle2017
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2016-12-17.tar.gz">Dec 17, 2016</a>: Isabelle2016-1
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Refine_Imperative_HOL-2016-08-08.tar.gz">Aug 8, 2016</a>: Isabelle2016
       </li></ul>
   </div>
 </div>
     </div>
   </div>
 </body>
 
 </html>
\ No newline at end of file
diff --git a/web/entries/Separation_Logic_Imperative_HOL.html b/web/entries/Separation_Logic_Imperative_HOL.html
--- a/web/entries/Separation_Logic_Imperative_HOL.html
+++ b/web/entries/Separation_Logic_Imperative_HOL.html
@@ -1,247 +1,247 @@
 <!DOCTYPE html>
 <html lang="en">
 <head>
   <meta charset="utf-8" />
   <meta http-equiv="X-UA-Compatible" content="IE=edge">
   <meta name="viewport" content="width=device-width, initial-scale=1"><title>A Separation Logic Framework for Imperative HOL - Archive of Formal Proofs</title><meta name="description" content="We provide a framework for separation-logic based correctness proofs of Imperative HOL programs. Our framework comes with a set of proof methods to..."><meta property="og:title" content="A Separation Logic Framework for Imperative HOL" />
 <meta property="og:description" content="" />
 <meta property="og:type" content="article" />
 <meta property="og:url" content="/entries/Separation_Logic_Imperative_HOL.html" /><meta property="og:image" content="/images/afp.png"/><meta property="article:section" content="entries" />
 <meta property="article:published_time" content="2012-11-14T00:00:00+00:00" />
 <meta property="article:modified_time" content="2012-11-14T00:00:00+00:00" /><meta property="og:site_name" content="Archive of Formal Proofs" />
 
 <meta name="twitter:card" content="summary_large_image"/>
 <meta name="twitter:image" content="/images/afp.png"/>
 
 <meta name="twitter:title" content="A Separation Logic Framework for Imperative HOL"/>
 <meta name="twitter:description" content=""/>
 
   
   <link rel="stylesheet" type="text/css" href="../css/front.min.css">
 
   <link rel="icon" href="../images/favicon.ico" type="image/icon">
     <script>
       MathJax = {
         tex: {
           inlineMath: [['$', '$'], ['\\(', '\\)']]
         },
         processEscapes: true,
         svg: {
           fontCache: 'global'
         }
       };
     </script>
     <script id="MathJax-script" async src="../js/mathjax/es5/tex-mml-chtml.js"></script>
   <script src="../js/entries.js"></script><script src="../js/obfuscate.js"></script>
   <script src="../js/flexsearch.bundle.js"></script>
   <script src="../js/scroll-spy.js"></script>
   <script src="../js/theory.js"></script>
   <script src="../js/util.js"></script><script src="../js/header-search.js"></script><script src="../js/search-autocomplete.js"></script>
 </head>
 
 
 <body class='mathjax_ignore '>
   <aside>
     <div id="menu-toggle">
   <input id="toggle" type="checkbox" />
   <label for="toggle">
     <span>menu</span>
     <img src="../images/menu.svg" alt="Menu" />
   </label>
 
   <a href="../" class='logo-link'>
     <img src="../images/afp.png" alt='Logo of the Archive of Formal Proofs' class="logo">
   </a>
 
   <a href="../search"><img src="../images/search.svg" alt="Search" /></a>
   <nav id="menu">
     <div>
       <a href="../" class='logo-link'>
         <img src="../images/afp.png" alt='Logo of the Archive of Formal Proofs' class="logo">
       </a>
       <ul>
         <a href="../"><li >Home</li></a>
         <a href="../topics/"><li >Topics</li></a>
         <a href="../download/"><li >Download</li></a>
         <a href="../help/"><li >Help</li></a>
         <a href="../submission/"><li >Submission</li></a>
         <a href="../statistics/"><li >Statistics</li></a>
         <a href="../about/"><li >About</li></a>
       </ul>
     </div>
   </nav>
 </div>
   </aside>
 
   <div
     class='content  entries'><header>
   <form autocomplete="off" action="../search">
     <div class='form-container'>
       <input id="search-input" type="search" size="31" maxlength="255" value="" aria-label="Search the AFP" list="autocomplete"><button
       id="search-button" type="button"><img src="../images/search.svg" alt="Search" /></button>
       <datalist id="autocomplete">
       </datalist>
     </div>
   </form>
   <h1 >
     <span class='first'>A</span> <span class='first'>S</span>eparation <span class='first'>L</span>ogic <span class='first'>F</span>ramework for <span class='first'>I</span>mperative <span class='first'>H</span><span class='first'>O</span><span class='first'>L</span></h1>
   <div>
     
     <p><a href="../authors/lammich">Peter Lammich</a> <a href="http://www21.in.tum.de/~lammich">🌐</a> and <a href="../authors/meis">Rene Meis</a> <a class="obfuscated" data="eyJob3N0IjpbInVuaS1kdWUiLCJkZSJdLCJ1c2VyIjpbInJlbmUiLCJtZWlzIl19">📧</a>
-      with contributions from <a href="../authors/springsklee">Valentin Springsklee</a>
+      with contributions from <a href="../authors/springsklee">Valentin Springsklee</a> <a class="obfuscated" data="eyJob3N0IjpbInN0dWRlbnQiLCJraXQiLCJlZHUiXSwidXNlciI6WyJ1aWRwblx1MDAzZSJdfQ==">📧</a>
     </p>
     
     
     <p class="date">November 14, 2012</p>
     
   </div>
 </header><div><main><h3>Abstract</h3>
 
   <div class="abstract mathjax_process">We provide a framework for separation-logic based correctness proofs of
 Imperative HOL programs. Our framework comes with a set of proof methods to
 automate canonical tasks such as verification condition generation and
 frame inference. Moreover, we provide a set of examples that show the
 applicability of our framework. The examples include algorithms on lists,
 hash-tables, and union-find trees. We also provide abstract interfaces for
 lists, maps, and sets, that allow to develop generic imperative algorithms
 and use data-refinement techniques.
 <br>
 As we target Imperative HOL, our programs can be translated to
 efficiently executable code in various target languages, including
 ML, OCaml, Haskell, and Scala.</div>
 
   <h3>License</h3>
   <div><a href="https://isa-afp.org/LICENSE">BSD License</a></div><h3>Topics</h3>
   <ul><li><a href="../topics/computer-science/programming-languages/logics">Computer science/Programming languages/Logics</a></li></ul>
   <h3>Session Separation_Logic_Imperative_HOL</h3>
   <ul>
     <li><a href="../theories/separation_logic_imperative_hol/#Imperative_HOL_Add">Imperative_HOL_Add</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Syntax_Match">Syntax_Match</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Run">Run</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Assertions">Assertions</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Hoare_Triple">Hoare_Triple</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Automation">Automation</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Sep_Main">Sep_Main</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Imp_List_Spec">Imp_List_Spec</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#List_Seg">List_Seg</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Open_List">Open_List</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Circ_List">Circ_List</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Imp_Map_Spec">Imp_Map_Spec</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Hash_Table">Hash_Table</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Hash_Map">Hash_Map</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Hash_Map_Impl">Hash_Map_Impl</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Imp_Set_Spec">Imp_Set_Spec</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Hash_Set_Impl">Hash_Set_Impl</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#To_List_GA">To_List_GA</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Union_Find">Union_Find</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Idioms">Idioms</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Default_Insts">Default_Insts</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Array_Blit">Array_Blit</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Array_Map_Impl">Array_Map_Impl</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Array_Set_Impl">Array_Set_Impl</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#From_List_GA">From_List_GA</a></li>
     <li><a href="../theories/separation_logic_imperative_hol/#Sep_Examples">Sep_Examples</a></li></ul><div class="flex-wrap">
   <div>
     <h3>Depends on</h3>
     <ul class="horizontal-list"><li><a href="../entries/Automatic_Refinement.html">Automatic Data Refinement</a></li><li><a href="../entries/Collections.html">Collections Framework</a></li><li><a href="../entries/Native_Word.html">Native Word</a></li></ul>
   </div><div>
     <h3>Used by</h3>
     <ul class="horizontal-list"><li><a href="../entries/Refine_Imperative_HOL.html">The Imperative Refinement Framework</a></li><li><a href="../entries/UpDown_Scheme.html">Verification of the UpDown Scheme</a></li></ul>
   </div>
   
   <div>
     <h3>Auto-related entries</h3>
     <ul class="horizontal-list">
       
       <li><a href="../entries/Hybrid_Systems_VCs.html">Verification Components for Hybrid Systems</a></li>
       
       <li><a href="../entries/LTL_to_GBA.html">Converting Linear-Time Temporal Logic to Generalized Büchi Automata</a></li>
       
       <li><a href="../entries/Refine_Monadic.html">Refinement for Monadic Programs</a></li>
       
       <li><a href="../entries/Tree-Automata.html">Tree Automata</a></li>
       
     </ul>
   </div>
   
   </div>
 </main>
 
 <nav class='links'>
   <a class='popup-button' href="#cite-popup">Cite</a>
   <a class='popup-button' href="#download-popup">Download</a>
   <h4>PDFs</h4>
   <a href="https://www.isa-afp.org/browser_info/current/AFP/Separation_Logic_Imperative_HOL/outline.pdf">Proof
     outline</a>
   <a href="https://www.isa-afp.org/browser_info/current/AFP/Separation_Logic_Imperative_HOL/document.pdf">Proof
     document</a>
   <a href="https://www.isa-afp.org/browser_info/current/AFP/Separation_Logic_Imperative_HOL/session_graph.pdf">Dependencies</a></nav>
 
 <div id="cite-popup" class="overlay">
   <a class="cancel" href="#"></a>
   <div class="popup">
     <h2>Cite</h2>
     <a class="close" href="#">&times;</a>
     <div>
       <p style="display:none;" id="bibtex-filename">Separation_Logic_Imperative_HOL-AFP</p><pre id="copy-text">@article{Separation_Logic_Imperative_HOL-AFP,
   author  = {Peter Lammich and Rene Meis},
   title   = {A Separation Logic Framework for Imperative HOL},
   journal = {Archive of Formal Proofs},
   month   = {November},
   year    = {2012},
   note    = {\url{https://isa-afp.org/entries/Separation_Logic_Imperative_HOL.html},
             Formal proof development},
   ISSN    = {2150-914x},
 }</pre>
       <button id="copy-bibtex">Copy</button> <a id="download-bibtex">Download</a>
     </div>
   </div>
 </div>
 
 <div id="download-popup" class="overlay">
   <a class="cancel" href="#"></a>
   <div class="popup">
     <h2>Download</h2>
     <a class="close" href="#">&times;</a>
     <a href="https://www.isa-afp.org/release//afp-Separation_Logic_Imperative_HOL-current.tar.gz" download>Download latest</a>
     <p>Older releases:</p>
     <ul><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2022-10-27.tar.gz">Oct 27, 2022</a>: Isabelle2022
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2021-12-14.tar.gz">Dec 14, 2021</a>: Isabelle2021-1
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2021-02-23.tar.gz">Feb 23, 2021</a>: Isabelle2021
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2020-04-20.tar.gz">Apr 20, 2020</a>: Isabelle2020
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2019-06-11.tar.gz">Jun 11, 2019</a>: Isabelle2019
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2018-08-16.tar.gz">Aug 16, 2018</a>: Isabelle2018
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2017-10-10.tar.gz">Oct 10, 2017</a>: Isabelle2017
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2016-12-17.tar.gz">Dec 17, 2016</a>: Isabelle2016-1
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2016-02-22.tar.gz">Feb 22, 2016</a>: Isabelle2016
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2015-05-27.tar.gz">May 27, 2015</a>: Isabelle2015
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2014-08-28.tar.gz">Aug 28, 2014</a>: Isabelle2014
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2013-12-11.tar.gz">Dec 11, 2013</a>: Isabelle2013-2
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2013-11-17.tar.gz">Nov 17, 2013</a>: Isabelle2013-1
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2013-03-02.tar.gz">Mar 2, 2013</a>: Isabelle2013
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2013-02-16.tar.gz">Feb 16, 2013</a>: Isabelle2013
       </li><li>
         <a href="https://www.isa-afp.org/release/afp-Separation_Logic_Imperative_HOL-2012-11-15.tar.gz">Nov 15, 2012</a>: Isabelle2012
       </li></ul>
   </div>
 </div>
     </div>
   </div>
 </body>
 
 </html>
\ No newline at end of file