Franz Winkler

MathSciNet

Ph.D. Johannes Kepler Universität Linz 1984 Austria
Dissertation: The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms

Advisor: Bruno Buchberger

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Sendra, Juan RafaelUniversidad de Alcalá199010
Wall, BernhardJohannes Kepler Universität Linz1993
Mnuk, MichalJohannes Kepler Universität Linz1995
Li, ZimingJohannes Kepler Universität Linz19965
Tran, Quoc-NamJohannes Kepler Universität Linz1996
Stadelmeyer, PeterJohannes Kepler Universität Linz2000
Bikker, PietJohannes Kepler Universität Linz2001
Gu, HongJohannes Kepler Universität Linz2003
Hemmecke, RalfJohannes Kepler Universität Linz2003
Hillgarter, ErikJohannes Kepler Universität Linz2003
Kondratyev, AlekseyJohannes Kepler Universität Linz2003
Roda, GiovannaJohannes Kepler Universität Linz2004
Athale, RahulJohannes Kepler Universität Linz2005
Lopez Diaz, GlaucoJohannes Kepler Universität Linz2006
Nabeshima, KatsusukeJohannes Kepler Universität Linz2007
Shemyakova, EkaterinaResearch Institute for Symbolic Computation (RISC), Linz2007
Aistleitner, ChristianJohannes Kepler Universität Linz2010
Middeke, JohannesJohannes Kepler Universität Linz2011
Ngo, Lam Xuan ChauJohannes Kepler Universität Linz2011
Dönch, ChristianJohannes Kepler Universität Linz2012
Huang, YanliJohannes Kepler Universität Linz and Beihang University2012
Grasegger, GeorgJohannes Kepler Universität Linz2015
Vo, Ngoc ThieuJohannes Kepler Universität Linz2016
Fuerst, ChristophJohannes Kepler Universität Linz2017
Falkensteiner, SebastianJohannes Kepler Universität Linz2020

According to our current on-line database, Franz Winkler has 25 students and 37 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 18957 for the advisor ID.