Gamsakhurdia, Mariami
Mariami GamsakhurdiaTU Wien Advisor:Matthias BaazResearch Topic:Mathematical logic, Proof theory, Epsilon calculus, Analysis of Incorrect proofs, Skolemization, Intermediate logics
Mariami GamsakhurdiaTU Wien Advisor:Matthias BaazResearch Topic:Mathematical logic, Proof theory, Epsilon calculus, Analysis of Incorrect proofs, Skolemization, Intermediate logics
Alexander EdthoferTU Wien Advisor:Andreas KörnerResearch Topic:EEG-based whole-brain models for functional connectivity in different vigiliance states
Paschalis AngelidisTU Wien Advisors:Alexander Rieder, Jens Markus Melenk Research Topic:Boundary integral methods for wave scattering by nonlinear obstacles
Pascal JelinekTU Wien Advisor:Lukas SpiegelhoferResearch Topic:Digitally defined sequences and substitutions
Christoph SpiessTU Wien Advisor:Michael PinskerResearch Topic:Omega-categorical sandwiches for Promise Constraint Satisfaction Problems
Inés Vega GonzálezUniversity of Vienna Advisors:Roland Steinbauer, Michael KunzingerResearch Topic:Analytic and synthetic extensions of the singularity theorems
Neena Mary MathewTU Wien Advisor:Bernhard GittenbergerResearch Topic:Parameter analysis of certain classes of directed acyclic graphs
David ZettlerTU Wien Advisor:Alexia Fürnkranz-PrskawetzResearch Topic:Heterogeneity in Dynamic General Equilibrium Models