Research Group Ghent Logic Group Professors Lev Beklemishev Lev.Beklemishev@UGent.be Fedor Pakhomov Fedor.PakhomovUGent.be Hans Vernaeve hans.vernaeve@ugent.be Andreas Weiermann andreas.weiermann@ugent.be Guest professors Harvey Martin Friedman HarveyMartin.Friedman@UGent.be Postdocs Brett McLean Brett.McLean@UGent.be Seyedmojtaba Mojtahedi Mojtaba.Mojtahedi@UGent.be Giovanni Solda Giovanni.Solda@UGent.be Geert Vernaeve geert.vernaeve@ugent.be PhD Students Julien Daoud Julien.Daoud@UGent.be Luke Dowling Luke.Dowling@UGent.be Florian Iglauer Florian.Iglauer@UGent.be Oscar Jocqué Oscar.Jocque@UGent.be Vlad Lazar Vlad.Lazar@UGent.be Milan Morreel Milan.Morreel@UGent.be Philipp Provenzano Philipp.Provenzano@UGent.be Emeritus members of the research group Bert Hoogewijs albert.hoogewijs@ugent.be Chris Impens Chris.Impens@UGent.be Former members of of the research group Juan P. Aguilera David Belanger Ben De Bondt Korneel Debaene Benjamin De Leeuw Michiel De Smet David Fernández-Duque Oriola Gjetaj Lev Gordeev Joep Horbach Kostas Papafilippou Florian Pelupessy Sam Sanders Jan-Christoph Schlage-Puchta jan-christoph.schlage-puchta@uni-rostock.de Paul Shafer Jeroen Van der Meeren Tin Lok Wong tin.lok.wong@univie.ac.at