Sort by
Refine Your Search
-
, with expertise both in theoretical methods and in numerical study, and with a particular focus on the application of quantum information driven tools, such as tensor networks or convex relaxations
-
of mathematical proof automation: You identify and address research questions in the field of mathematical automation in numerical analysis or approximation theory. You implement the developed methods in Lean. You
-
the following areas: numerical analysis of PDEs (with deterministic and/or stochastic methods), Gaussian Random Fields, mathematical foundations of deep learning, functional analysis and measure theory
-
home of several third-party funded research projects. Through cooperation with numerous academic institutions worldwide, the Department is very well connected with the international scholarly community
-
Kleitz at the University of Vienna mainly focusses on the development of nanoporous materials, their characterization, and their applications in numerous fields, such as catalysis, adsorption, bio- and