Find Academic Supervisors

Josef UrbanView profile

Researcher

• Automated Reasoning
• Machine Learning
• Theorem Proving
• +5 more

Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.

• Numerical Analysis
• Linear Algebra
• Iterative Methods
• +3 more

Miroslav Rozložník serves as an Associate Professor in the Department of Numerical Mathematics at the Faculty of Mathematics and Physics, Charles University, with additional affiliation to the Institute of Mathematics of the Czech Academy of Sciences evidenced by his institutional homepage. His research centers on computational mathematics, specifically: Numerical linear algebra for large-scale systems Iterative solvers and convergence acceleration Preconditioning techniques in scientific computing High-performance numerical algorithms Dr. Rozložník actively supervises student theses as indicated by "Supervised work" on his academic profile, though specific advisee names and research grants remain undocumented in the source material.

Michal OutrataView profile

Assistant Professor

• Numerical Linear Algebra
• Krylov Methods
• Domain Decomposition Methods
• +5 more

Michal Outrata is an Assistant Professor in the Department of Numerical Mathematics at Charles University's Faculty of Mathematics and Physics in Prague, Czech Republic. He began his position in fall 2024 after completing a postdoctoral fellowship at Virginia Tech with Prof. Eric de Sturler and earning his PhD under Prof. Martin Gander at the University of Geneva, where his thesis was awarded the Henri Fehr Prize in 2023. His academic journey started with undergraduate studies in Prague under Prof. Zdeněk Strakoš (bachelor) and Prof. Miroslav Tůma (master). Dr. Outrata's research focuses on understanding why certain numerical methods work for specific problem classes, with emphasis on numerical linear algebra , Krylov subspace methods , and domain decomposition techniques . His work bridges theoretical analysis with practical algorithm development, particularly in preconditioning strategies for iterative solvers. Current projects include the Primus Research Programme (2025-2028) titled 'Divide, Conquer and Optimize: Domain Decomposition Methods in Scientific Computing' which explores hierarchical matrix formats and mixed precision computations for optimizing domain decomposition methods. His publication record demonstrates consistent contributions to top journals including SIAM Journal on Scientific Computing and Linear Algebra with Applications. His research shows progression from foundational work on GMRES convergence to sophisticated analyses of block Runge-Kutta preconditioners and optimized Schwarz methods with data-sparse transmission conditions. His recent work increasingly integrates hierarchical matrix formats and explores mixed precision computing approaches. Swiss Government Excellence Scholarship (3-year award) Henri Fehr Prize for best PhD thesis in mathematics (2023) Primus Research Programme grant (2025-2028) Dr. Outrata actively mentors students and postdocs, currently supervising Marouan Handa and Lenka Ptáčková (PostDocs) along with undergraduate researchers. He teaches courses including Numerical Analysis and Introduction to Numerical Mathematics at Charles University. His collaborative network spans international institutions including University of Geneva, Virginia Tech, and various European research centers. He is also involved in organizing major conferences including DD29 and GAMM95.

• Numerical methods for partial differential equations
• Discontinuous Galerkin method
• Mesh adaptation
• +5 more

Vit Dolejsi is a Professor at the Department of Numerical Mathematics , Faculty of Mathematics and Physics , Charles University in Prague . He holds a PhD in Mathematical Modeling and Mechanics from Charles University and Universite Mediterranee. His research focuses on Numerical methods for partial differential equations with applications in Fluid dynamics , particularly using Discontinuous Galerkin methods and Anisotropic mesh adaptation . Phone: [+420] 95155 3373 Email: vit.dolejsi@matfyz.cuni.cz Office: Sokolovska 83, 186 75 Praha 8 - Karlin, Czech Republic Research Interests : Numerical methods for nonlinear PDEs High-order adaptive DG schemes Error estimation and adaptivity Compressible and incompressible flow simulations Applications in porous media and atmospheric modeling Algebraic and discretization error control Publications & Contributions : Authored monographs on Anisotropic hp-Mesh Adaptation (2022) and Discontinuous Galerkin Method (2015) Published 15+ journal papers (2015-2025) on DG methods, mesh adaptation, and error analysis Developed freely available CFD software implementations Contributed to hp-adaptive algorithms and space-time DG for nonlinear problems

Erin Claire CarsonView profile

Assistant Professor

• Numerical Linear Algebra
• Parallel Computing
• High-Performance Computing
• +7 more

Erin Claire Carson is an Assistant Professor at the Department of Numerical Mathematics, Faculty of Mathematics and Physics, Charles University, Prague. A specialist in numerical linear algebra and high-performance computing, she leads the ERC Starting Grant project InEXASCALE focused on exascale algorithms. Her research explores mixed precision arithmetic, communication-avoiding Krylov subspace methods, and stability analysis in finite precision. Ph.D., University of California, Berkeley (2015) Courant Instructor, New York University (2015-2018) Postdoctoral Researcher and PRIMUS Fellow, Charles University (2018-2022) Dr. Carson's work bridges theoretical analysis with practical implementations for supercomputers. Her recent publications include advancements in low-synchronization orthogonalization, silent error detection, and multilevel sampling techniques. She received the 2025 Wilkinson Prize from SIAM for outstanding contributions to numerical analysis. Current trends in her research involve: Exploiting mixed precision arithmetic for algorithm acceleration Developing stable communication-avoiding Krylov methods Optimizing numerical stability in GPU-based solvers Understanding error propagation in multistage refinements Scientific honors: 2025 SIAM Wilkinson Prize in Numerical Analysis and Scientific Computing 2023 ERC Starting Grant recipient 2019-2022 PRIMUS Research Fellow She supervises PhD and Master’s students while teaching advanced courses in numerical linear algebra and high-performance computing. Her work has been featured in WIRED and Forbes Czech Republic for improving supercomputer algorithms.

• Numerical Analysis
• Matrix Computations
• Krylov Subspace Methods
• +3 more

Petr Tichý is an Associate Professor at the Department of Numerical Mathematics, Faculty of Mathematics and Physics, Charles University. He specializes in numerical analysis, matrix computations, and Krylov subspace methods. His work focuses on error estimation in iterative methods and the convergence properties of algorithms like the conjugate gradient method. Education: Ph.D. in Scientific Computations, Charles University (2002) M.S. in Computational Mathematics, Charles University (1997) Research Interests: His research emphasizes numerical linear algebra, including matrix approximations, CG algorithm stability, and the development of efficient error estimation techniques. He has contributed to the analysis of block conjugate gradient methods, Gauss-Radau error bounds, and the theoretical foundations of Krylov subspace methods. Publications: Tichý has authored over 30 peer-reviewed articles and a book on error norm estimation in conjugate gradient algorithms. His recent work includes studies on matrix best approximation and the behavior of error estimates in iterative solvers. Awards: Dean's Award for Best Book (2024) Jaroslav Jirsa Prize (2013) Otto Wichterle Prize (2007) Ivo Babuška Prize (2002) Grants & Collaborations: He has led projects funded by GACR and participated in EU initiatives. Collaborators include Gerard Meurant, Vance Faber, and Jörg Liesen.

Iveta HnetynkovaView profile

Associate Professor

• Numerical Mathematics
• Linear Algebra
• Inverse Problems
• +5 more

Iveta Hnetynkova is an Associate Professor at the Department of Numerical Mathematics, Faculty of Mathematics and Physics, Charles University in Prague. She specializes in numerical linear algebra, inverse problems, and regularization methods, with applications in image processing and scientific computing. Education: Doctor of Natural Sciences (RNDr.) from Charles University (2003) Ph.D. in Scientific Computations from Charles University (2006) Habilitation thesis on error-contaminated linear approximation (2019) Research Interests: Krylov subspace methods Total Least Squares (TLS) formulations Noise revealing in discrete inverse problems Tensor generalizations and structured matrices Applications in image processing and jewelry defect analysis Scientific Awards: Visegrad Group Young Researcher Award (2014) J. Jirsa Prize for textbook excellence (2013) I. Babuska Prize (2nd place) (2007) SVOČ Prize in mathematics (2003)

• Solar Physics
• Astronomy
• Astrophysics
• +3 more

Assoc. Prof. Michal Švanda is affiliated with the Astronomical Institute of Charles University in Prague, Czech Republic. He works as an Associate Professor and focuses on solar physics, particularly in the analysis of sunspot numbers through iterative computational methods. Email: svanda@sirrah.troja.mff.cuni.cz ORCID: 0000-0002-6345-1007 His research primarily involves the development of code for computing sunspot number series from heterogeneous observational data, addressing biases from different observers and instruments. He utilizes Python programming for data processing and has contributed to tools that create standardized solar activity metrics. Projects & Tools : Sunspot Numbers Repository on GitHub, containing iterative code for sunspot number computation. Maintains a database of sunspot observations (databaze.hdf) and develops algorithms for uncertainty analysis and conversion coefficient tables.

Antonin KuceraView profile

Professor

• Stochastic Processes
• Probabilistic Systems
• Markov Decision Processes
• +8 more

Antonin Kucera is a Professor at the Faculty of Informatics , Masaryk University, Czech Republic. His work focuses on stochastic processes, probabilistic systems, Markov decision processes, stochastic games, infinite-state systems, and applications of game theory in security and operational research. He has led multiple research projects funded by institutions like the US Army Research Office and the Czech Science Foundation. Research Interests : Stochastic processes, probabilistic verification, infinite-state systems, multi-objective optimization, game theory, and security applications. Projects : Leading studies on adversarial security patrolling, probabilistic systems analysis, and game-theoretic verification. Past projects include European Network for Game Theory (COST) and Institute for Theoretical Computer Science. Advising : Mentored 13 PhD/Master's students, including Tomáš Brázdil, Petr Novotný, and Jan Křetínský. Teaching : Courses on Petri Nets, Semantics of Programming Languages, and Mathematical Logic.