diff --git a/metadata/authors.toml b/metadata/authors.toml
--- a/metadata/authors.toml
+++ b/metadata/authors.toml
@@ -1,3550 +1,3546 @@
 
 [lange]
 name = "Christoph Lange"
 
 [lange.emails]
 lange_email = "math.semantic.web@gmail.com"
 
 [lange.homepages]
 
 [petrovic]
 name = "Danijela Petrovic"
 
 [petrovic.emails]
 
 [petrovic.homepages]
 petrovic_homepage = "http://www.matf.bg.ac.rs/~danijela"
 
 [schimpf]
 name = "Alexander Schimpf"
 
 [schimpf.emails]
 schimpf_email = "schimpfa@informatik.uni-freiburg.de"
 
 [schimpf.homepages]
 
 [murao]
 name = "H. Murao"
 
 [murao.emails]
 
 [murao.homepages]
 
 [bourke]
 name = "Timothy Bourke"
 
 [bourke.emails]
 bourke_email = "tim@tbrk.org"
 
 [bourke.homepages]
 bourke_homepage = "http://www.tbrk.org"
 
 [schaeffeler]
 name = "Maximilian Schäffeler"
 
 [schaeffeler.emails]
 schaeffeler_email = "schaeffm@in.tum.de"
 
 [schaeffeler.homepages]
 
 [liut]
 name = "Tao Liu"
 
 [liut.emails]
 
 [liut.homepages]
 
 [sickert]
 name = "Salomon Sickert"
 
 [sickert.emails]
 sickert_email = "s.sickert@tum.de"
 sickert_email1 = "sickert@in.tum.de"
 
 [sickert.homepages]
 sickert_homepage = "https://www7.in.tum.de/~sickert"
 
 [lutz]
 name = "Bianca Lutz"
 
 [lutz.emails]
 lutz_email = "sowilo@cs.tu-berlin.de"
 
 [lutz.homepages]
 
 [rizkallah]
 name = "Christine Rizkallah"
 
 [rizkallah.emails]
 
 [rizkallah.homepages]
 rizkallah_homepage = "https://www.mpi-inf.mpg.de/~crizkall/"
 
 [pollak]
 name = "Florian Pollak"
 
 [pollak.emails]
 pollak_email = "florian.pollak@gmail.com"
 
 [pollak.homepages]
 
 [sulejmani]
 name = "Ujkan Sulejmani"
 
 [sulejmani.emails]
 
 [sulejmani.homepages]
 
 [biendarra]
 name = "Julian Biendarra"
 
 [biendarra.emails]
 
 [biendarra.homepages]
 
 [saile]
 name = "Christian Saile"
 
 [saile.emails]
 
 [saile.homepages]
 saile_homepage = "http://dss.in.tum.de/staff/christian-saile.html"
 
 [friedrich]
 name = "Stefan Friedrich"
 
 [friedrich.emails]
 
 [friedrich.homepages]
 
 [maximova]
 name = "Alexandra Maximova"
 
 [maximova.emails]
 maximova_email = "amaximov@student.ethz.ch"
 
 [maximova.homepages]
 
 [stricker]
 name = "Christian Stricker"
 
 [stricker.emails]
 
 [stricker.homepages]
 stricker_homepage = "http://dss.in.tum.de/staff/christian-stricker.html"
 
 [dyckhoff]
 name = "Roy Dyckhoff"
 
 [dyckhoff.emails]
 
 [dyckhoff.homepages]
 dyckhoff_homepage = "https://rd.host.cs.st-andrews.ac.uk"
 
 [weidner]
 name = "Arno Wilhelm-Weidner"
 
 [weidner.emails]
 weidner_email = "arno.wilhelm-weidner@tu-berlin.de"
 
 [weidner.homepages]
 
 [thomson]
 name = "Fox Thomson"
 
 [thomson.emails]
 thomson_email = "foxthomson0@gmail.com"
 
 [thomson.homepages]
 
 [he]
 name = "Yijun He"
 
 [he.emails]
 he_email = "yh403@cam.ac.uk"
 
 [he.homepages]
 
 [kammueller]
 name = "Florian Kammüller"
 
 [kammueller.emails]
 kammueller_email = "flokam@cs.tu-berlin.de"
 kammueller_email1 = "florian.kammuller@gmail.com"
 
 [kammueller.homepages]
 kammueller_homepage = "http://www.cs.mdx.ac.uk/people/florian-kammueller/"
 
 [oostrom]
 name = "Vincent van Oostrom"
 
 [oostrom.emails]
 
 [oostrom.homepages]
 
 [klein]
 name = "Gerwin Klein"
 
 [klein.emails]
 klein_email = "kleing@cse.unsw.edu.au"
 klein_email1 = "kleing@unsw.edu.au"
 
 [klein.homepages]
 klein_homepage = "http://www.cse.unsw.edu.au/~kleing/"
 
 [simic]
 name = "Danijela Simić"
 
 [simic.emails]
 simic_email = "danijela@matf.bg.ac.rs"
 
 [simic.homepages]
 simic_homepage = "http://poincare.matf.bg.ac.rs/~danijela"
 
 [gao]
 name = "Xin Gao"
 
 [gao.emails]
 
 [gao.homepages]
 
 [guttmann]
 name = "Walter Guttmann"
 
 [guttmann.emails]
 guttmann_email = "walter.guttmann@canterbury.ac.nz"
 guttmann_email1 = "walter.guttman@canterbury.ac.nz"
 
 [guttmann.homepages]
 guttmann_homepage = "http://www.cosc.canterbury.ac.nz/walter.guttmann/"
 guttmann_homepage1 = "https://www.cosc.canterbury.ac.nz/walter.guttmann/"
 
 [mantel]
 name = "Heiko Mantel"
 
 [mantel.emails]
 mantel_email = "mantel@mais.informatik.tu-darmstadt.de"
 
 [mantel.homepages]
 
 [schlichtkrull]
 name = "Anders Schlichtkrull"
 
 [schlichtkrull.emails]
 schlichtkrull_email = "andschl@dtu.dk"
 
 [schlichtkrull.homepages]
 schlichtkrull_homepage = "https://people.compute.dtu.dk/andschl/"
 
 [jaskolka]
 name = "Jason Jaskolka"
 
 [jaskolka.emails]
 jaskolka_email = "jason.jaskolka@carleton.ca"
 
 [jaskolka.homepages]
 jaskolka_homepage = "https://carleton.ca/jaskolka/"
 
 [rau]
 name = "Martin Rau"
 
 [rau.emails]
 rau_email = "martin.rau@tum.de"
 rau_email1 = "mrtnrau@googlemail.com"
 
 [rau.homepages]
 
 [bottesch]
 name = "Ralph Bottesch"
 
 [bottesch.emails]
 bottesch_email = "ralph.bottesch@uibk.ac.at"
 
 [bottesch.homepages]
 bottesch_homepage = "http://cl-informatik.uibk.ac.at/users/bottesch/"
 
 [bella]
 name = "Giampaolo Bella"
 
 [bella.emails]
 bella_email = "giamp@dmi.unict.it"
 
 [bella.homepages]
 bella_homepage = "http://www.dmi.unict.it/~giamp/"
 
 [dirix]
 name = "Stefan Dirix"
 
 [dirix.emails]
 
 [dirix.homepages]
 
 [nielsen]
 name = "Finn Nielsen"
 
 [nielsen.emails]
 nielsen_email = "finn.nielsen@uni-muenster.de"
 
 [nielsen.homepages]
 
 [mansky]
 name = "Susannah Mansky"
 
 [mansky.emails]
 mansky_email = "sjohnsn2@illinois.edu"
 mansky_email1 = "susannahej@gmail.com"
 
 [mansky.homepages]
 
 [dunaev]
 name = "Georgy Dunaev"
 
 [dunaev.emails]
 dunaev_email = "georgedunaev@gmail.com"
 
 [dunaev.homepages]
 
 [li]
 name = "Wenda Li"
 
 [li.emails]
 li_email = "wl302@cam.ac.uk"
 li_email1 = "liwenda1990@hotmail.com"
 
 [li.homepages]
 li_homepage = "https://www.cl.cam.ac.uk/~wl302/"
 li_homepage1 = "http://www.cl.cam.ac.uk/~wl302/"
 
 [stevens]
 name = "Lukas Stevens"
 
 [stevens.emails]
 
 [stevens.homepages]
 stevens_homepage = "https://www21.in.tum.de/team/stevensl"
 
 [tourret]
 name = "Sophie Tourret"
 
 [tourret.emails]
 tourret_email = "stourret@mpi-inf.mpg.de"
 
 [tourret.homepages]
 tourret_homepage = "https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret/"
 tourret_homepage1 = "https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret"
 
 [yu]
 name = "Lei Yu"
 
 [yu.emails]
 yu_email = "ly271@cam.ac.uk"
 
 [yu.homepages]
 
 [grewe]
 name = "Sylvia Grewe"
 
 [grewe.emails]
 grewe_email = "grewe@st.informatik.tu-darmstadt.de"
 grewe_email1 = "grewe@cs.tu-darmstadt.de"
 
 [grewe.homepages]
 
 [coghetto]
 name = "Roland Coghetto"
 
 [coghetto.emails]
 coghetto_email = "roland_coghetto@hotmail.com"
 
 [coghetto.homepages]
 
 [schirmer]
 name = "Norbert Schirmer"
 
 [schirmer.emails]
 schirmer_email = "norbert.schirmer@web.de"
 schirmer_email1 = "schirmer@in.tum.de"
 
 [schirmer.homepages]
 
 [immler]
 name = "Fabian Immler"
 
 [immler.emails]
 immler_email = "immler@in.tum.de"
 immler_email1 = "fimmler@cs.cmu.edu"
 immler_email2 = "fimmler@andrew.cmu.edu"
 
 [immler.homepages]
 immler_homepage = "http://www21.in.tum.de/~immler"
 immler_homepage1 = "https://home.in.tum.de/~immler/"
 immler_homepage2 = "http://home.in.tum.de/~immler/"
 
 [tiu]
 name = "Alwen Tiu"
 
 [tiu.emails]
 tiu_email = "ATiu@ntu.edu.sg"
 
 [tiu.homepages]
 tiu_homepage = "http://users.cecs.anu.edu.au/~tiu/"
 
 [henrio]
 name = "Ludovic Henrio"
 
 [henrio.emails]
 henrio_email = "Ludovic.Henrio@sophia.inria.fr"
 
 [henrio.homepages]
 
 [urban]
 name = "Christian Urban"
 
 [urban.emails]
 urban_email = "christian.urban@kcl.ac.uk"
 
 [urban.homepages]
 urban_homepage = "http://www.inf.kcl.ac.uk/staff/urbanc/"
 urban_homepage1 = "https://nms.kcl.ac.uk/christian.urban"
 urban_homepage2 = "https://nms.kcl.ac.uk/christian.urban/"
 
 [michaelis]
 name = "Julius Michaelis"
 
 [michaelis.emails]
 michaelis_email = "isabelleopenflow@liftm.de"
 michaelis_email1 = "maintainafpppt@liftm.de"
 michaelis_email2 = "bdd@liftm.de"
 michaelis_email3 = "afp@liftm.de"
 
 [michaelis.homepages]
 michaelis_homepage = "http://liftm.de"
 michaelis_homepage1 = "http://liftm.de/"
 
 [scott]
 name = "Dana Scott"
 
 [scott.emails]
 
 [scott.homepages]
 scott_homepage = "http://www.cs.cmu.edu/~scott/"
 
 [wenzel]
 name = "Makarius Wenzel"
 
 [wenzel.emails]
 wenzel_email = "Makarius.wenzel@lri.fr"
 
 [wenzel.homepages]
 
 [dardinier]
 name = "Thibault Dardinier"
 
 [dardinier.emails]
 dardinier_email = "thibault.dardinier@inf.ethz.ch"
 dardinier_email1 = "tdardini@student.ethz.ch"
 
 [dardinier.homepages]
 dardinier_homepage = "https://dardinier.me/"
 
 [lallemand]
 name = "Joseph Lallemand"
 
 [lallemand.emails]
 lallemand_email = "joseph.lallemand@loria.fr"
 
 [lallemand.homepages]
 
 [schmoetten]
 name = "Richard Schmoetten"
 
 [schmoetten.emails]
 schmoetten_email = "s1311325@sms.ed.ac.uk"
 
 [schmoetten.homepages]
 
 [cohen]
 name = "Ernie Cohen"
 
 [cohen.emails]
 cohen_email = "ecohen@amazon.com"
 
 [cohen.homepages]
 
 [chapman]
 name = "Peter Chapman"
 
 [chapman.emails]
 chapman_email = "pc@cs.st-andrews.ac.uk"
 
 [chapman.homepages]
 
 [rickmann]
 name = "Christina Rickmann"
 
 [rickmann.emails]
 rickmann_email = "c.rickmann@tu-berlin.de"
 
 [rickmann.homepages]
 
 [raya]
 name = "Rodrigo Raya"
 
 [raya.emails]
 
 [raya.homepages]
 raya_homepage = "https://people.epfl.ch/rodrigo.raya"
 
 [kadzioka]
 name = "Jakub Kądziołka"
 
 [kadzioka.emails]
 kadzioka_email = "kuba@kadziolka.net"
 
 [kadzioka.homepages]
 
 [foster]
 name = "Michael Foster"
 
 [foster.emails]
 foster_email = "m.foster@sheffield.ac.uk"
 
 [foster.homepages]
 
 [zhann]
 name = "Naijun Zhan"
 
 [zhann.emails]
 
 [zhann.homepages]
 
 [fuenmayor]
 name = "David Fuenmayor"
 
 [fuenmayor.emails]
 fuenmayor_email = "davfuenmayor@gmail.com"
 
 [fuenmayor.homepages]
 
 [iwama]
 name = "Fumiya Iwama"
 
 [iwama.emails]
 iwama_email = "d1623001@s.konan-u.ac.jp"
 
 [iwama.homepages]
 
 [feliachi]
 name = "Abderrahmane Feliachi"
 
 [feliachi.emails]
 feliachi_email = "abderrahmane.feliachi@lri.fr"
 
 [feliachi.homepages]
 
 [sudbrock]
 name = "Henning Sudbrock"
 
 [sudbrock.emails]
 sudbrock_email = "sudbrock@mais.informatik.tu-darmstadt.de"
 
 [sudbrock.homepages]
 
 [bauer]
 name = "Gertrud Bauer"
 
 [bauer.emails]
 
 [bauer.homepages]
 
 [lux]
 name = "Alexander Lux"
 
 [lux.emails]
 lux_email = "lux@mais.informatik.tu-darmstadt.de"
 
 [lux.homepages]
 
 [seidler]
 name = "Henning Seidler"
 
 [seidler.emails]
 seidler_email = "henning.seidler@mailbox.tu-berlin.de"
 
 [seidler.homepages]
 
 [desharnais]
 name = "Martin Desharnais"
 
 [desharnais.emails]
 desharnais_email = "martin.desharnais@unibw.de"
 
 [desharnais.homepages]
 desharnais_homepage = "https://martin.desharnais.me"
 
 [wasserrab]
 name = "Daniel Wasserrab"
 
 [wasserrab.emails]
 
 [wasserrab.homepages]
 wasserrab_homepage = "http://pp.info.uni-karlsruhe.de/personhp/daniel_wasserrab.php"
 
 [fell]
 name = "Julian Fell"
 
 [fell.emails]
 fell_email = "julian.fell@uq.net.au"
 
 [fell.homepages]
 
 [zhan]
 name = "Bohua Zhan"
 
 [zhan.emails]
 zhan_email = "bzhan@ios.ac.cn"
 
 [zhan.homepages]
 zhan_homepage = "http://lcs.ios.ac.cn/~bzhan/"
 
 [stephan]
 name = "Werner Stephan"
 
 [stephan.emails]
 stephan_email = "stephan@dfki.de"
 
 [stephan.homepages]
 
 [david]
 name = "Marco David"
 
 [david.emails]
 david_email = "marco.david@hotmail.de"
 
 [david.homepages]
 
 [olm]
 name = "Markus Müller-Olm"
 
 [olm.emails]
 
 [olm.homepages]
 olm_homepage = "http://cs.uni-muenster.de/u/mmo/"
 
 [havle]
 name = "Oto Havle"
 
 [havle.emails]
 havle_email = "oha@sysgo.com"
 
 [havle.homepages]
 
 [margetson]
 name = "James Margetson"
 
 [margetson.emails]
 
 [margetson.homepages]
 
 [scharager]
 name = "Matias Scharager"
 
 [scharager.emails]
 scharager_email = "mscharag@cs.cmu.edu"
 
 [scharager.homepages]
 
 [haftmann]
 name = "Florian Haftmann"
 
 [haftmann.emails]
 haftmann_email = "florian.haftmann@informatik.tu-muenchen.de"
 
 [haftmann.homepages]
 haftmann_homepage = "http://isabelle.in.tum.de/~haftmann"
 
 [schoepe]
 name = "Daniel Schoepe"
 
 [schoepe.emails]
 schoepe_email = "daniel@schoepe.org"
 
 [schoepe.homepages]
 
 [nagele]
 name = "Julian Nagele"
 
 [nagele.emails]
 nagele_email = "julian.nagele@uibk.ac.at"
 
 [nagele.homepages]
 
 [hoefner]
 name = "Peter Höfner"
 
 [hoefner.emails]
 hoefner_email = "peter@hoefner-online.de"
 
 [hoefner.homepages]
 hoefner_homepage = "http://www.hoefner-online.de/"
 
 [derrick]
 name = "John Derrick"
 
 [derrick.emails]
 derrick_email = "j.derrick@sheffield.ac.uk"
 
 [derrick.homepages]
 
 [beeren]
 name = "Joel Beeren"
 
 [beeren.emails]
 
 [beeren.homepages]
 
 [echenim]
 name = "Mnacho Echenim"
 
 [echenim.emails]
 echenim_email = "mnacho.echenim@univ-grenoble-alpes.fr"
 
 [echenim.homepages]
 echenim_homepage = "http://lig-membres.imag.fr/mechenim/"
 echenim_homepage1 = "https://lig-membres.imag.fr/mechenim/"
 
 [vytiniotis]
 name = "Dimitrios Vytiniotis"
 
 [vytiniotis.emails]
 
 [vytiniotis.homepages]
 vytiniotis_homepage = "http://research.microsoft.com/en-us/people/dimitris/"
 
 [beringer]
 name = "Lennart Beringer"
 
 [beringer.emails]
 beringer_email = "lennart.beringer@ifi.lmu.de"
 
 [beringer.homepages]
 
 [wickerson]
 name = "John Wickerson"
 
 [wickerson.emails]
 
 [wickerson.homepages]
 wickerson_homepage = "http://www.doc.ic.ac.uk/~jpw48"
 
 [eberl]
 name = "Manuel Eberl"
 
 [eberl.emails]
 eberl_email = "manuel@pruvisto.org"
 eberl_email1 = "manuel.eberl@tum.de"
 
 [eberl.homepages]
 eberl_homepage = "https://pruvisto.org"
 eberl_homepage1 = "https://pruvisto.org/"
 eberl_homepage2 = "https://www.in.tum.de/~eberlm"
 
 [noce]
 name = "Pasquale Noce"
 
 [noce.emails]
 noce_email = "pasquale.noce.lavoro@gmail.com"
 
 [noce.homepages]
 
 [gunther]
 name = "Emmanuel Gunther"
 
 [gunther.emails]
 gunther_email = "gunther@famaf.unc.edu.ar"
 
 [gunther.homepages]
 
 [nemouchi]
 name = "Yakoub Nemouchi"
 
 [nemouchi.emails]
 nemouchi_email = "nemouchi@lri.fr"
 nemouchi_email1 = "yakoub.nemouchi@york.ac.uk"
 
 [nemouchi.homepages]
 
 [stueber]
 name = "Anke Stüber"
 
 [stueber.emails]
 stueber_email = "anke.stueber@campus.tu-berlin.de"
 
 [stueber.homepages]
 
 [sternagel]
 name = "Christian Sternagel"
 
 [sternagel.emails]
 sternagel_email = "c.sternagel@gmail.com"
 sternagel_email1 = "christian.sternagel@uibk.ac.at"
 
 [sternagel.homepages]
 sternagel_homepage = "http://cl-informatik.uibk.ac.at/users/griff/"
 
 [sachtleben]
 name = "Robert Sachtleben"
 
 [sachtleben.emails]
 sachtleben_email = "rob_sac@uni-bremen.de"
 
 [sachtleben.homepages]
 
 [kastermans]
 name = "Bart Kastermans"
 
 [kastermans.emails]
 
 [kastermans.homepages]
 kastermans_homepage = "http://kasterma.net"
 
 [pal]
 name = "Abhik Pal"
 
 [pal.emails]
 
 [pal.homepages]
 
 [thiemann]
 name = "René Thiemann"
 
 [thiemann.emails]
 thiemann_email = "rene.thiemann@uibk.ac.at"
 
 [thiemann.homepages]
 thiemann_homepage = "http://cl-informatik.uibk.ac.at/~thiemann"
 thiemann_homepage1 = "http://cl-informatik.uibk.ac.at/~thiemann/"
 thiemann_homepage2 = "http://cl-informatik.uibk.ac.at/users/thiemann/"
 
 [campo]
 name = "Alejandro del Campo"
 
 [campo.emails]
 campo_email = "alejandro.del-campo@alum.unirioja.es"
 
 [campo.homepages]
 
 [raska]
 name = "Martin Raška"
 
 [raska.emails]
 
 [raska.homepages]
 
 [stannett]
 name = "Mike Stannett"
 
 [stannett.emails]
 stannett_email = "m.stannett@sheffield.ac.uk"
 
 [stannett.homepages]
 
 [back]
 name = "Ralph-Johan Back"
 
 [back.emails]
 
 [back.homepages]
 back_homepage = "http://users.abo.fi/Ralph-Johan.Back/"
 
 [bruegger]
 name = "Lukas Brügger"
 
 [bruegger.emails]
 bruegger_email = "lukas.a.bruegger@gmail.com"
 
 [bruegger.homepages]
 
 [kuncak]
 name = "Viktor Kuncak"
 
 [kuncak.emails]
 
 [kuncak.homepages]
 kuncak_homepage = "http://lara.epfl.ch/~kuncak/"
 
 [gaudel]
 name = "Marie-Claude Gaudel"
 
 [gaudel.emails]
 gaudel_email = "mcg@lri.fr"
 
 [gaudel.homepages]
 
 [sison]
 name = "Robert Sison"
 
 [sison.emails]
 
 [sison.homepages]
 
 [benzmueller]
 name = "Christoph Benzmüller"
 
 [benzmueller.emails]
 benzmueller_email = "c.benzmueller@gmail.com"
 benzmueller_email1 = "c.benzmueller@fu-berlin.de"
 
 [benzmueller.homepages]
 benzmueller_homepage = "http://christoph-benzmueller.de"
 benzmueller_homepage1 = "http://page.mi.fu-berlin.de/cbenzmueller/"
 benzmueller_homepage2 = "http://www.christoph-benzmueller.de"
 
 [from]
 name = "Asta Halkjær From"
 
 [from.emails]
 from_email = "ahfrom@dtu.dk"
 
 [from.homepages]
 from_homepage = "https://people.compute.dtu.dk/ahfrom/"
 
 [tuongj]
 name = "Joseph Tuong"
 
 [tuongj.emails]
 
 [tuongj.homepages]
 
 [zeller]
 name = "Peter Zeller"
 
 [zeller.emails]
 zeller_email = "p_zeller@cs.uni-kl.de"
 
 [zeller.homepages]
 
 [schmidinger]
 name = "Lukas Schmidinger"
 
 [schmidinger.emails]
 
 [schmidinger.homepages]
 
 [ravindran]
 name = "Binoy Ravindran"
 
 [ravindran.emails]
 
 [ravindran.homepages]
 
 [rizaldi]
 name = "Albert Rizaldi"
 
 [rizaldi.emails]
 rizaldi_email = "albert.rizaldi@ntu.edu.sg"
 
 [rizaldi.homepages]
 
 [sabouret]
 name = "Nicolas Sabouret"
 
 [sabouret.emails]
 
 [sabouret.homepages]
 
 [butler]
 name = "David Butler"
 
 [butler.emails]
 butler_email = "dbutler@turing.ac.uk"
 
 [butler.homepages]
 butler_homepage = "https://www.turing.ac.uk/people/doctoral-students/david-butler"
 
 [sprenger]
 name = "Christoph Sprenger"
 
 [sprenger.emails]
 sprenger_email = "sprenger@inf.ethz.ch"
 
 [sprenger.homepages]
 
 [bordg]
 name = "Anthony Bordg"
 
 [bordg.emails]
 bordg_email = "apdb3@cam.ac.uk"
 
 [bordg.homepages]
 bordg_homepage = "https://sites.google.com/site/anthonybordg/"
 
 [bhatt]
 name = "Bhargav Bhatt"
 
 [bhatt.emails]
 bhatt_email = "bhargav.bhatt@inf.ethz.ch"
 
 [bhatt.homepages]
 
 [gonzalez]
 name = "Edgar Gonzàlez"
 
 [gonzalez.emails]
 gonzalez_email = "edgargip@google.com"
 
 [gonzalez.homepages]
 
 [adelsberger]
 name = "Stephan Adelsberger"
 
 [adelsberger.emails]
 adelsberger_email = "stvienna@gmail.com"
 
 [adelsberger.homepages]
 adelsberger_homepage = "http://nm.wu.ac.at/nm/sadelsbe"
 
 [schleicher]
 name = "Dierk Schleicher"
 
 [schleicher.emails]
 
 [schleicher.homepages]
 
 [ying]
 name = "Shenggang Ying"
 
 [ying.emails]
 
 [ying.homepages]
 
 [brien]
 name = "Nicolas Robinson-O'Brien"
 
 [brien.emails]
 
 [brien.homepages]
 
 [kobayashi]
 name = "Hidetsune Kobayashi"
 
 [kobayashi.emails]
 
 [kobayashi.homepages]
 
 [krauss]
 name = "Alexander Krauss"
 
 [krauss.emails]
 krauss_email = "krauss@in.tum.de"
 
 [krauss.homepages]
 krauss_homepage = "http://www.in.tum.de/~krauss"
 
 [somaini]
 name = "Ivano Somaini"
 
 [somaini.emails]
 
 [somaini.homepages]
 
 [seidl]
 name = "Benedikt Seidl"
 
 [seidl.emails]
 seidl_email = "benedikt.seidl@tum.de"
 
 [seidl.homepages]
 
 [edmonds]
 name = "Chelsea Edmonds"
 
 [edmonds.emails]
 edmonds_email = "cle47@cam.ac.uk"
 
 [edmonds.homepages]
 edmonds_homepage = "https://www.cst.cam.ac.uk/people/cle47"
 
 [debrat]
 name = "Henri Debrat"
 
 [debrat.emails]
 debrat_email = "henri.debrat@loria.fr"
 
 [debrat.homepages]
 
 [holub]
 name = "Štěpán Holub"
 
 [holub.emails]
 holub_email = "holub@karlin.mff.cuni.cz"
 
 [holub.homepages]
 holub_homepage = "https://www2.karlin.mff.cuni.cz/~holub/"
 
 [beresford]
 name = "Alastair R. Beresford"
 
 [beresford.emails]
 beresford_email = "arb33@cam.ac.uk"
 beresford_email1 = "arb33@cl.cam.ac.uk"
 
 [beresford.homepages]
 
 [terraf]
 name = "Pedro Sánchez Terraf"
 
 [terraf.emails]
 terraf_email = "sterraf@famaf.unc.edu.ar"
 terraf_email1 = "psterraf@unc.edu.ar"
 
 [terraf.homepages]
 terraf_homepage = "https://cs.famaf.unc.edu.ar/~pedro/home_en.html"
 terraf_homepage1 = "https://cs.famaf.unc.edu.ar/~pedro/home_en"
 terraf_homepage2 = "https://cs.famaf.unc.edu.ar/~pedro"
 
 [raumer]
 name = "Jakob von Raumer"
 
 [raumer.emails]
 raumer_email = "psxjv4@nottingham.ac.uk"
 
 [raumer.homepages]
 
 [pagano]
 name = "Miguel Pagano"
 
 [pagano.emails]
 pagano_email = "pagano@famaf.unc.edu.ar"
 pagano_email1 = "miguel.pagano@unc.edu.ar"
 
 [pagano.homepages]
 pagano_homepage = "https://cs.famaf.unc.edu.ar/~mpagano/"
 
 [coglio]
 name = "Alessandro Coglio"
 
 [coglio.emails]
 coglio_email = "coglio@kestrel.edu"
 
 [coglio.homepages]
 coglio_homepage = "http://www.kestrel.edu/~coglio"
 
 [caballero]
 name = "José Manuel Rodríguez Caballero"
 
 [caballero.emails]
 caballero_email = "jose.manuel.rodriguez.caballero@ut.ee"
 
 [caballero.homepages]
 caballero_homepage = "https://josephcmac.github.io/"
 
 [grechuk]
 name = "Bogdan Grechuk"
 
 [grechuk.emails]
 grechuk_email = "grechukbogdan@yandex.ru"
 
 [grechuk.homepages]
 
 [sewell]
 name = "Thomas Sewell"
 
 [sewell.emails]
 
 [sewell.homepages]
 
 [leustean]
 name = "Laurentiu Leustean"
 
 [leustean.emails]
 
 [leustean.homepages]
 
 [rosskopf]
 name = "Simon Roßkopf"
 
 [rosskopf.emails]
 rosskopf_email = "rosskops@in.tum.de"
 
 [rosskopf.homepages]
 rosskopf_homepage = "http://www21.in.tum.de/~rosskops"
 
 [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"
 
 [diekmann]
 name = "Cornelius Diekmann"
 
 [diekmann.emails]
 diekmann_email = "diekmann@net.in.tum.de"
 
 [diekmann.homepages]
 diekmann_homepage = "http://net.in.tum.de/~diekmann"
 
 [fouillard]
 name = "Valentin Fouillard"
 
 [fouillard.emails]
 fouillard_email = "valentin.fouillard@limsi.fr"
 
 [fouillard.homepages]
 
 [willenbrink]
 name = "Sebastian Willenbrink"
 
 [willenbrink.emails]
 willenbrink_email = "sebastian.willenbrink@tum.de"
 
 [willenbrink.homepages]
 
 [xu]
 name = "Jian Xu"
 
 [xu.emails]
 
 [xu.homepages]
 
 [wang]
 name = "Shuling Wang"
 
 [wang.emails]
 
 [wang.homepages]
 
 [ridge]
 name = "Tom Ridge"
 
 [ridge.emails]
 
 [ridge.homepages]
 
 [kleppmann]
 name = "Martin Kleppmann"
 
 [kleppmann.emails]
 kleppmann_email = "martin.kleppmann@cl.cam.ac.uk"
 kleppmann_email1 = "mk428@cl.cam.ac.uk"
 
 [kleppmann.homepages]
 
 [kreuzer]
 name = "Katharina Kreuzer"
 
 [kreuzer.emails]
 kreuzer_email = "kreuzerk@in.tum.de"
 
 [kreuzer.homepages]
 kreuzer_homepage = "https://www21.in.tum.de/team/kreuzer/"
 
 [traut]
 name = "Christoph Traut"
 
 [traut.emails]
 
 [traut.homepages]
 
 [blanchette]
 name = "Jasmin Christian Blanchette"
 
 [blanchette.emails]
 blanchette_email = "jasmin.blanchette@gmail.com"
 blanchette_email1 = "j.c.blanchette@vu.nl"
 
 [blanchette.homepages]
 blanchette_homepage = "http://www21.in.tum.de/~blanchet"
 blanchette_homepage1 = "https://www.cs.vu.nl/~jbe248/"
 
 [van]
 name = "Hai Nguyen Van"
 
 [van.emails]
 van_email = "hai.nguyenvan.phie@gmail.com"
 
 [van.homepages]
 
 [brunner]
 name = "Julian Brunner"
 
 [brunner.emails]
 brunner_email = "brunnerj@in.tum.de"
 
 [brunner.homepages]
 brunner_homepage = "http://www21.in.tum.de/~brunnerj/"
 
 [reiche]
 name = "Sebastian Reiche"
 
 [reiche.emails]
 
 [reiche.homepages]
 reiche_homepage = "https://www.linkedin.com/in/sebastian-reiche-0b2093178"
 
 [eriksson]
 name = "Lars-Henrik Eriksson"
 
 [eriksson.emails]
 eriksson_email = "lhe@it.uu.se"
 
 [eriksson.homepages]
 
 [nipkow]
 name = "Tobias Nipkow"
 
 [nipkow.emails]
 nipkow_email = "nipkow@in.tum.de"
 
 [nipkow.homepages]
-nipkow_homepage = "http://www21.in.tum.de/~nipkow"
-nipkow_homepage1 = "http://www.in.tum.de/~nipkow/"
-nipkow_homepage2 = "http://www.in.tum.de/~nipkow"
-nipkow_homepage3 = "https://www.in.tum.de/~nipkow"
-nipkow_homepage4 = "http://www21.in.tum.de/~nipkow/"
+nipkow_homepage = "https://www.in.tum.de/~nipkow"
 
 [divason]
 name = "Jose Divasón"
 
 [divason.emails]
 divason_email = "jose.divasonm@unirioja.es"
 divason_email1 = "jose.divason@unirioja.es"
 
 [divason.homepages]
 divason_homepage = "http://www.unirioja.es/cu/jodivaso"
 divason_homepage1 = "http://www.unirioja.es/cu/jodivaso/"
 divason_homepage2 = "https://www.unirioja.es/cu/jodivaso/"
 
 [barsotti]
 name = "Damián Barsotti"
 
 [barsotti.emails]
 
 [barsotti.homepages]
 barsotti_homepage = "http://www.cs.famaf.unc.edu.ar/~damian/"
 
 [nagashima]
 name = "Yutaka Nagashima"
 
 [nagashima.emails]
 nagashima_email = "Yutaka.Nagashima@data61.csiro.au"
 
 [nagashima.homepages]
 
 [avigad]
 name = "Jeremy Avigad"
 
 [avigad.emails]
 avigad_email = "avigad@cmu.edu"
 
 [avigad.homepages]
 avigad_homepage = "http://www.andrew.cmu.edu/user/avigad/"
 
 [abdulaziz]
 name = "Mohammad Abdulaziz"
 
 [abdulaziz.emails]
 abdulaziz_email = "mansour@in.tum.de"
 abdulaziz_email1 = "mohammad.abdulaziz8@gmail.com"
 abdulaziz_email2 = "mohammad.abdulaziz@in.tum.de"
 
 [abdulaziz.homepages]
 abdulaziz_homepage = "http://home.in.tum.de/~mansour/"
 
 [kuncar]
 name = "Ondřej Kunčar"
 
 [kuncar.emails]
 
 [kuncar.homepages]
 kuncar_homepage = "http://www21.in.tum.de/~kuncar/"
 
 [borgstroem]
 name = "Johannes Borgström"
 
 [borgstroem.emails]
 borgstroem_email = "johannes.borgstrom@it.uu.se"
 
 [borgstroem.homepages]
 
 [kurz]
 name = "Friedrich Kurz"
 
 [kurz.emails]
 kurz_email = "friedrich.kurz@tum.de"
 
 [kurz.homepages]
 
 [noschinski]
 name = "Lars Noschinski"
 
 [noschinski.emails]
 noschinski_email = "noschinl@gmail.com"
 
 [noschinski.homepages]
 noschinski_homepage = "http://www21.in.tum.de/~noschinl/"
 
 [liy]
 name = "Yangjia Li"
 
 [liy.emails]
 
 [liy.homepages]
 
 [wimmer]
 name = "Simon Wimmer"
 
 [wimmer.emails]
 wimmer_email = "simon.wimmer@tum.de"
 wimmer_email1 = "wimmers@in.tum.de"
 
 [wimmer.homepages]
 wimmer_homepage = "http://in.tum.de/~wimmers"
 wimmer_homepage1 = "http://home.in.tum.de/~wimmers/"
 
 [gammie]
 name = "Peter Gammie"
 
 [gammie.emails]
 gammie_email = "peteg42@gmail.com"
 
 [gammie.homepages]
 gammie_homepage = "http://peteg.org"
 
 [snelting]
 name = "Gregor Snelting"
 
 [snelting.emails]
 
 [snelting.homepages]
 snelting_homepage = "http://pp.info.uni-karlsruhe.de/personhp/gregor_snelting.php"
 
 [stark]
 name = "Eugene W. Stark"
 
 [stark.emails]
 stark_email = "stark@cs.stonybrook.edu"
 
 [stark.homepages]
 
 [engelhardt]
 name = "Kai Engelhardt"
 
 [engelhardt.emails]
 
 [engelhardt.homepages]
 
 [fleury]
 name = "Mathias Fleury"
 
 [fleury.emails]
 fleury_email = "fleury@mpi-inf.mpg.de"
 fleury_email1 = "mathias.fleury@jku.at"
 
 [fleury.homepages]
 fleury_homepage = "http://fmv.jku.at/fleury"
 
 [griebel]
 name = "Simon Griebel"
 
 [griebel.emails]
 griebel_email = "s.griebel@tum.de"
 
 [griebel.homepages]
 
 [zhang]
 name = "Yu Zhang"
 
 [zhang.emails]
 
 [zhang.homepages]
 
 [spichkova]
 name = "Maria Spichkova"
 
 [spichkova.emails]
 spichkova_email = "maria.spichkova@rmit.edu.au"
 
 [spichkova.homepages]
 
 [andronick]
 name = "June Andronick"
 
 [andronick.emails]
 
 [andronick.homepages]
 
 [lammich]
 name = "Peter Lammich"
 
 [lammich.emails]
 lammich_email = "lammich@in.tum.de"
 lammich_email1 = "peter.lammich@uni-muenster.de"
 
 [lammich.homepages]
 lammich_homepage = "http://www21.in.tum.de/~lammich"
 
 [maricf]
 name = "Filip Marić"
 
 [maricf.emails]
 maricf_email = "filip@matf.bg.ac.rs"
 
 [maricf.homepages]
 maricf_homepage = "http://www.matf.bg.ac.rs/~filip"
 maricf_homepage1 = "http://poincare.matf.bg.ac.rs/~filip/"
 
 [popescu]
 name = "Andrei Popescu"
 
 [popescu.emails]
 popescu_email = "a.popescu@sheffield.ac.uk"
 popescu_email1 = "uuomul@yahoo.com"
 popescu_email2 = "a.popescu@mdx.ac.uk"
 
 [popescu.homepages]
 popescu_homepage = "https://www.andreipopescu.uk"
 
 [chen]
 name = "L. Chen"
 
 [chen.emails]
 
 [chen.homepages]
 
 [helke]
 name = "Steffen Helke"
 
 [helke.emails]
 helke_email = "helke@cs.tu-berlin.de"
 
 [helke.homepages]
 
 [pohjola]
 name = "Johannes Åman Pohjola"
 
 [pohjola.emails]
 
 [pohjola.homepages]
 
 [yingm]
 name = "Mingsheng Ying"
 
 [yingm.emails]
 
 [yingm.homepages]
 
 [fosterj]
 name = "J. Nathan Foster"
 
 [fosterj.emails]
 
 [fosterj.homepages]
 fosterj_homepage = "http://www.cs.cornell.edu/~jnfoster/"
 
 [verbeek]
 name = "Freek Verbeek"
 
 [verbeek.emails]
 verbeek_email = "Freek.Verbeek@ou.nl"
 verbeek_email1 = "freek@vt.edu"
 
 [verbeek.homepages]
 
 [struth]
 name = "Georg Struth"
 
 [struth.emails]
 struth_email = "g.struth@sheffield.ac.uk"
 struth_email1 = "g.struth@dcs.shef.ac.uk"
 
 [struth.homepages]
 struth_homepage = "http://www.dcs.shef.ac.uk/~georg"
 struth_homepage1 = "http://staffwww.dcs.shef.ac.uk/people/G.Struth/"
 
 [mitsch]
 name = "Stefan Mitsch"
 
 [mitsch.emails]
 mitsch_email = "smitsch@cs.cmu.edu"
 
 [mitsch.homepages]
 
 [nordhoff]
 name = "Benedikt Nordhoff"
 
 [nordhoff.emails]
 nordhoff_email = "b.n@wwu.de"
 nordhoff_email1 = "b_nord01@uni-muenster.de"
 
 [nordhoff.homepages]
 
 [kirchner]
 name = "Daniel Kirchner"
 
 [kirchner.emails]
 kirchner_email = "daniel@ekpyron.org"
 
 [kirchner.homepages]
 
 [merz]
 name = "Stephan Merz"
 
 [merz.emails]
 merz_email = "Stephan.Merz@loria.fr"
 
 [merz.homepages]
 merz_homepage = "http://www.loria.fr/~merz"
 
 [fernandez]
 name = "Matthew Fernandez"
 
 [fernandez.emails]
 
 [fernandez.homepages]
 
 [kolanski]
 name = "Rafal Kolanski"
 
 [kolanski.emails]
 kolanski_email = "rafal.kolanski@nicta.com.au"
 
 [kolanski.homepages]
 
 [strnisa]
 name = "Rok Strniša"
 
 [strnisa.emails]
 strnisa_email = "rok@strnisa.com"
 
 [strnisa.homepages]
 strnisa_homepage = "http://rok.strnisa.com/lj/"
 
 [liuy]
 name = "Yang Liu"
 
 [liuy.emails]
 liuy_email = "yangliu@ntu.edu.sg"
 
 [liuy.homepages]
 
 [jacobsen]
 name = "Frederik Krogsdal Jacobsen"
 
 [jacobsen.emails]
 jacobsen_email = "fkjac@dtu.dk"
 
 [jacobsen.homepages]
 jacobsen_homepage = "http://people.compute.dtu.dk/fkjac/"
 
 [crighton]
 name = "Aaron Crighton"
 
 [crighton.emails]
 crighton_email = "crightoa@mcmaster.ca"
 
 [crighton.homepages]
 
 [matiyasevich]
 name = "Yuri Matiyasevich"
 
 [matiyasevich.emails]
 
 [matiyasevich.homepages]
 
 [kaliszyk]
 name = "Cezary Kaliszyk"
 
 [kaliszyk.emails]
 kaliszyk_email = "cezary.kaliszyk@uibk.ac.at"
 
 [kaliszyk.homepages]
 kaliszyk_homepage = "http://cl-informatik.uibk.ac.at/users/cek/"
 kaliszyk_homepage1 = "http://cl-informatik.uibk.ac.at/cek/"
 
 [voisin]
 name = "Frederic Voisin"
 
 [voisin.emails]
 
 [voisin.homepages]
 
 [kaufmann]
 name = "Daniela Kaufmann"
 
 [kaufmann.emails]
 
 [kaufmann.homepages]
 kaufmann_homepage = "http://fmv.jku.at/kaufmann"
 
 [milehins]
 name = "Mihails Milehins"
 
 [milehins.emails]
 milehins_email = "mihailsmilehins@gmail.com"
 
 [milehins.homepages]
 
 [cordwell]
 name = "Katherine Cordwell"
 
 [cordwell.emails]
 cordwell_email = "kcordwel@cs.cmu.edu"
 
 [cordwell.homepages]
 cordwell_homepage = "https://www.cs.cmu.edu/~kcordwel/"
 
 [smaus]
 name = "Jan-Georg Smaus"
 
 [smaus.emails]
 
 [smaus.homepages]
 smaus_homepage = "http://www.irit.fr/~Jan-Georg.Smaus"
 
 [sefidgar]
 name = "S. Reza Sefidgar"
 
 [sefidgar.emails]
 sefidgar_email = "reza.sefidgar@inf.ethz.ch"
 
 [sefidgar.homepages]
 
 [steinberg]
 name = "Matías Steinberg"
 
 [steinberg.emails]
 steinberg_email = "matias.steinberg@mi.unc.edu.ar"
 
 [steinberg.homepages]
 
 [furusawa]
 name = "Hitoshi Furusawa"
 
 [furusawa.emails]
 
 [furusawa.homepages]
 furusawa_homepage = "http://www.sci.kagoshima-u.ac.jp/~furusawa/"
 
 [unruh]
 name = "Dominique Unruh"
 
 [unruh.emails]
 unruh_email = "unruh@ut.ee"
 
 [unruh.homepages]
 unruh_homepage = "http://kodu.ut.ee/~unruh/"
 unruh_homepage1 = "https://www.ut.ee/~unruh/"
 
 [yamada]
 name = "Akihisa Yamada"
 
 [yamada.emails]
 yamada_email = "akihisa.yamada@uibk.ac.at"
 yamada_email1 = "ayamada@trs.cm.is.nagoya-u.ac.jp"
 yamada_email2 = "akihisa.yamada@aist.go.jp"
 yamada_email3 = "akihisayamada@nii.ac.jp"
 
 [yamada.homepages]
 yamada_homepage = "http://group-mmm.org/~ayamada/"
 
 [smola]
 name = "Filip Smola"
 
 [smola.emails]
 smola_email = "f.smola@sms.ed.ac.uk"
 
 [smola.homepages]
 
 [pusch]
 name = "Cornelia Pusch"
 
 [pusch.emails]
 
 [pusch.homepages]
 
 [ogawa]
 name = "Mizuhito Ogawa"
 
 [ogawa.emails]
 
 [ogawa.homepages]
 
 [bulwahn]
 name = "Lukas Bulwahn"
 
 [bulwahn.emails]
 bulwahn_email = "lukas.bulwahn@gmail.com"
 
 [bulwahn.homepages]
 
 [obua]
 name = "Steven Obua"
 
 [obua.emails]
 obua_email = "steven@recursivemind.com"
 
 [obua.homepages]
 
 [bayer]
 name = "Jonas Bayer"
 
 [bayer.emails]
 bayer_email = "jonas.bayer999@gmail.com"
 
 [bayer.homepages]
 
 [brun]
 name = "Matthias Brun"
 
 [brun.emails]
 brun_email = "matthias.brun@inf.ethz.ch"
 
 [brun.homepages]
 
 [aransay]
 name = "Jesús Aransay"
 
 [aransay.emails]
 aransay_email = "jesus-maria.aransay@unirioja.es"
 
 [aransay.homepages]
 aransay_homepage = "http://www.unirioja.es/cu/jearansa"
 aransay_homepage1 = "https://www.unirioja.es/cu/jearansa"
 
 [gioiosa]
 name = "Gianpaolo Gioiosa"
 
 [gioiosa.emails]
 
 [gioiosa.homepages]
 
 [karayel]
 name = "Emin Karayel"
 
 [karayel.emails]
 karayel_email = "me@eminkarayel.de"
 
 [karayel.homepages]
 karayel_homepage = "https://orcid.org/0000-0003-3290-5034"
 
 [koller]
 name = "Lukas Koller"
 
 [koller.emails]
 koller_email = "lukas.koller@tum.de"
 
 [koller.homepages]
 
 [starosta]
 name = "Štěpán Starosta"
 
 [starosta.emails]
 starosta_email = "stepan.starosta@fit.cvut.cz"
 
 [starosta.homepages]
 starosta_homepage = "https://users.fit.cvut.cz/~staroste/"
 
 [zhangx]
 name = "Xingyuan Zhang"
 
 [zhangx.emails]
 
 [zhangx.homepages]
 
 [katovsky]
 name = "Alexander Katovsky"
 
 [katovsky.emails]
 katovsky_email = "apk32@cam.ac.uk"
 katovsky_email1 = "alexander.katovsky@cantab.net"
 
 [katovsky.homepages]
 
 [roessle]
 name = "Ian Roessle"
 
 [roessle.emails]
 
 [roessle.homepages]
 
 [schoepf]
 name = "Jonas Schöpf"
 
 [schoepf.emails]
 schoepf_email = "jonas.schoepf@uibk.ac.at"
 
 [schoepf.homepages]
 
 [gheri]
 name = "Lorenzo Gheri"
 
 [gheri.emails]
 gheri_email = "lor.gheri@gmail.com"
 
 [gheri.homepages]
 
 [oosterhuis]
 name = "Roelof Oosterhuis"
 
 [oosterhuis.emails]
 oosterhuis_email = "roelofoosterhuis@gmail.com"
 
 [oosterhuis.homepages]
 
 [robillard]
 name = "Simon Robillard"
 
 [robillard.emails]
 
 [robillard.homepages]
 robillard_homepage = "https://simon-robillard.net/"
 
 [rauch]
 name = "Nicole Rauch"
 
 [rauch.emails]
 rauch_email = "rauch@informatik.uni-kl.de"
 
 [rauch.homepages]
 
 [wolff]
 name = "Burkhart Wolff"
 
 [wolff.emails]
 wolff_email = "wolff@lri.fr"
 wolff_email1 = "burkhart.wolff@lri.fr"
 
 [wolff.homepages]
 wolff_homepage = "https://www.lri.fr/~wolff/"
 
 [lattuada]
 name = "Andrea Lattuada"
 
 [lattuada.emails]
 
 [lattuada.homepages]
 lattuada_homepage = "https://andrea.lattuada.me"
 
 [pierzchalski]
 name = "Edward Pierzchalski"
 
 [pierzchalski.emails]
 
 [pierzchalski.homepages]
 
 [chaieb]
 name = "Amine Chaieb"
 
 [chaieb.emails]
 
 [chaieb.homepages]
 
 [raszyk]
 name = "Martin Raszyk"
 
 [raszyk.emails]
 raszyk_email = "martin.raszyk@inf.ethz.ch"
 raszyk_email1 = "m.raszyk@gmail.com"
 
 [raszyk.homepages]
 
 [zee]
 name = "Karen Zee"
 
 [zee.emails]
 zee_email = "kkz@mit.edu"
 
 [zee.homepages]
 zee_homepage = "http://www.mit.edu/~kkz/"
 
 [jensen]
 name = "Alexander Birch Jensen"
 
 [jensen.emails]
 jensen_email = "aleje@dtu.dk"
 
 [jensen.homepages]
 jensen_homepage = "https://people.compute.dtu.dk/aleje/"
 
 [murray]
 name = "Toby Murray"
 
 [murray.emails]
 murray_email = "toby.murray@unimelb.edu.au"
 
 [murray.homepages]
 murray_homepage = "http://people.eng.unimelb.edu.au/tobym/"
 murray_homepage1 = "https://people.eng.unimelb.edu.au/tobym/"
 
 [hupel]
 name = "Lars Hupel"
 
 [hupel.emails]
 hupel_email = "hupel@in.tum.de"
 hupel_email1 = "lars@hupel.info"
 
 [hupel.homepages]
 hupel_homepage = "https://www21.in.tum.de/~hupel/"
 hupel_homepage1 = "https://lars.hupel.info/"
 
 [rowat]
 name = "Colin Rowat"
 
 [rowat.emails]
 rowat_email = "c.rowat@bham.ac.uk"
 
 [rowat.homepages]
 
 [schneider]
 name = "Joshua Schneider"
 
 [schneider.emails]
 schneider_email = "joshua.schneider@inf.ethz.ch"
 
 [schneider.homepages]
 
 [cousin]
 name = "Marie Cousin"
 
 [cousin.emails]
 cousin_email = "marie.cousin@grenoble-inp.org"
 
 [cousin.homepages]
 
 [parsert]
 name = "Julian Parsert"
 
 [parsert.emails]
 parsert_email = "julian.parsert@gmail.com"
 parsert_email1 = "julian.parsert@uibk.ac.at"
 
 [parsert.homepages]
 parsert_homepage = "http://www.parsert.com/"
 
 [aehlig]
 name = "Klaus Aehlig"
 
 [aehlig.emails]
 
 [aehlig.homepages]
 aehlig_homepage = "http://www.linta.de/~aehlig/"
 
 [argyraki]
 name = "Angeliki Koutsoukou-Argyraki"
 
 [argyraki.emails]
 argyraki_email = "ak2110@cam.ac.uk"
 
 [argyraki.homepages]
 argyraki_homepage = "https://www.cl.cam.ac.uk/~ak2110/"
 argyraki_homepage1 = "http://www.cl.cam.ac.uk/~ak2110/"
 argyraki_homepage2 = "https://www.cst.cam.ac.uk/people/ak2110"
 
 [ye]
 name = "Lina Ye"
 
 [ye.emails]
 ye_email = "lina.ye@lri.fr"
 
 [ye.homepages]
 
 [moeller]
 name = "Bernhard Möller"
 
 [moeller.emails]
 
 [moeller.homepages]
 moeller_homepage = "https://www.informatik.uni-augsburg.de/en/chairs/dbis/pmi/staff/moeller/"
 
 [zankl]
 name = "Harald Zankl"
 
 [zankl.emails]
 zankl_email = "Harald.Zankl@uibk.ac.at"
 
 [zankl.homepages]
 zankl_homepage = "http://cl-informatik.uibk.ac.at/users/hzankl"
 
 [langenstein]
 name = "Bruno Langenstein"
 
 [langenstein.emails]
 langenstein_email = "langenstein@dfki.de"
 
 [langenstein.homepages]
 
 [breitner]
 name = "Joachim Breitner"
 
 [breitner.emails]
 breitner_email = "mail@joachim-breitner.de"
 breitner_email1 = "joachim@cis.upenn.edu"
 
 [breitner.homepages]
 breitner_homepage = "http://pp.ipd.kit.edu/~breitner"
 
 [thommes]
 name = "Joseph Thommes"
 
 [thommes.emails]
 thommes_email = "joseph-thommes@gmx.de"
 
 [thommes.homepages]
 
 [loibl]
 name = "Matthias Loibl"
 
 [loibl.emails]
 
 [loibl.homepages]
 
 [cock]
 name = "David Cock"
 
 [cock.emails]
 cock_email = "david.cock@nicta.com.au"
 
 [cock.homepages]
 
 [stuewe]
 name = "Daniel Stüwe"
 
 [stuewe.emails]
 
 [stuewe.homepages]
 
 [decova]
 name = "Sára Decova"
 
 [decova.emails]
 
 [decova.homepages]
 
 [nikiforov]
 name = "Denis Nikiforov"
 
 [nikiforov.emails]
 nikiforov_email = "denis.nikif@gmail.com"
 
 [nikiforov.homepages]
 
 [traytel]
 name = "Dmitriy Traytel"
 
 [traytel.emails]
 traytel_email = "traytel@in.tum.de"
 traytel_email1 = "traytel@inf.ethz.ch"
 traytel_email2 = "traytel@di.ku.dk"
 
 [traytel.homepages]
 traytel_homepage = "https://traytel.bitbucket.io"
 traytel_homepage1 = "https://traytel.bitbucket.io/"
 
 [tverdyshev]
 name = "Sergey Tverdyshev"
 
 [tverdyshev.emails]
 tverdyshev_email = "stv@sysgo.com"
 
 [tverdyshev.homepages]
 
 [wassell]
 name = "Mark Wassell"
 
 [wassell.emails]
 wassell_email = "mpwassell@gmail.com"
 
 [wassell.homepages]
 
 [ijbema]
 name = "Mark Ijbema"
 
 [ijbema.emails]
 ijbema_email = "ijbema@fmf.nl"
 
 [ijbema.homepages]
 
 [wirt]
 name = "Kai Wirt"
 
 [wirt.emails]
 
 [wirt.homepages]
 
 [matache]
 name = "Cristina Matache"
 
 [matache.emails]
 matache_email = "cris.matache@gmail.com"
 
 [matache.homepages]
 
 [ito]
 name = "Yosuke Ito"
 
 [ito.emails]
 ito_email = "glacier345@gmail.com"
 
 [ito.homepages]
 
 [maric]
 name = "Ognjen Marić"
 
 [maric.emails]
 maric_email = "ogi.afp@mynosefroze.com"
 
 [maric.homepages]
 
 [heimes]
 name = "Lukas Heimes"
 
 [heimes.emails]
 heimes_email = "heimesl@student.ethz.ch"
 
 [heimes.homepages]
 
 [parrow]
 name = "Joachim Parrow"
 
 [parrow.emails]
 parrow_email = "joachim.parrow@it.uu.se"
 
 [parrow.homepages]
 
 [naraschewski]
 name = "Wolfgang Naraschewski"
 
 [naraschewski.emails]
 
 [naraschewski.homepages]
 
 [amani]
 name = "Sidney Amani"
 
 [amani.emails]
 amani_email = "sidney.amani@data61.csiro.au"
 
 [amani.homepages]
 
 [palmer]
 name = "Jake Palmer"
 
 [palmer.emails]
 palmer_email = "jake.palmer@ed.ac.uk"
 
 [palmer.homepages]
 
 [bockenek]
 name = "Joshua Bockenek"
 
 [bockenek.emails]
 
 [bockenek.homepages]
 
 [lachnitt]
 name = "Hanna Lachnitt"
 
 [lachnitt.emails]
 lachnitt_email = "lachnitt@stanford.edu"
 
 [lachnitt.homepages]
 
 [rabe]
 name = "Markus N. Rabe"
 
 [rabe.emails]
 
 [rabe.homepages]
 rabe_homepage = "http://www.react.uni-saarland.de/people/rabe.html"
 
 [munive]
 name = "Jonathan Julian Huerta y Munive"
 
 [munive.emails]
 munive_email = "jjhuertaymunive1@sheffield.ac.uk"
 munive_email1 = "jonjulian23@gmail.com"
 
 [munive.homepages]
 
 [gouezel]
 name = "Sebastien Gouezel"
 
 [gouezel.emails]
 gouezel_email = "sebastien.gouezel@univ-rennes1.fr"
 
 [gouezel.homepages]
 gouezel_homepage = "http://www.math.sciences.univ-nantes.fr/~gouezel/"
 
 [brucker]
 name = "Achim D. Brucker"
 
 [brucker.emails]
 brucker_email = "a.brucker@exeter.ac.uk"
 brucker_email1 = "brucker@spamfence.net"
 brucker_email2 = "adbrucker@0x5f.org"
 
 [brucker.homepages]
 brucker_homepage = "https://www.brucker.ch/"
 brucker_homepage1 = "https://www.brucker.ch"
 
 [sato]
 name = "Tetsuya Sato"
 
 [sato.emails]
 sato_email = "tsato@c.titech.ac.jp"
 
 [sato.homepages]
 sato_homepage = "https://sites.google.com/view/tetsuyasato/"
 
 [huffman]
 name = "Brian Huffman"
 
 [huffman.emails]
 huffman_email = "huffman@in.tum.de"
 huffman_email1 = "brianh@cs.pdx.edu"
 
 [huffman.homepages]
 huffman_homepage = "http://web.cecs.pdx.edu/~brianh/"
 huffman_homepage1 = "http://cs.pdx.edu/~brianh"
 
 [fleuriot]
 name = "Jacques D. Fleuriot"
 
 [fleuriot.emails]
 fleuriot_email = "Jacques.Fleuriot@ed.ac.uk"
 fleuriot_email1 = "jdf@ed.ac.uk"
 
 [fleuriot.homepages]
 fleuriot_homepage = "https://www.inf.ed.ac.uk/people/staff/Jacques_Fleuriot.html"
 
 [hess]
 name = "Andreas V. Hess"
 
 [hess.emails]
 hess_email = "avhe@dtu.dk"
 hess_email1 = "andreasvhess@gmail.com"
 
 [hess.homepages]
 
 [marmsoler]
 name = "Diego Marmsoler"
 
 [marmsoler.emails]
 marmsoler_email = "diego.marmsoler@tum.de"
 
 [marmsoler.homepages]
 marmsoler_homepage = "http://marmsoler.com"
 
 [hibon]
 name = "Quentin Hibon"
 
 [hibon.emails]
 hibon_email = "qh225@cl.cam.ac.uk"
 
 [hibon.homepages]
 
 [tasch]
 name = "Markus Tasch"
 
 [tasch.emails]
 tasch_email = "tasch@mais.informatik.tu-darmstadt.de"
 
 [tasch.homepages]
 
 [doty]
 name = "Matthew Wampler-Doty"
 
 [doty.emails]
 
 [doty.homepages]
 
 [berghofer]
 name = "Stefan Berghofer"
 
 [berghofer.emails]
 berghofer_email = "berghofe@in.tum.de"
 
 [berghofer.homepages]
 berghofer_homepage = "http://www.in.tum.de/~berghofe"
 
 [hirata]
 name = "Michikazu Hirata"
 
 [hirata.emails]
 hirata_email = "hirata.m.ac@m.titech.ac.jp"
 
 [hirata.homepages]
 
 [sylvestre]
 name = "Jeremy Sylvestre"
 
 [sylvestre.emails]
 sylvestre_email = "jeremy.sylvestre@ualberta.ca"
 sylvestre_email1 = "jsylvest@ualberta.ca"
 
 [sylvestre.homepages]
 sylvestre_homepage = "http://ualberta.ca/~jsylvest/"
 
 [lindenberg]
 name = "Christina Lindenberg"
 
 [lindenberg.emails]
 
 [lindenberg.homepages]
 
 [joosten]
 name = "Sebastiaan J. C. Joosten"
 
 [joosten.emails]
 joosten_email = "sebastiaan.joosten@uibk.ac.at"
 joosten_email1 = "sjcjoosten@gmail.com"
 joosten_email2 = "s.j.c.joosten@utwente.nl"
 
 [joosten.homepages]
 joosten_homepage = "https://sjcjoosten.nl"
 joosten_homepage1 = "https://sjcjoosten.nl/"
 
 [blumson]
 name = "Ben Blumson"
 
 [blumson.emails]
 blumson_email = "benblumson@gmail.com"
 
 [blumson.homepages]
 blumson_homepage = "https://philpapers.org/profile/805"
 blumson_homepage1 = "https://philpeople.org/profiles/ben-blumson"
 
 [hosking]
 name = "Tony Hosking"
 
 [hosking.emails]
 
 [hosking.homepages]
 hosking_homepage = "https://www.cs.purdue.edu/homes/hosking/"
 
 [preoteasa]
 name = "Viorel Preoteasa"
 
 [preoteasa.emails]
 preoteasa_email = "viorel.preoteasa@aalto.fi"
 
 [preoteasa.homepages]
 preoteasa_homepage = "http://users.abo.fi/vpreotea/"
 
 [gutkovas]
 name = "Ramunas Gutkovas"
 
 [gutkovas.emails]
 gutkovas_email = "ramunas.gutkovas@it.uu.se"
 
 [gutkovas.homepages]
 
 [minamide]
 name = "Yasuhiko Minamide"
 
 [minamide.emails]
 minamide_email = "minamide@is.titech.ac.jp"
 
 [minamide.homepages]
 minamide_homepage = "https://sv.c.titech.ac.jp/minamide/index.en.html"
 
 [waldmann]
 name = "Uwe Waldmann"
 
 [waldmann.emails]
 waldmann_email = "waldmann@mpi-inf.mpg.de"
 waldmann_email1 = "uwe@mpi-inf.mpg.de"
 
 [waldmann.homepages]
 
 [lewis]
 name = "Corey Lewis"
 
 [lewis.emails]
 lewis_email = "corey.lewis@data61.csiro.au"
 
 [lewis.homepages]
 
 [peters]
 name = "Kirstin Peters"
 
 [peters.emails]
 peters_email = "kirstin.peters@tu-berlin.de"
 
 [peters.homepages]
 
 [ortner]
 name = "Veronika Ortner"
 
 [ortner.emails]
 
 [ortner.homepages]
 
 [fiedler]
 name = "Ben Fiedler"
 
 [fiedler.emails]
 fiedler_email = "ben.fiedler@inf.ethz.ch"
 
 [fiedler.homepages]
 
 [becker]
 name = "Heiko Becker"
 
 [becker.emails]
 becker_email = "hbecker@mpi-sws.org"
 
 [becker.homepages]
 
 [bracevac]
 name = "Oliver Bračevac"
 
 [bracevac.emails]
 bracevac_email = "bracevac@st.informatik.tu-darmstadt.de"
 
 [bracevac.homepages]
 
 [bohrer]
 name = "Rose Bohrer"
 
 [bohrer.emails]
 bohrer_email = "rose.bohrer.cs@gmail.com"
 
 [bohrer.homepages]
 
 [londono]
 name = "Alejandro Gómez-Londoño"
 
 [londono.emails]
 londono_email = "alejandro.gomez@chalmers.se"
 
 [londono.homepages]
 
 [armstrong]
 name = "Alasdair Armstrong"
 
 [armstrong.emails]
 
 [armstrong.homepages]
 
 [glabbeek]
 name = "Rob van Glabbeek"
 
 [glabbeek.emails]
 
 [glabbeek.homepages]
 glabbeek_homepage = "http://theory.stanford.edu/~rvg/"
 
 [jiangd]
 name = "Dongchen Jiang"
 
 [jiangd.emails]
 jiangd_email = "dongchenjiang@googlemail.com"
 
 [jiangd.homepages]
 
 [meis]
 name = "Rene Meis"
 
 [meis.emails]
 meis_email = "rene.meis@uni-muenster.de"
 meis_email1 = "rene.meis@uni-due.de"
 
 [meis.homepages]
 
 [hofmann]
 name = "Martin Hofmann"
 
 [hofmann.emails]
 
 [hofmann.homepages]
 hofmann_homepage = "http://www.tcs.informatik.uni-muenchen.de/~mhofmann"
 
 [kerber]
 name = "Manfred Kerber"
 
 [kerber.emails]
 kerber_email = "mnfrd.krbr@gmail.com"
 
 [kerber.homepages]
 kerber_homepage = "http://www.cs.bham.ac.uk/~mmk"
 
 [linker]
 name = "Sven Linker"
 
 [linker.emails]
 linker_email = "s.linker@liverpool.ac.uk"
 
 [linker.homepages]
 
 [balbach]
 name = "Frank J. Balbach"
 
 [balbach.emails]
 balbach_email = "frank-balbach@gmx.de"
 
 [balbach.homepages]
 
 [weber]
 name = "Tjark Weber"
 
 [weber.emails]
 weber_email = "tjark.weber@it.uu.se"
 
 [weber.homepages]
 weber_homepage = "http://user.it.uu.se/~tjawe125/"
 
 [hellauer]
 name = "Fabian Hellauer"
 
 [hellauer.emails]
 hellauer_email = "hellauer@in.tum.de"
 
 [hellauer.homepages]
 
 [reiter]
 name = "Markus Reiter"
 
 [reiter.emails]
 
 [reiter.homepages]
 
 [herzberg]
 name = "Michael Herzberg"
 
 [herzberg.emails]
 herzberg_email = "mail@michael-herzberg.de"
 
 [herzberg.homepages]
 herzberg_homepage = "http://www.dcs.shef.ac.uk/cgi-bin/makeperson?M.Herzberg"
 
 [overbeek]
 name = "Roy Overbeek"
 
 [overbeek.emails]
 overbeek_email = "Roy.Overbeek@cwi.nl"
 
 [overbeek.homepages]
 
 [koerner]
 name = "Stefan Körner"
 
 [koerner.emails]
 koerner_email = "s_koer03@uni-muenster.de"
 
 [koerner.homepages]
 
 [tan]
 name = "Yong Kiam Tan"
 
 [tan.emails]
 tan_email = "yongkiat@cs.cmu.edu"
 
 [tan.homepages]
 tan_homepage = "https://www.cs.cmu.edu/~yongkiat/"
 
 [esparza]
 name = "Javier Esparza"
 
 [esparza.emails]
 
 [esparza.homepages]
 esparza_homepage = "https://www7.in.tum.de/~esparza/"
 
 [platzer]
 name = "André Platzer"
 
 [platzer.emails]
 platzer_email = "aplatzer@cs.cmu.edu"
 
 [platzer.homepages]
 platzer_homepage = "https://www.cs.cmu.edu/~aplatzer/"
 platzer_homepage1 = "http://www.cs.cmu.edu/~aplatzer/"
 
 [matichuk]
 name = "Daniel Matichuk"
 
 [matichuk.emails]
 
 [matichuk.homepages]
 
 [rawson]
 name = "Michael Rawson"
 
 [rawson.emails]
 rawson_email = "michaelrawson76@gmail.com"
 rawson_email1 = "mr644@cam.ac.uk"
 
 [rawson.homepages]
 
 [bisping]
 name = "Benjamin Bisping"
 
 [bisping.emails]
 bisping_email = "benjamin.bisping@campus.tu-berlin.de"
 
 [bisping.homepages]
 
 [sanan]
 name = "David Sanan"
 
 [sanan.emails]
 sanan_email = "sanan@ntu.edu.sg"
 
 [sanan.homepages]
 
 [jungnickel]
 name = "Tim Jungnickel"
 
 [jungnickel.emails]
 jungnickel_email = "tim.jungnickel@tu-berlin.de"
 
 [jungnickel.homepages]
 
 [ammer]
 name = "Thomas Ammer"
 
 [ammer.emails]
 
 [ammer.homepages]
 
 [mulligan]
 name = "Dominic P. Mulligan"
 
 [mulligan.emails]
 mulligan_email = "dominic.p.mulligan@googlemail.com"
 mulligan_email1 = "Dominic.Mulligan@arm.com"
 
 [mulligan.homepages]
 
 [georgescu]
 name = "George Georgescu"
 
 [georgescu.emails]
 
 [georgescu.homepages]
 
 [aissat]
 name = "Romain Aissat"
 
 [aissat.emails]
 
 [aissat.homepages]
 
 [gore]
 name = "Rajeev Gore"
 
 [gore.emails]
 gore_email = "rajeev.gore@anu.edu.au"
 
 [gore.homepages]
 
 [gomes]
 name = "Victor B. F. Gomes"
 
 [gomes.emails]
 gomes_email = "victor.gomes@cl.cam.ac.uk"
 gomes_email1 = "vb358@cam.ac.uk"
 gomes_email2 = "victorborgesfg@gmail.com"
 gomes_email3 = "vb358@cl.cam.ac.uk"
 gomes_email4 = "vborgesferreiragomes1@sheffield.ac.uk"
 
 [gomes.homepages]
 gomes_homepage = "http://www.dcs.shef.ac.uk/~victor"
 
 [trachtenherz]
 name = "David Trachtenherz"
 
 [trachtenherz.emails]
 
 [trachtenherz.homepages]
 
 [lohner]
 name = "Denis Lohner"
 
 [lohner.emails]
 lohner_email = "denis.lohner@kit.edu"
 
 [lohner.homepages]
 lohner_homepage = "http://pp.ipd.kit.edu/person.php?id=88"
 
 [richter]
 name = "Stefan Richter"
 
 [richter.emails]
 richter_email = "richter@informatik.rwth-aachen.de"
 
 [richter.homepages]
 richter_homepage = "http://www-lti.informatik.rwth-aachen.de/~richter/"
 
 [nemeti]
 name = "István Németi"
 
 [nemeti.emails]
 
 [nemeti.homepages]
 nemeti_homepage = "http://www.renyi.hu/~nemeti/"
 
 [bentkamp]
 name = "Alexander Bentkamp"
 
 [bentkamp.emails]
 bentkamp_email = "bentkamp@gmail.com"
 bentkamp_email1 = "a.bentkamp@vu.nl"
 
 [bentkamp.homepages]
 bentkamp_homepage = "https://www.cs.vu.nl/~abp290/"
 
 [zeyda]
 name = "Frank Zeyda"
 
 [zeyda.emails]
 zeyda_email = "frank.zeyda@york.ac.uk"
 
 [zeyda.homepages]
 
 [tuerk]
 name = "Thomas Tuerk"
 
 [tuerk.emails]
 
 [tuerk.homepages]
 
 [ribeiro]
 name = "Pedro Ribeiro"
 
 [ribeiro.emails]
 
 [ribeiro.homepages]
 
 [raedle]
 name = "Jonas Rädle"
 
 [raedle.emails]
 raedle_email = "jonas.raedle@gmail.com"
 raedle_email1 = "jonas.raedle@tum.de"
 
 [raedle.homepages]
 
 [peltier]
 name = "Nicolas Peltier"
 
 [peltier.emails]
 peltier_email = "Nicolas.Peltier@imag.fr"
 
 [peltier.homepages]
 peltier_homepage = "http://membres-lig.imag.fr/peltier/"
 
 [kappelmann]
 name = "Kevin Kappelmann"
 
 [kappelmann.emails]
 kappelmann_email = "kevin.kappelmann@tum.de"
 
 [kappelmann.homepages]
 kappelmann_homepage = "https://www21.in.tum.de/team/kappelmk/"
 
 [hoelzl]
 name = "Johannes Hölzl"
 
 [hoelzl.emails]
 hoelzl_email = "hoelzl@in.tum.de"
 
 [hoelzl.homepages]
 hoelzl_homepage = "http://in.tum.de/~hoelzl"
 hoelzl_homepage1 = "http://home.in.tum.de/~hoelzl"
 
 [ballarin]
 name = "Clemens Ballarin"
 
 [ballarin.emails]
 ballarin_email = "ballarin@in.tum.de"
 
 [ballarin.homepages]
 ballarin_homepage = "http://www21.in.tum.de/~ballarin/"
 
 [wu]
 name = "Chunhan Wu"
 
 [wu.emails]
 
 [wu.homepages]
 
 [paulson]
 name = "Lawrence C. Paulson"
 
 [paulson.emails]
 paulson_email = "lp15@cam.ac.uk"
 paulson_email1 = "lcp@cl.cam.ac.uk"
 
 [paulson.homepages]
 paulson_homepage = "http://www.cl.cam.ac.uk/~lp15/"
 paulson_homepage1 = "https://www.cl.cam.ac.uk/~lp15/"
 
 [paleo]
 name = "Bruno Woltzenlogel Paleo"
 
 [paleo.emails]
 
 [paleo.homepages]
 paleo_homepage = "http://www.logic.at/staff/bruno/"
 
 [wagner]
 name = "Max Wagner"
 
 [wagner.emails]
 wagner_email = "max@trollbu.de"
 
 [wagner.homepages]
 
 [lochbihler]
 name = "Andreas Lochbihler"
 
 [lochbihler.emails]
 lochbihler_email = "andreas.lochbihler@digitalasset.com"
 lochbihler_email1 = "mail@andreas-lochbihler.de"
 
 [lochbihler.homepages]
 lochbihler_homepage = "http://www.andreas-lochbihler.de"
 lochbihler_homepage1 = "http://www.andreas-lochbihler.de/"
 
 [porter]
 name = "Benjamin Porter"
 
 [porter.emails]
 
 [porter.homepages]
 
 [boehme]
 name = "Sascha Böhme"
 
 [boehme.emails]
 boehme_email = "boehmes@in.tum.de"
 
 [boehme.homepages]
 boehme_homepage = "http://www21.in.tum.de/~boehmes/"
 
 [hou]
 name = "Zhe Hou"
 
 [hou.emails]
 hou_email = "zhe.hou@ntu.edu.sg"
 
 [hou.homepages]
 
 [mitchell]
 name = "Neil Mitchell"
 
 [mitchell.emails]
 
 [mitchell.homepages]
 
 [gay]
 name = "Richard Gay"
 
 [gay.emails]
 gay_email = "gay@mais.informatik.tu-darmstadt.de"
 
 [gay.homepages]
 
 [oldenburg]
 name = "Lennart Oldenburg"
 
 [oldenburg.emails]
 
 [oldenburg.homepages]
 
 [lochmann]
 name = "Alexander Lochmann"
 
 [lochmann.emails]
 lochmann_email = "alexander.lochmann@uibk.ac.at"
 
 [lochmann.homepages]
 
 [lim]
 name = "Japheth Lim"
 
 [lim.emails]
 
 [lim.homepages]
 
 [keinholz]
 name = "Jonas Keinholz"
 
 [keinholz.emails]
 
 [keinholz.homepages]
 
 [taylor]
 name = "Ramsay G. Taylor"
 
 [taylor.emails]
 taylor_email = "r.g.taylor@sheffield.ac.uk"
 
 [taylor.homepages]
 
 [bauereiss]
 name = "Thomas Bauereiss"
 
 [bauereiss.emails]
 bauereiss_email = "thomas@bauereiss.name"
 
 [bauereiss.homepages]
 
 [lee]
 name = "Holden Lee"
 
 [lee.emails]
 lee_email = "holdenl@princeton.edu"
 
 [lee.homepages]
 
 [weerwag]
 name = "Timmy Weerwag"
 
 [weerwag.emails]
 
 [weerwag.homepages]
 
 [sudhof]
 name = "Henry Sudhof"
 
 [sudhof.emails]
 sudhof_email = "hsudhof@cs.tu-berlin.de"
 
 [sudhof.homepages]
 
 [nedzelsky]
 name = "Michael Nedzelsky"
 
 [nedzelsky.emails]
 nedzelsky_email = "MichaelNedzelsky@yandex.ru"
 
 [nedzelsky.homepages]
 
 [romanos]
 name = "Ralph Romanos"
 
 [romanos.emails]
 romanos_email = "ralph.romanos@student.ecp.fr"
 
 [romanos.homepages]
 
 [doczkal]
 name = "Christian Doczkal"
 
 [doczkal.emails]
 doczkal_email = "doczkal@ps.uni-saarland.de"
 
 [doczkal.homepages]
 
 [buyse]
 name = "Maxime Buyse"
 
 [buyse.emails]
 buyse_email = "maxime.buyse@polytechnique.edu"
 
 [buyse.homepages]
 
 [guiol]
 name = "Hervé Guiol"
 
 [guiol.emails]
 guiol_email = "herve.guiol@univ-grenoble-alpes.fr"
 
 [guiol.homepages]
 
 [brodmann]
 name = "Paul-David Brodmann"
 
 [brodmann.emails]
 brodmann_email = "p.brodmann@tu-berlin.de"
 
 [brodmann.homepages]
 
 [moedersheim]
 name = "Sebastian Mödersheim"
 
 [moedersheim.emails]
 moedersheim_email = "samo@dtu.dk"
 
 [moedersheim.homepages]
 moedersheim_homepage = "https://people.compute.dtu.dk/samo/"
 
 [hu]
 name = "Shuwei Hu"
 
 [hu.emails]
 hu_email = "shuwei.hu@tum.de"
 
 [hu.homepages]
 
 [wand]
 name = "Daniel Wand"
 
 [wand.emails]
 wand_email = "dwand@mpi-inf.mpg.de"
 
 [wand.homepages]
 
 [velykis]
 name = "Andrius Velykis"
 
 [velykis.emails]
 
 [velykis.homepages]
 velykis_homepage = "http://andrius.velykis.lt"
 
 [felgenhauer]
 name = "Bertram Felgenhauer"
 
 [felgenhauer.emails]
 felgenhauer_email = "bertram.felgenhauer@uibk.ac.at"
 felgenhauer_email1 = "int-e@gmx.de"
 
 [felgenhauer.homepages]
 
 [sauer]
 name = "Jens Sauer"
 
 [sauer.emails]
 sauer_email = "sauer@mais.informatik.tu-darmstadt.de"
 
 [sauer.homepages]
 
 [dittmann]
 name = "Christoph Dittmann"
 
 [dittmann.emails]
 dittmann_email = "isabelle@christoph-d.de"
 
 [dittmann.homepages]
 dittmann_homepage = "http://logic.las.tu-berlin.de/Members/Dittmann/"
 
 [muendler]
 name = "Niels Mündler"
 
 [muendler.emails]
 muendler_email = "n.muendler@tum.de"
 
 [muendler.homepages]
 
 [somogyi]
 name = "Dániel Somogyi"
 
 [somogyi.emails]
 
 [somogyi.homepages]
 
 [makarios]
 name = "T. J. M. Makarios"
 
 [makarios.emails]
 makarios_email = "tjm1983@gmail.com"
 
 [makarios.homepages]
 
 [nishihara]
 name = "Toshiaki Nishihara"
 
 [nishihara.emails]
 
 [nishihara.homepages]
 
 [losa]
 name = "Giuliano Losa"
 
 [losa.emails]
 losa_email = "giuliano.losa@epfl.ch"
 losa_email1 = "giuliano@galois.com"
 losa_email2 = "giuliano@losa.fr"
 
 [losa.homepages]
 
 [grov]
 name = "Gudmund Grov"
 
 [grov.emails]
 grov_email = "ggrov@inf.ed.ac.uk"
 
 [grov.homepages]
 grov_homepage = "http://homepages.inf.ed.ac.uk/ggrov"
 
 [bharadwaj]
 name = "Abhijith Bharadwaj"
 
 [bharadwaj.emails]
 
 [bharadwaj.homepages]
 
 [clouston]
 name = "Ranald Clouston"
 
 [clouston.emails]
 clouston_email = "ranald.clouston@cs.au.dk"
 
 [clouston.homepages]
 
 [jaskelioff]
 name = "Mauro Jaskelioff"
 
 [jaskelioff.emails]
 
 [jaskelioff.homepages]
 jaskelioff_homepage = "http://www.fceia.unr.edu.ar/~mauro/"
 
 [caminati]
 name = "Marco B. Caminati"
 
 [caminati.emails]
 
 [caminati.homepages]
 
 [bengtson]
 name = "Jesper Bengtson"
 
 [bengtson.emails]
 
 [bengtson.homepages]
 bengtson_homepage = "http://www.itu.dk/people/jebe"
 
 [boutry]
 name = "Pierre Boutry"
 
 [boutry.emails]
 boutry_email = "boutry@unistra.fr"
 
 [boutry.homepages]
 
 [sternagelt]
 name = "Thomas Sternagel"
 
 [sternagelt.emails]
 
 [sternagelt.homepages]
 
 [guerraoui]
 name = "Rachid Guerraoui"
 
 [guerraoui.emails]
 guerraoui_email = "rachid.guerraoui@epfl.ch"
 
 [guerraoui.homepages]
 
 [dongol]
 name = "Brijesh Dongol"
 
 [dongol.emails]
 dongol_email = "brijesh.dongol@brunel.ac.uk"
 
 [dongol.homepages]
 
 [tuong]
 name = "Frédéric Tuong"
 
 [tuong.emails]
 tuong_email = "tuong@users.gforge.inria.fr"
 tuong_email1 = "ftuong@lri.fr"
 
 [tuong.homepages]
 tuong_homepage = "https://www.lri.fr/~ftuong/"
 
 [ullrich]
 name = "Sebastian Ullrich"
 
 [ullrich.emails]
 ullrich_email = "sebasti@nullri.ch"
 
 [ullrich.homepages]
 
 [essmann]
 name = "Robin Eßmann"
 
 [essmann.emails]
 essmann_email = "robin.essmann@tum.de"
 
 [essmann.homepages]
 
 [liu]
 name = "Junyi Liu"
 
 [liu.emails]
 
 [liu.homepages]
 
 [villadsen]
 name = "Jørgen Villadsen"
 
 [villadsen.emails]
 villadsen_email = "jovi@dtu.dk"
 
 [villadsen.homepages]
 villadsen_homepage = "https://people.compute.dtu.dk/jovi/"
 
 [fosters]
 name = "Simon Foster"
 
 [fosters.emails]
 fosters_email = "simon.foster@york.ac.uk"
 
 [fosters.homepages]
 fosters_homepage = "https://www-users.cs.york.ac.uk/~simonf/"
 fosters_homepage1 = "http://www-users.cs.york.ac.uk/~simonf"
 
 [dubut]
 name = "Jérémy Dubut"
 
 [dubut.emails]
 dubut_email = "dubut@nii.ac.jp"
 
 [dubut.homepages]
 dubut_homepage = "http://group-mmm.org/~dubut/"
 
 [jiang]
 name = "Nan Jiang"
 
 [jiang.emails]
 jiang_email = "nanjiang@whu.edu.cn"
 
 [jiang.homepages]
 
 [hetzl]
 name = "Stefan Hetzl"
 
 [hetzl.emails]
 hetzl_email = "hetzl@logic.at"
 
 [hetzl.homepages]
 hetzl_homepage = "http://www.logic.at/people/hetzl/"
 
 [parkinson]
 name = "Matthew Parkinson"
 
 [parkinson.emails]
 
 [parkinson.homepages]
 parkinson_homepage = "http://research.microsoft.com/people/mattpark/"
 
 [maletzky]
 name = "Alexander Maletzky"
 
 [maletzky.emails]
 maletzky_email = "alexander.maletzky@risc.jku.at"
 maletzky_email1 = "alexander.maletzky@risc-software.at"
 
 [maletzky.homepages]
 maletzky_homepage = "https://risc.jku.at/m/alexander-maletzky/"
 
 [keefe]
 name = "Greg O'Keefe"
 
 [keefe.emails]
 
 [keefe.homepages]
 keefe_homepage = "http://users.rsise.anu.edu.au/~okeefe/"
 
 [brandt]
 name = "Felix Brandt"
 
 [brandt.emails]
 
 [brandt.homepages]
 brandt_homepage = "http://dss.in.tum.de/staff/brandt.html"
 
 [blasum]
 name = "Holger Blasum"
 
 [blasum.emails]
 blasum_email = "holger.blasum@sysgo.com"
 
 [blasum.homepages]
 
 [messner]
 name = "Florian Messner"
 
 [messner.emails]
 messner_email = "florian.g.messner@uibk.ac.at"
 
 [messner.homepages]
 
 [diaz]
 name = "Javier Díaz"
 
 [diaz.emails]
 diaz_email = "javier.diaz.manzi@gmail.com"
 
 [diaz.homepages]
 
 [prathamesh]
 name = "T.V.H. Prathamesh"
 
 [prathamesh.emails]
 prathamesh_email = "prathamesh@imsc.res.in"
 
 [prathamesh.homepages]
 
 [nestmann]
 name = "Uwe Nestmann"
 
 [nestmann.emails]
 
 [nestmann.homepages]
 nestmann_homepage = "https://www.mtv.tu-berlin.de/nestmann/"
 
 [siek]
 name = "Jeremy Siek"
 
 [siek.emails]
 siek_email = "jsiek@indiana.edu"
 
 [siek.homepages]
 siek_homepage = "http://homes.soic.indiana.edu/jsiek/"
 
 [stock]
 name = "Benedikt Stock"
 
 [stock.emails]
 stock_email = "benedikt1999@freenet.de"
 
 [stock.homepages]
 
 [boyton]
 name = "Andrew Boyton"
 
 [boyton.emails]
 boyton_email = "andrew.boyton@nicta.com.au"
 
 [boyton.homepages]
 
 [taha]
 name = "Safouan Taha"
 
 [taha.emails]
 taha_email = "safouan.taha@lri.fr"
 
 [taha.homepages]
 
 [ghourabi]
 name = "Fadoua Ghourabi"
 
 [ghourabi.emails]
 ghourabi_email = "fadouaghourabi@gmail.com"
 
 [ghourabi.homepages]
 
 [brinkop]
 name = "Hauke Brinkop"
 
 [brinkop.emails]
 brinkop_email = "hauke.brinkop@googlemail.com"
 
 [brinkop.homepages]
 
 [neumann]
 name = "René Neumann"
 
 [neumann.emails]
 neumann_email = "neumannr@in.tum.de"
 neumann_email1 = "rene.neumann@in.tum.de"
 
 [neumann.homepages]
 
 [schmaltz]
 name = "Julien Schmaltz"
 
 [schmaltz.emails]
 schmaltz_email = "Julien.Schmaltz@ou.nl"
 
 [schmaltz.homepages]
 
 [haslbeck]
 name = "Max W. Haslbeck"
 
 [haslbeck.emails]
 haslbeck_email = "maximilian.haslbeck@uibk.ac.at"
 haslbeck_email1 = "haslbecm@in.tum.de"
 haslbeck_email2 = "max.haslbeck@gmx.de"
 
 [haslbeck.homepages]
 haslbeck_homepage = "http://cl-informatik.uibk.ac.at/users/mhaslbeck/"
 haslbeck_homepage1 = "http://cl-informatik.uibk.ac.at/users/mhaslbeck//"
 
 [reynaud]
 name = "Alban Reynaud"
 
 [reynaud.emails]
 
 [reynaud.homepages]
 
 [boulanger]
 name = "Frédéric Boulanger"
 
 [boulanger.emails]
 boulanger_email = "frederic.boulanger@centralesupelec.fr"
 
 [boulanger.homepages]
 
 [spasic]
 name = "Mirko Spasić"
 
 [spasic.emails]
 spasic_email = "mirko@matf.bg.ac.rs"
 
 [spasic.homepages]
 
 [heller]
 name = "Armin Heller"
 
 [heller.emails]
 
 [heller.homepages]
 
 [watt]
 name = "Conrad Watt"
 
 [watt.emails]
 watt_email = "caw77@cam.ac.uk"
 
 [watt.homepages]
 watt_homepage = "http://www.cl.cam.ac.uk/~caw77/"
 
 [hayes]
 name = "Ian J. Hayes"
 
 [hayes.emails]
 hayes_email = "ian.hayes@itee.uq.edu.au"
 hayes_email1 = "Ian.Hayes@itee.uq.edu.au"
 
 [hayes.homepages]
 
 [haslbeckm]
 name = "Maximilian P. L. Haslbeck"
 
 [haslbeckm.emails]
 haslbeckm_email = "haslbema@in.tum.de"
 
 [haslbeckm.homepages]
 haslbeckm_homepage = "http://www.in.tum.de/~haslbema"
 haslbeckm_homepage1 = "http://in.tum.de/~haslbema/"
 
 [bortin]
 name = "Maksym Bortin"
 
 [bortin.emails]
 bortin_email = "Maksym.Bortin@nicta.com.au"
 bortin_email1 = "maksym.bortin@nicta.com.au"
 
 [bortin.homepages]