Find Academic Supervisors

Gil KalaiView profile

Professor

• Combinatorics
• Geometric Combinatorics
• Probabilistic Combinatorics
• +7 more

Gil Kalai is a Professor of Mathematics at the Hebrew University of Jerusalem since 1992, where he holds the Henry and Manya Noskwith Chair. He also serves as an Adjunct Professor of Mathematics and Computer Science at Yale University since 2004 in a long-term part-time visiting position. His academic career includes visiting positions at prestigious institutions including MIT, Cornell, IAS Princeton, Berkeley, Bell-labs, IBM, and Microsoft. Professor Kalai's research spans multiple areas within mathematics and theoretical computer science. His work in combinatorics encompasses geometric, probabilistic, and topological approaches. He has made significant contributions to the study of convex sets and polytopes, linear programming, and theoretical computer science. His influential 1988 paper with Kahn and Linial on Boolean functions pioneered applications of Fourier analysis in theoretical computer science. Kalai's research has evolved to include the application of Fourier analysis to thresholds, influences, symmetries, noise, percolation, and social choice. He has developed theories in algebraic shifting and studied face-numbers and other combinatorial invariants of polytopes. His work on the diameter of polytopes and randomized simplex algorithms has been influential in optimization theory. In 1993, his collaboration with Kahn produced a groundbreaking counterexample to Borsuk's Conjecture in 1325 dimensions. Professor Kalai's publications reveal a consistent focus on the intersection of combinatorics, geometry, and theoretical computer science. His work shows a progression from foundational combinatorial geometry to increasingly sophisticated applications of harmonic analysis in discrete mathematics. The recurring themes across his 30+ year career include Boolean functions, polytope theory, and probabilistic methods in combinatorics, demonstrating remarkable coherence in his research trajectory. 2016 European congress of Mathematics, plenary speaker 2013 ERC advanced grant 2012 Rothschild Prize 1994 International Congress of Mathematicians invited section talk, Zurich 1994 Fulkerson Prize 1993 Erdos Prize 1992 Polya Prize Though specific details of his advising are not provided in the source material, Kalai has written over 70 scientific papers and maintains an active research blog entitled "Combinatorics and More." His 2013 ERC advanced grant indicates significant research funding for his work. His extensive collaborations with researchers across multiple institutions suggest a robust research program with numerous PhD students and postdoctoral researchers, though specific names are not mentioned in the provided texts. Professor Kalai maintains active research connections across multiple institutions including Hebrew University, Yale, and various research centers worldwide. His work bridges pure mathematics and theoretical computer science, creating a unique interdisciplinary research environment that influences both fields.

Vladimir KazeevView profile

Assistant Professor

• Numerical Analysis
• Tensor Methods
• Partial Differential Equ to the data-driven solution of PDEs
• +3 more

Vladimir Kazeev is an Assistant Professor at the Faculty of Mathematics, University of Vienna , where he has held a faculty position since 2019. He also held previous academic appointments as a Szegő Assistant Professor at Stanford University (2017–2019), a postdoctoral researcher at the University of Geneva (2015–2017), and research positions at ETH Zurich (2011–2015), Russian Academy of Sciences (2008–2011), and Moscow Institute of Physics and Technology (2009). His research focuses on adaptive, data-driven numerical methods for differential equations, nonlinear low-parametric approximation, and numerical linear algebra. His work intersects computational mathematics, tensor methods, and high-dimensional problem-solving, particularly in the context of partial differential equations (PDEs) and stochastic modeling. The 15 most recent publications reveal a strong emphasis on quantized tensor-structured methods for PDEs, low-rank approximations, and high-dimensional numerical analysis. His research spans theoretical advancements in tensor decomposition, practical applications in chemical reaction networks, and novel discretization techniques for multiscale and degenerate diffusion problems. Scientific awards include the prestigious ETH Medal for outstanding doctoral theses (2016) Russian Academy of Sciences Medal for outstanding student works in mathematics (2011) Advising and teaching activities include supervising Jason Zhu (Stanford, 2019) and Simon Etter (ETH Zurich, 2014), as well as teaching advanced courses in tensor methods, numerical analysis, and PDEs at the University of Vienna, Stanford University, and the University of Geneva. His service to the community includes peer review for 15+ journals and co-organizing minisymposia at SIAM meetings.

Bela BollobasView profile

Professor

• Extremal Graph Theory
• Random Graphs
• Probabilistic Combinatorics
• +3 more

Béla Bollobás is a renowned mathematician affiliated with the University of Memphis as the Jabie Hardin Chair of Excellence in Combinatorics and the University of Cambridge as a Fellow of Trinity College and Honorary Professor at the Centre for Mathematical Sciences. His work spans combinatorics, probability theory, and graph theory, with significant contributions to percolation and random graphs. Dr. Rer. Nat. (Budapest, 1967) Ph.D. (Cambridge, 1972) Sc.D. (Cambridge, 1984) Bollobás pioneered extremal graph theory, random graphs, and probabilistic combinatorics. He introduced novel graph polynomials and advanced bootstrap percolation models, impacting both theoretical mathematics and statistical physics. His research includes inhomogeneous random graphs and cellular automata in random environments. His selected publications reveal a focus on percolation thresholds, graph invariants, and stochastic processes. Notably, he derived sharp thresholds for bootstrap percolation and defined critical probabilities for Voronoi percolation. Senior Whitehead Prize (2007) Fellow of the Royal Society (2011) Foreign Member, Hungarian Academy of Sciences (1990) Foreign Member, Polish Academy of Sciences (2013) Honorary Doctorate, Adam Mickiewicz University (2013) Szechenyi Prize (2017) Bollobás has supervised over 50 Ph.D. students and authored over 450 publications, including 10 books. He co-founded the journal Combinatorics, Probability and Computing and served on eight editorial boards. He organized numerous conferences, including Bill Tutte and Paul Erdős events.

• Numerical Analysis
• Partial Differential Equations
• Finite Element Methods
• +4 more

Olaf Steinbach is a University Professor (Univ.-Prof.) at the Institute of Applied Mathematics at Graz University of Technology. His academic career spans over three decades with continuous research activity from 1992 to the present, including publications scheduled for 2026. He serves as a project manager for several research initiatives including the Special Research Area (SFB) F90 Computational Electric Machine Laboratory, which runs from 2022 to 2026. Professor Steinbach's research interests primarily focus on Numerical Analysis and Computational Mathematics . His work centers around developing and analyzing advanced numerical methods, particularly Finite Element Methods (FEM) and Boundary Element Methods (BEM), for solving partial differential equations (PDEs) and optimal control problems. His research spans both theoretical aspects (such as error analysis, stability, and convergence) and practical applications (including electric machines, electromagnetics, and biomechanics). He has made significant contributions to space-time finite element methods, which treat time as an additional dimension in the discretization process, leading to more robust and efficient solvers for time-dependent problems. Analysis of his recent publications (2021-2026) reveals a strong focus on optimal control problems governed by partial differential equations, with particular emphasis on elliptic, parabolic, and hyperbolic PDEs. His work demonstrates a consistent pattern of developing robust numerical methods with rigorous error analysis, often incorporating regularization techniques to handle challenging constraints. The applications span computational electromagnetics (particularly electric machines), fluid dynamics, and wave propagation problems. His research increasingly incorporates advanced computational techniques including parallel computing and isogeometric analysis. Professor Steinbach has supervised numerous doctoral students and has been actively involved in organizing academic events, including summer schools on Boundary Element Methods. His collaborative network extends across multiple disciplines and institutions, reflecting the interdisciplinary nature of his work in computational mathematics. His research has been supported through multiple significant projects including DK-W1244 Doctoral Program on Partial Differential Equations, the EU CASOPT project on optimization of industrial devices, and the ongoing Special Research Area on Computational Electric Machine Laboratory. These projects demonstrate his leadership in establishing research frameworks that bridge theoretical mathematics with practical engineering applications. Professor Steinbach maintains an active research group within the Institute of Applied Mathematics, collaborating closely with researchers in computational engineering, electrical engineering, and biomechanics. His work on the Computational Electric Machine Laboratory represents a particularly strong interdisciplinary effort combining mathematical theory with electrical engineering applications.

Dario VretenarView profile

Professor

• Theoretical Nuclear Physics
• Energy Density Functional Theory
• Low-Energy Nuclear Effective Field Theory
• +3 more

Dario Vretenar is a Professor of Physics at the Department of Physics, Faculty of Sciences, University of Zagreb (since 2001). He has held academic roles including Associate Professor (1997-2001) and Assistant Professor (1993-1997). His research focuses on theoretical nuclear physics, particularly energy density functional theory, nuclear weak interactions, and computational physics. He has held visiting positions at institutions such as Technical University Munich (Visiting Professor, 1999-2000) and University of Tokyo (2010). Education: Ph.D. in Theoretical Nuclear Physics (University of Zagreb, 1988); M.Sc. in Physics (University of Zagreb, 1982). Postdoctoral fellowships included Yale University (1990) and Alexander von Humboldt Fellowships at Technical University Munich (1991-1993, 1997). Research Interests: Algebraic structure models for high-angular momentum states Low-energy nuclear effective field theory Nuclear astrophysical applications Development of relativistic energy density functionals Publications: Over 210 peer-reviewed articles (h-index 43, 7,000+ citations), 8 books, and 100+ conference contributions. Notable works include studies on nuclear clustering, quantum phase transitions, and neutron skin structure. Awards: Croatian Academy of Science and Arts Award for Science and Mathematics (2002) Croatian National Award for Science (2003) Fellow of the Croatian Academy of Sciences and Arts (2012) Service Roles: President of the Croatian Science Foundation (2013–present) Chair of the Physics Committee, Agency for Science and Higher Education, Croatia (2009–present) Board Member of Euroschool on Exotic Beams (2012–present) Teaching: Courses include Quantum Physics, Nuclear Structure, and Nuclear Astrophysics at undergraduate and graduate levels. Supervised numerous students in theoretical nuclear physics.

Moncef GabboujView profile

Professor

• Machine learning
• Artificial intelligence
• Signal processing
• +9 more

Professor Moncef Gabbouj is a distinguished academic and researcher currently serving as Professor of Signal Processing at the Department of Computing Sciences, Faculty of Information Technology and Communication Sciences, Tampere University, Finland. Previously, he held the same position at Tampere University of Technology before the merger in 2019. He has also held visiting professorships at prestigious institutions including Hong Kong University of Technology and Science, University of Southern California, and Purdue University. Ph.D. and MSc. in Electrical Engineering from Purdue University, USA (1989 and 1986) B.Sc. in Electrical Engineering from Oklahoma State University, USA (1985) Prof. Gabbouj's research spans multiple domains within signal and image processing, with a strong focus on machine learning applications. His primary research interests include artificial intelligence, machine learning, Big Data analytics, multimedia content-based analysis, indexing and retrieval, nonlinear signal and image processing, voice conversion, and video processing and coding. His work bridges theoretical advancements with practical applications across various industries, particularly in multimedia communications and biomedical applications. His extensive publication record demonstrates a clear evolution from traditional signal processing techniques toward more sophisticated machine learning and deep learning approaches. Recent work shows increasing focus on convolutional neural networks for various applications including ECG classification, video processing, financial time-series analysis, and image recognition tasks, reflecting the broader trend in the field toward deep learning methodologies while maintaining strong foundations in signal processing theory. IEEE Fellow (2011) Member, Finnish Academy of Science and Letters (2014) Knight, First Class, of the Order of the White Rose of Finland (2006) Nokia Foundation Recognition Award (2005) Nokia Foundation Visiting Professor Award (2012) Finnish Cultural Foundation for Art and Science Award (2017) TUT Foundation Grand Award (2015) Prof. Gabbouj has supervised 64 doctoral and 72 Master's theses, demonstrating his significant contribution to academic mentoring. His research has been supported by substantial funding, including research grants totaling 8.5 million Euro (2001-2015). He has served as Academy of Finland Professor during 2011-2015 and has been involved in numerous EU research projects including Horizon, ESPRIT, HCM, IST, COST, Tempus and Erasmus programs. As Editor, Guest Editor or member of the Editorial Board of 6 international scientific journals, he has significantly influenced the academic discourse in his field. He leads the Signal Analysis and Machine Intelligence (SAMI) research group at Tampere University and serves as the Finland Site Director of the NSF IUCRC funded Center for Visual and Decision Informatics. His research unit focuses on applying advanced machine learning techniques to solve complex problems in signal processing, computer vision, and multimedia analytics, with applications ranging from healthcare to multimedia communications and financial analysis.

• Probability Theory
• Convex Geometry
• Functional Analysis
• +3 more

Rafał Latała is a distinguished Professor at the Institute of Mathematics, Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, where he has held a full professorship since 2013. He is also a Corresponding Member of the Polish Academy of Sciences since 2016 and an AMS Fellow since 2013. His academic career spans over 25 years at the University of Warsaw, progressing from Instructor (1994-1997) to Assistant Professor (1997-2003), Associate Professor (2003-2012), and finally to his current position as Professor. Additionally, he held a part-time professorship at the Institute of Mathematics of the Polish Academy of Sciences from 2009-2012. His educational background includes a PhD in Mathematics from the University of Warsaw (1997) with a dissertation on estimation of moments of sums of independent random variables under the supervision of Professor Stanisław Kwapien, a Habilitation degree in Mathematics (2002), and the title of Professor awarded by the President of Poland (2009). He completed his MSc in Mathematics at the University of Warsaw in 1994. Latała's research focuses on the intersection of probability theory and geometric analysis, with particular expertise in convex geometry, functional analysis, asymptotic geometric analysis, and the theory of log-concave measures. His work bridges theoretical mathematics with applications in high-dimensional statistics and random matrix theory. He has made significant contributions to understanding moment inequalities, concentration phenomena, and the geometric structure of high-dimensional random objects. His recent work demonstrates increasing sophistication in handling complex relationships between different norms of random vectors and matrices. His publication record shows a consistent focus on probabilistic methods in geometric settings, with recent articles demonstrating advanced techniques for analyzing random matrices, log-concave measures, and canonical processes. The research trajectory reveals increasingly sophisticated methods for bounding norms and moments in high-dimensional spaces, with applications spanning theoretical mathematics to statistical learning theory. Kolmogorov Lecture 2024 Prize of the Foundation for Polish Science in mathematics, physics, and engineering sciences 2023 Orlicz Lecture 2023 Institute of Mathematics of the Polish Academy of Sciences Prize 2014 AMS Fellow since 2013 Foundation for Polish Science Grant Mistrz 2007-2011 Prime Minister Award for Habilitation Thesis 2003 Invited Speaker at International Congress of Mathematicians 2002 Latała has supervised five PhD students to completion (Rafal Meller, Marta Strzelecka, Jakub Wojtaszczyk, Radoslaw Adamczak, and Rafal Lochowski) and four MSc students (Maciej Bartczak, Dariusz Matlak, Tomasz Tkocz, and Marcin Lis). His editorial service includes positions at Probability Surveys (2024-26), The Annals of Probability (2015-20), and Studia Mathematica (2006-present). He has organized numerous international conferences including the High Dimensional Probability X conference in 2023 and served on various professional committees including the Central Commission for Academic Degrees and Titles.

Marc PollefeysView profile

Professor

• 3D Computer Vision
• Robotics
• Machine Learning
• +5 more

Marc Pollefeys is a Full Professor of Computer Science at ETH Zurich and Director of the Microsoft Mixed Reality and AI Zurich Lab. He has held roles such as Visiting Professor at Stanford University (2007) and Assistant/Associate Professor at UNC-Chapel Hill (2002–2009). His research focuses on 3D computer vision, robotics, machine learning, and augmented reality. Education: PhD in Computer Science from KU Leuven (1999), followed by postdoctoral research there until 2002. He transitioned to academic roles at UNC-Chapel Hill before joining ETH Zurich in 2007. Research interests include 3D reconstruction, visual localization, SLAM, and applications in archaeology, urban modeling, and robotics. Notable projects include real-time 3D scanning, city-scale reconstruction, and autonomous vision-based drones. Key awards include ACM Fellow (2022), IEEE Fellow (2012), and ERC Starting Grant (2008). He advises numerous PhD students and collaborates with institutions like Google and Microsoft. Labs and teams: Leads the Computer Vision and Geometry (CVG) lab at ETH Zurich and directs the Microsoft Mixed Reality and AI Lab. His work bridges academia and industry, focusing on perception for mixed reality and autonomous systems.

Johannes BrandstetterView profile

Associate Professor

• Machine Learning
• Deep Learning
• Geometric Deep Learning
• +5 more

Johannes Brandstetter is an Associate Professor at the Institute for Machine Learning at Johannes Kepler University Linz (JKU) where he leads the "AI for data-driven simulations" research group. He is also Co-founder and Chief Scientist at Emmi AI, bridging academic research with industrial applications in AI-driven physics simulation. Brandstetter earned his PhD after working at CERN's CMS experiment on Higgs boson physics. In 2018, he transitioned to machine learning, joining Sepp Hochreiter's research group in Linz. From 2021-2023, he worked at the Amsterdam Machine Learning Lab under Max Welling and Microsoft Research, developing expertise in Geometric Deep Learning and neural surrogates for partial differential equations. He returned to JKU in October 2023 to establish his own research group. His research spans Machine Learning, Deep Learning, and Physics-Informed Machine Learning with focus areas including Neural PDE solvers, Computational Fluid Dynamics, and Climate Modeling. Brandstetter believes AI is poised to revolutionize industrial-scale simulations, potentially saving thousands of compute hours across engineering domains. His work integrates computer vision, numerical simulation, and engineering components to advance data-driven approaches. Recent publications reveal a strong trend toward foundation models for scientific applications, particularly in atmospheric modeling (Aurora), geometric deep learning, and neural surrogates for complex physical systems. His interdisciplinary work spans computer vision, climate science, computational physics, and engineering, demonstrating the versatility of his research approach. Principal Investigator for "AlKa-DL: Alpine karst spring discharge prediction" (FWF-funded, 2024-2027) Principal Investigator for Cluster of Excellence "Bilateral Artificial Intelligence" (FWF-funded, 2024-2029) Co-PI for "Fast, efficient and flexible CFD simulation through generative AI" (FFG-funded, 2025-2026) As an educator and researcher, Brandstetter actively engages with the scientific community through invited talks at major conferences including presentations on "Closing the Gap Between Scientific Foundation Models and Real-World Applications" (March 2025) and "Scientific Machine Learning for Science and Engineering" (February 2025).

Mihyun KangView profile

Professor

• Combinatorics
• Discrete Probability
• Algorithms
• +3 more

Mihyun Kang is a Professor in the Institute of Discrete Mathematics at Graz University of Technology (TU Graz), leading the Combinatorics Group. She holds significant academic positions and has been recognized with a Heisenberg Fellowship (German Research Foundation) and a Friedrich Wilhelm Bessel Research Award (Alexander von Humboldt Foundation). Her research focuses on combinatorics, discrete probability, and algorithms, with a specialization in random graph theory. She contributes to editorial boards, including Random Structures & Algorithms . Her research interests emphasize high-dimensional graphs, percolation processes, and structural properties of random graphs. She explores topics such as phase transitions, graph enumeration, and algorithmic applications in combinatorial problems. Her work bridges theoretical foundations with practical applications in algorithm design and probabilistic modeling. Dr. Kang’s scientific achievements include pioneering studies on hypergraphs, bootstrap percolation, and the evolution of random graph processes. Her recent publications highlight advancements in understanding graph components, connectivity thresholds, and universality phenomena in random structures. She collaborates widely, contributing to conferences and international initiatives like the SFB “Discrete random structures: enumeration and scaling limits.” Her professional activities include advising doctoral students and supervising research projects at TU Graz. She leads the Combinatorics Group, which hosts the Graz Combinatorics Seminar and actively engages in academic outreach. Her contributions extend to textbook authorship, including Diskrete Mathematik für die Informatik , and she maintains an active presence in discrete mathematics education and research.

Ana SokolovaView profile

Professor

• Computer Science
• Theoretical Computer Science
• Formal Methods
• +3 more

Ana Sokolova is a Professor in the Department of Computer Science at the University of Salzburg. She is affiliated with the Faculty of Digital and Analytical Sciences and actively contributes to research in theoretical computer science. University: University of Salzburg Faculty: Faculty of Digital and Analytical Sciences Department: Computer Science Email: ana.sokolova@plus.ac.at Her research focuses on probabilistic systems , concurrency theory , convex algebras , and formal verification . This work bridges theoretical foundations with practical applications in distributed computing and programming semantics. Recent publications highlight advancements in trace semantics , determinization , probabilistic anonymity , and coalgebraic modeling . Key trends include the integration of Markov chains , nondeterministic systems , and algebraic structures for formal verification.

Życzkowski KarolView profile

Professor

• Quantum Information Theory
• Quantum Chaos
• Random Matrices
• +7 more

Karol Życzkowski is a Professor of Physics at the Smoluchowski Institute of Physics, Jagiellonian University, Cracow, Poland, and also holds a position at the Center for Theoretical Physics, Polish Academy of Sciences, Warsaw. He has held visiting positions at the Perimeter Institute for Theoretical Physics (2004/05) and previously served as Director of the Quantum Information Center in Gdańsk (2019-2023). Since January 2023, he has been President of the Cracow Branch of the Polish Academy of Sciences. Education Ph.D. in Theoretical Physics (1987, Jagiellonian University) Habilitation in Physical Sciences (1994, Jagiellonian University) Życzkowski’s research spans Quantum Information Theory , with a focus on quantum entanglement, geometry of quantum states, random matrices, and operator theory. His work bridges theoretical physics, mathematics, and interdisciplinary applications, including voting systems (e.g., Jagiellonian Compromise) and scientometrics. He has authored or co-authored over 150 papers and the influential monograph Geometry of Quantum States (Cambridge University Press, 2006, second edition 2017). His recent publications emphasize quantum thermodynamics (e.g., Jarzynski equality for stochastic maps), entanglement detection via uncertainty relations, and mathematical structures in quantum theory. Collaborations span 134 scientists from 19 countries, and his work has been cited over 6500 times (Google Scholar) with an H-index of 40. Scientific Awards Award of Rector of Jagiellonian University (2013) for work on quantum information foundations Award of Rector of Jagiellonian University (2007) for the monograph Geometry of Quantum States Prime Minister Award (1995) for habilitation thesis Humboldt Fellowship (1989), Fulbright Fellowship (1997/98) Życzkowski has supervised 5 Ph.D. and 16 Master’s theses, with 3 Ph.D. students currently in progress. He coordinated 9 research grants, participated in 10 others, and led the Polish node of a German SFB-Transregio project. He serves on editorial boards for journals including Open Systems & Information Dynamics and Journal of Physics A . He co-organized workshops (including Oberwolfach and Marseille) and founded research networks like the European Research Network Krzyżowa Initiative for Quantum Information. His Jagiellonian Quantum Information Team (JQIT) and involvement in the Mark Kac Complex Systems Research Centre highlight his collaborative leadership.

Klemens FellnerView profile

Professor

• Partial Differential Equations
• Reaction-Diffusion Systems
• Kinetic Equations
• +6 more

Klemens Fellner is a Professor of Mathematics/Computational Sciences and Group Leader of the Applied Analysis Group at the Institute of Mathematics and Scientific Computing, University of Graz. His research focuses on the analysis of partial differential equations and mathematical modeling across physics, chemistry, and biology. Research Interests: Prof. Fellner's work spans theoretical analysis of nonlinear PDEs (reaction-diffusion, kinetic, and non-local equations) using entropy/duality methods, with applications to: Biological systems (lipolysis, protein localization, stem-cell division) Physical processes (organic photovoltaics, semiconductor modeling) Collective behavior (swarming micro-organisms, aggregation dynamics) Interdisciplinary Mathematics-Arts collaborations Publication Trends: His recent articles (2018-2021) demonstrate strong focus on: Global existence and regularity for reaction-diffusion systems Convergence to equilibrium via entropy methods Drift-diffusion models in semiconductor physics Mathematical biology applications (prion dynamics, lipolysis) Novel approaches for non-local aggregation and hysteresis phenomena Research Leadership: Currently leads the Applied Analysis Group with members including postdocs and PhD students. Key projects: Doctoral School IGDK (International Graduate School) SFB Lipid Hydrolysis (Special Research Program) Mathematics and Arts collaborations Colibri research platform Supervises PhD candidate Reymart Lagunero studying generalized reaction-diffusion systems.

Tom HenzingerView profile

Professor

• Formal Methods
• Software Engineering
• Computer Science
• +5 more

Tom Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), leading the Tom Henzinger Group. His research focuses on formal methods to enhance software quality, addressing challenges in concurrent systems, real-time and embedded systems, quantum computing, neural networks, and biochemical reaction networks. He has advised numerous PhD students and postdoctoral researchers, contributing to advancements in these fields. His work emphasizes mathematical rigor in software analysis and verification. Current projects include VAMOS (Middleware for best-effort third-party monitoring) and SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design). Past projects involved model checking and runtime verification techniques. Research interests span concurrent software synthesis, quantitative modeling of reactive systems, predictability of real-time systems, and formal methods applied to quantum computation and neural networks. He is also engaged in exploring hardware-optimal solutions for quantum algorithms. Administrative Assistant Ksenja Harpprecht supports the group. Courses taught include 'Formalisms Every Computer Scientist Should Know,' focusing on logics, automata, and semantics. The group hosts regular seminars, such as the Tuesday group seminar and the Wednesday joint formal methods seminar with TU Wien's FORSYTE group.

Bart De MoorView profile

Professor

• Numerical Linear Algebra
• Optimization
• Algebraic Geometry
• +11 more

Bart De Moor is a Full Professor at the Department of Electrical Engineering, KU Leuven, Belgium, and a guest professor at the University of Siena. He leads the STADIUS research group and has supervised 85 PhD students. His roles include chairman of Health House (2016–present), member of the Board of VIB (Biotech Institute), and former Vice-Rector for International Policy (2009–2013). Education: Master Degree in Electrical Engineering (1983), KU Leuven PhD in Engineering (1988), KU Leuven Research Interests: His work spans numerical linear algebra, optimization, algebraic geometry, systems and control theory, data-driven AI, machine learning, and applications in process industry and biomedical big data. He has contributed to subspace identification, tensor decomposition, bioinformatics, and quantum computing. Publications Trends: His publications highlight subspace identification methods, tensor decomposition, bioinformatics, and biomedical data analysis. These reflect interdisciplinary advancements in control theory, quantum physics, and mathematical engineering, with applications in industrial and healthcare domains. Scientific Awards and Honors: Leslie Fox Prize (1989) Laureate of the Belgian Royal Academy of Sciences (1992) Bi-annual Siemens Award (1994) Fellow of IEEE (since 2004) Member of the Royal Academy of Belgium for Science and Arts (since 2000) Fellow of IFAC (since 2022) Commander in the Order of King Leopold I (2020) Fellow of SIAM (since 2017) FWO Excellence Award (2010) Advising and Grants: He has led a research group of 20 PhD students and postdocs, co-founded 8 spinoff companies, and secured the ERC Advanced Grant ‘Back to the roots’ (2020–2025). He also co-holds the KU Leuven Chair on healthcare systems (2018–present). Labs and Organizations: Active in the STADIUS research group (KU Leuven), he has served on boards of the Flemish Interuniversity Institute for Biotechnology (VIB), the Alamire Foundation, and the Health Tech Experience Center Health House. His spinoffs include Trendminer, Cartagenia, and Ugentec.