Picture of Alan Woods together with me in Oberwolfach.
Picture of the Oberwolfach seminar on new Trends in Goedelian Incompleteness and Combinatorics.
Picture of
the Oberwolfach miniworkshop on Logic, Combinatorics and
Independence Results.
I have professional experience in math, logic and CS, and
beyond exact sciences I have interest in art painting and
playing chess (Int. ELO about 2250).
Gewoon
Hoogleraar (sedert 01.10.2018)
Vakgroep Wiskunde:
Analysis, Logic and Discrete Mathematics
Ghent University
Krijgslaan 281 - Gebouw S8 third floor
B9000 Gent
Belgium
tel: +3292644899
fax +3292644993
email assuming familiarity with beta reduction :-) (\lambda
x.x)Andreas.Weierman(\lambda x.x)n@UGent.be
Proof theory,
subrecursive hierarchies, Term rewriting, well partial
orderings, analytic combinatorics of the transfinite, Phase
transitions for Goedel incompleteness.
Here a selection
of some of my publications. MathScinet currently lists 79.
DBLP provides a more detailed list .
Recent draft can be found on arxiv.
2010-2014: Head of the committee for teaching mathematics
2013: Member of the visitation committee for the mathematical sciences in the Netherlands
2012-: Every now and then I joined the beta workgroup and the onderzoeksraad for decisions about grants and projects
2016-: I am editor of the Springer series Trends in Logic.
1985-1988: Grant of the Studienstiftung des Deutschen Volkes
1995: HCM-grant of the EU
1998-2005: Heisenberg grant of the Deutsche Forschungsgemeinschaft
1998-2000: Grant of the Deutsche Forschungsgemeinschaft for funding the PhD project of I. Lepper
2002-2005: Grant of the Deutsche Forschungsgemeinschaft for funding the PhD project of G. Lee
2002: Grant of the Deutsche Forschungsgemeinschaft for a joint research project with A. Woods
2003: Rip project at Oberwolfach for a research project with A. Woods
2004 DFG project for joint research with Prof. Dr. T. Arai and Prof. Dr. H. Friedman.
2004 NWO project for joint research with Dr. Andrey Bovykin, Lorenzo Carlucci, and Gyesik Lee.
2006 NWO project for inviting Prof. Dr. Lev Gordeev as a guest Professor to Utrecht.
2006 Co-organizer of an Oberwolfach miniworkshop (0648b) on logic, combinatorics and independence results.
2006 NWO project for joint research with Prof. Dr. Dehornoy, Dr. Andrey Bovykin, Dr. Lorenzo Carlucci and Eran Omri.
2007 Invited participation at the MPI activity "Methods of Proof Theory in Mathematics" in Bonn (organizers are U. Kohlenbach, G. E. Mints and B. Z. Moroz)
2007 Templeton project for research on "exploring the infinite" over USD 91500
2007 FWO project over EUR 13000
2007 FWO project for Michiel de Smet
2008 Royal society project jointly with Michael Rathjen
2009 UGent teaching innovation project over EUR 2300
2009 FWO project for continuing the joint research with Michael Rathjen
2010 Promotion to full professor
2017 A small research grant from the FWO.
2017 BOF onderzoeksproject jointly with Jasson Vindas.
2017 Templeton project jointly with Michael Rathjen, Olaf
Beyersdorff and Peter Schuster.
2018 UGent promotor of an FWO granted Odysseus I project. Promotion to senior full professor. Invited guest researcher at the Hausdorff Institute in Bonn.
2020 FWO-FWF project joint with Juan Pablo Aguilera and David
Fernandez Duque. FWO-SWF project joint with David Fernandez
Duque and Thomas Studer.
2021 UGent promotor of an FWO granted Odysseus II project.
Preliminary address for zoom recordings of a lecture
series on tangible incompleteness by Harvey M. Friedman