Reinhard Pichler

MathSciNet


Dr. techn. Technische Universität Wien 2000 Austria
Dissertation: H-Subsumption in Automated Deduction
Mathematics Subject Classification: 68—Computer science

Advisor 1: Alexander Leitsch
Advisor 2: Georg Gottlob

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

NameSchoolYearDescendants
Díaz Prado, JoséTechnische Universität Wien2006
Chandradoss, RobertTechnische Universität Wien2009
Jakl, MichaelTechnische Universität Wien2010
Ali, MuhammadTechnische Universität Wien2011
Rümmele, StefanTechnische Universität Wien2012
Savenkov, VadimTechnische Universität Wien2012
Fayzrakhman, RuslanTechnische Universität Wien2013
Skritek, SebastianTechnische Universität Wien2013
Lackner, MartinTechnische Universität Wien20142
Sallinger, EmanuelTechnische Universität Wien2014
Chertes, FlorinTechnische Universität Wien2015
Kronegger, MartinTechnische Universität Wien2016
Csar, JuliaTechnische Universität Wien2018
Ahmetaj, ShqiponjaTechnische Universität Wien2019
Fischl, WolfgangTechnische Universität Wien2019

According to our current on-line database, Reinhard Pichler has 15 students and 16 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 130135 for the advisor ID.