Onderzoeksgroepen

  • De onderzoeksgroep Incidentiemeetkunde bestudeert incidentiestructuren, Galois meetkunde en codeertheorie, met als huidige onderzoeksonderwerpen: polaire ruimten, veralgemeende veelhoeken, schierveelhoeken, gebouwen, partiële meetkundes en hun veralgemeningen, projectieve inbeddingen en niet-abelse representaties van meetkunden, bijzondere deelverzamelingen in Galois ruimten met hun vertaling in termen van codes.

  • De onderzoeksgroep Logica en Analyse bestudeert wiskundige analyse, logica, analytische getaltheorie, computerwetenschappen, en verbanden tussen deze gebieden. Het huidig onderzoek omvat ondermeer veralgemeende functietheorie, niet-standaard analyse, logische limietwetten, fase-overgangen voor Gödel onvolledigheid, computergestuurde bewijsvoering en dynamische systemen.

  • De onderzoeksgroep Algebra bestudeert getaltheorie, algebraïsche meetkunde, permutatiegroepen en lineaire algebraïsche groepen. Het huidig onderzoek in de getaltheorie en algebraïsche meetkunde concentreert zich rond kwadratische vormen en delingsalgebra's over lokale functievelden, en beslisbaarheidsproblemen in verband met de existentietheorie van functievelden; het meetkundige aspect omvat speciale divisoren op gladde krommen, Weierstrass punten, lineaire systemen op opblazingen en Grassmann defectiviteit. Het onderzoek in de groepentheorie omvat de studie van Moufang verzamelingen en hun verband met Jordan algebra's en andere algebraïsche structuren gerelateerd aan lineaire algebraïsche groepen.

  • In de onderzoeksgroep Differentiaalmeetkunde en Mechanica wordt onderzoek verricht op het gebied van differentiaalmeetkundige aspecten van klassieke mechanica en veldentheorie, en van dynamische systemen in het algemeen.