جست‌وجوی استاد و پژوهشگر

Joseph Eremondiمشاهده پروفایل

استادیار

• Programming Languages
• Type Theory
• Dependent Types
• +۱۲ مورد دیگر

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.

Karin Melnickمشاهده پروفایل

استاد

• Differential Geometry
• Rigidity Theory
• Lorentzian Geometry
• +۴ مورد دیگر

Karin Melnick is a Full Professor in Mathematics at the University of Luxembourg, Faculty of Science, Technology and Medicine, Department of Mathematics. She heads the research group Group Actions, Geometric Structures, and Smooth Dynamics . Previously, she held positions at the University of Maryland (2009–2023), where she advanced from Assistant Professor to Professor and Associate Chair for Faculty Affairs, and at Yale University (2006–2009). Education: PhD and Master's degrees from the University of Chicago Research Interests: Her work spans differential-geometric rigidity, Lorentzian geometry, conformal pseudo-Riemannian structures, parabolic Cartan geometries, and smooth dynamical systems. She investigates symmetries of geometric structures, classification of manifolds with prescribed curvature properties, and dynamics of group actions on differentiable manifolds. Publications: Melnick's 15 most recent articles (2011–2025) predominantly explore rigidity phenomena in geometric structures, conformal/Lorentzian geometry, and dynamical systems. Key themes include automorphism groups of parabolic geometries, embedding theorems for tractor bundles, non-existence results for quasihomogeneous metrics, and applications of Frobenius-type theorems to Cartan geometries. Academic Leadership: She organizes major conferences including the upcoming BeNeLux Mathematical Congress (2026) and Lorentzian, Affine, and Hyperbolic Geometry: In Memory of Todd Drumm (2025). She frequently delivers invited talks at institutions like IHES Paris, Isaac Newton Institute, and Universität Hamburg. Teaching: Currently instructs Géométrie des courbes et des surfaces (Summer 2025).

Michael Ulbrichمشاهده پروفایل

استاد

• Nonlinear Optimization
• Optimal Control
• Numerical Analysis
• +۳ مورد دیگر

Prof. Dr. Michael Ulbrich is a full professor and Chair of Mathematical Optimization at the Technical University of Munich (TUM), within the School of Computation, Information and Technology. He has held this position since 2006 and previously served as Dean of Studies (2007–2010) and Vice Dean of the Faculty of Mathematics (2012–2015). His research focuses on nonlinear optimization, optimal control, and numerical analysis, with applications in fluid dynamics, shape optimization, and PDE-constrained systems. He leads projects in the DFG SPP 1962 and IGDK 1754, and has received prestigious awards including the Howard Rosenbrock Prize (2015) and the Doctoral Award from the TUM Association of Friends (1996). Ulbrich is Editor-in-Chief of Optimization and Engineering and contributes to multiple journals. His work bridges theoretical foundations and practical applications, including CO2 sequestration, fluid-structure interaction, and distributed optimization algorithms. Education: PhD (1996), Habilitation (2002) in Mathematics at TUM. Research stays at Rice University (USA) under DFG funding. Research Areas: Semismooth Newton methods, PDE-constrained optimization, optimal control of Navier-Stokes equations, and distributed parameter systems. Awards: Rosenbrock Prize, Teaching Excellence Awards, and recognition for doctoral work. Leadership Roles: Department Head of Mathematics (2022–), Member of TUM Senate (2019–2022), and Co-Chair of GAMM 2018. Ulbrich has authored influential textbooks like Semismooth Newton Methods for Variational Inequalities and Nichtlineare Optimierung . His recent projects include OptiGeoS (2024–2026) and collaborations on nonsmooth optimization and stochastic algorithms. His academic contributions span over 100 publications, emphasizing both algorithmic innovation and rigorous mathematical analysis.

Elias Jarlebringمشاهده پروفایل

استاد

• Numerical Linear Algebra
• Matrix computations
• Nonlinear eigenvalue problems
• +۱۰ مورد دیگر

Elias Jarlebring is a Professor in Numerical Linear Algebra at the Department of Mathematics, KTH Royal Institute of Technology, Stockholm. He has held the position of Full Professor since 2021, following his tenure as Associate Professor (2013-2021) and Dahlquist Research Fellow (2011-2013). His research focuses on numerical analysis, numerical linear algebra, matrix computations, and scientific computing. Jarlebring develops linear algebra algorithms to solve problems from various fields including systems and control, acoustics, electromagnetics, data science, quantum mechanics, and quantum chemistry. He is a core developer of NEP-PACK, a scientific computing software package for nonlinear eigenproblems. His recent publications demonstrate significant contributions to computational methods for nonlinear eigenvalue problems, matrix functions, and parameterized linear systems. The research shows a clear trajectory toward increasingly complex applications in quantum computing, data science, and wave propagation problems. Project grant, Swedish research council (2019) Ruth och Nils-Erik Stenbäcks foundation, junior grant (2019) Göran Gustafsson Prize for junior researchers (2014) Project grant for junior researchers, Swedish research council (2014-2018) Professor Jarlebring has supervised numerous PhD students including Vilhelm Peterson Lithell, Gustaf Lorentzon, Siobhán Correnty, Parikshit Upadhyaya, Emil Ringh, Antti Koskela, and Giampaolo Mele. He has received multiple research grants from the Swedish Research Council and serves as editor for BIT Numerical Mathematics, Linear and Multilinear Algebra, NACO Numerical Algebra Control and Optimization, and CALCOLO. He is actively involved in the numerical linear algebra community as a member of ILAS (International Linear Algebra Society), GAMM Activity Group on Numerical Linear Algebra, and the Nordic Numerical Linear Algebra Association. He also contributes to open source projects, particularly in the Julia programming language ecosystem.

Arthur Bousquetمشاهده پروفایل

دانشیار

• Applied Mathematics
• Numerical Analysis
• Computational Fluid Dynamics
• +۳ مورد دیگر

Arthur Bousquet is an Associate Professor of Mathematics at Lake Forest College, affiliated with the Math and Computer Science department. He holds a PhD in Applied Mathematics from Indiana University (Bloomington, IN) and a MS in Engineering in applied mathematics and scientific computing from SuP Galilee Engineering School (Paris, France). His research focuses on numerical methods for partial differential equations, including finite volume and finite element techniques, with applications to geophysical fluid dynamics, climate modeling, and biomedical problems like viral shell mechanics. Notable areas include shallow water equations, phase field modeling, and computational methods for atmospheric dynamics. Bousquet has published extensively on topics such as numerical weather prediction, electrokinetic equations, and virus nanoindentation modeling. His work often combines theoretical analysis with computational simulations to address complex systems in fluid dynamics and materials science. He has received the Rothrock Award for teaching excellence (2014) and held research fellowships including an NSF Graduate Fellowship (2009-2013). His teaching includes courses like Computational Mathematics, Multivariable Calculus, and Real Analysis.

Chuanhai Liuمشاهده پروفایل

استاد

• Statistical Inference
• Computational Methods
• Bayesian Analysis
• +۴ مورد دیگر

Chuanhai Liu is an Associate Head and Professor of Statistics at Purdue University’s Department of Statistics. He specializes in computational methods for statistical inference, Bayesian analysis, and big data computing systems. His research emphasizes robust algorithms, inferential models, and probabilistic methods. Education: M.S., Wuhan University, Probability and Statistics (1987) M.A., Harvard University, Statistics (1990) Ph.D., Harvard University, Statistics (1994) Research Interests: Computational methods (EM algorithms, MCMC), statistical software systems for big data, theoretical foundations of inference, and prior-free probabilistic modeling. His work bridges computational efficiency and statistical validity, with applications in network analysis, environmental data, and machine learning. Awards: Fellow of the American Statistical Association (2007) Elected Member of the International Statistical Institute (2006) Frank Wilcoxon Prize (2000) Advising & Grants: Supervised 9 Ph.D. students, including interdisciplinary collaborations. His grants focus on distributed statistical computing and inferential frameworks. Active in software development for large-scale data analysis. Labs/Teams: Leads statistical computing initiatives at Purdue, contributing to scalable algorithms and probabilistic inference systems.

Tianyi Linمشاهده پروفایل

استادیار

• Optimization
• Game Theory
• Machine Learning
• +۳ مورد دیگر

Tianyi Lin serves as an Assistant Professor in the Department of Industrial Engineering and Operations Research (IEOR) at Columbia Engineering, Columbia University, a position he assumed in 2024. He holds dual affiliations as a verified Data Science Institute (DSI) Member and an Affiliated Member of both the Financial and Business Analytics Center and the Foundations of Data Science Center. His academic credentials include: Ph.D. in Electrical Engineering and Computer Science, UC Berkeley Postdoctoral Researcher, Laboratory for Information & Decision Systems (LIDS), MIT (2023-2024) M.S. in Operations Research, UC Berkeley M.S. in Pure Mathematics and Statistics, University of Cambridge B.S. in Mathematics, Nanjing University Dr. Lin's research spans optimization theory , game-theoretic models , and machine learning algorithms , with emphasis on nonconvex minimax problems , variational inequalities , and data science applications . His work bridges theoretical guarantees with practical implementations in high-dimensional settings, particularly focusing on convergence properties and computational efficiency in complex systems. Analysis of his 15 most recent publications (2022-2025) reveals dominant themes in high-order optimization methods , no-regret learning in games , and optimal transport algorithms . His contributions demonstrate consistent innovation in developing doubly optimal algorithms for monotone games, spectral regularization techniques for policy optimization, and structure-driven approaches for nonconvex problems, reflecting strong interdisciplinary connections between operations research, computer science, and applied mathematics. No scientific awards or honors were documented in the provided source material. Information regarding student advising and research grants remains unspecified in the current documentation, though his center affiliations suggest active participation in collaborative research initiatives. Dr. Lin maintains significant interdisciplinary engagement through his affiliations with Columbia's Data Science Institute and specialized research centers, positioning his work at the intersection of theoretical optimization and real-world data science applications.

• Optimal Control of Partial Differential Equations
• Variational Inequalities
• Nonsmooth Infinite-dimensional Optimization
• +۵ مورد دیگر

Dr. Constantin Christof is a Lecturer (Akademischer Rat auf Zeit) at the Department of Mathematics , Technische Universität München , with prior roles as a W2 Stand-in Professor at Universität Augsburg and Research Associate at TUM and TU Dortmund. His research focuses on Optimal Control of PDEs , Variational Inequalities , and Nonsmooth Optimization , with applications in Non-Newtonian Fluids and Neural Networks . May 2015 - July 2018: Dr. rer. nat. in Mathematics, TU Dortmund Oct. 2013 - July 2014: MAST (Part III of Mathematical Tripos), University of Cambridge Oct. 2009 - Sept. 2012: B.Sc. in Technomathematics and Mathematics, TU Dortmund Christof's work bridges Finite Element Error Analysis , Sensitivity Analysis , and Physics-Guided Machine Learning , particularly in problems involving Contact Mechanics and Parabolic PDE Constraints . His recent publications address challenges in Semilinear Elliptic PDEs , Obstacle Problems , and Nonsmooth Superposition Operators , with a focus on theoretical and numerical advancements. Scientific awards include the Dissertation Award and Best Graduate Award from TU Dortmund, and the Award for Academic Excellence by the Minister President of North Rhine-Westphalia. He has supervised 11 theses at the Master's and Bachelor's levels, covering topics from Neural Network Surrogate Models to Bingham Fluid Simulations .

• Nonlinear Programming
• Optimization Methods
• Radiation Therapy Optimization
• +۲ مورد دیگر

Anders Forsgren is a Professor of Optimization and Systems Theory at the Department of Mathematics, KTH Royal Institute of Technology since 2003. His research focuses on nonlinear programming, particularly Newton-type methods for smooth optimization, with applications in radiation therapy, cell biology, and telecommunications. PhD in Optimization and Systems Theory (KTH, 1990) MS in Operations Research (Stanford, 1987) MSc in Engineering Physics (KTH, 1985) Research Interests: Anders develops methods for constrained optimization and applies them to intensity-modulated radiation therapy, metabolic networks, and wireless communication systems. His work bridges algorithmic innovation with real-world clinical and engineering challenges. Recent Publications: Focus on robust optimization for radiation therapy under uncertainty, quasi-Newton methods, and applications in medical physics. His 2025 papers address interplay-robust optimization and scenario positioning in proton therapy. Scientific Leadership: Co-chair, 8th SIAM Conference on Optimization (2005) Editorial board member, Computational Optimization and Applications (since 1998) Member, Mathematical Optimization Society and SIAM Mentorship: Supervises PhD students in optimization and systems theory, with former advisees working on radiation therapy robustness, metabolic modeling, and network design.

Wei Baoمشاهده پروفایل

دانشیار

• Networking
• Distributed Machine Learning
• AI for Networked Systems
• +۴ مورد دیگر

Dr. Wei Bao is an Associate Professor in the School of Computer Science at the University of Sydney, part of the Faculty of Engineering. He leads the I-Net (Intelligent Networking) Group and holds a B.Eng. from Beijing University of Posts and Telecommunications (2009), M.A.Sc. from the University of British Columbia (2011), and Ph.D. from the University of Toronto (2015). His research focuses on distributed machine learning, AI-driven network systems, and intelligent network optimization, with industrial collaborations at companies like Link Group. Education: Bachelor of Engineering, Beijing University of Posts and Telecommunications (2009) Master of Applied Science, University of British Columbia (2011) Ph.D., University of Toronto (2015) Research Interests: Dr. Bao's work addresses challenges in distributed machine learning, AI integration into network systems, and optimizing network performance. He emphasizes practical applications through industry partnerships, aiming to bridge academic research with real-world impact. His current projects include federated learning frameworks, IoT communication sharing architectures (e.g., sTube+), and edge computing optimizations. Publications Trends: His recent work focuses on federated learning algorithms (e.g., Federated Learning with Nesterov Accelerated Gradient ), edge computing optimizations ( SOAR: Smart Online Aggregated Reservation ), and partial label learning techniques. These reflect a blend of theoretical advancements and applied systems research. Awards: Multiple Distinguished TPC Member awards (INFOCOM 2020-2024) Best Paper Awards at ACM MSWiM (2019), IEEE NCA (2016), and others Advising & Grants: Dr. Bao supervises PhD candidates in distributed systems and machine learning. His grants include projects like Pioneering Federated Real-Time Video Analytics (ARC DP 2025) and industry collaborations via the University of Sydney's Industry Program. He also leads the Master of Computer Science program at the University of Sydney. Labs & Teams: He directs the I-Net Group, focusing on intelligent networking and distributed systems. Collaborations span institutions like The Hong Kong Polytechnic University (Dr. Dan Wang) and York University (Dr. Uyen Trang Nguyen).

• Number Theory
• Algebraic Geometry
• Computational Algebra
• +۳ مورد دیگر

Jordi Guàrdia Rúbies is a Professor in the Department of Mathematics at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Mathematics and Statistics (FME). He is a member of the UPC's STNB research group (Seminari de Teoria de Nombres de Barcelona), specializing in Number Theory and Algebraic Geometry. His work bridges theoretical research with educational innovation, particularly in Open Educational Resources (OER) for STEM fields. Affiliations: UPC, STNB Group, FME. Research Interests: Computational Algebra, Valuation Theory, Modular Forms, Mathematics Education. Recent research focuses on OER development, with contributions to collaborative platforms like Gate2Math. He has published extensively in journals like Journal of Algebra and Foundations of Computational Mathematics , addressing topics such as polynomial factorization over Henselian fields and valuation theory applications. Key awards include the Distinció Vicens Vives and UPC Quality Teaching Prize. He leads projects on OER quality assessment and has collaborated on EU-funded initiatives like the Erasmus+ Gate2Math program. His teaching contributions include innovative projects like Aprenentatge de l’Estadística basat en casos pràctics transversals , emphasizing practical case studies in statistics education.

• Astronomical Sciences
• Space Sciences
• Particle and High Energy Physics
• +۳ مورد دیگر

Ivan Baldry is a Professor at the Astrophysics Research Institute of Liverpool John Moores University , with a career focused on galaxy formation and cosmology. His work spans large-scale surveys like GAMA, XXL, and Euclid, emphasizing photometric redshifts, stellar mass functions, and galaxy environment interactions. PhD in Astrophysics from University of Sydney (1995-1999) Research interests center on galaxy evolution , cosmic star formation , and observational cosmology , with significant contributions to understanding galaxy bimodality and low-surface-brightness systems. His work integrates multi-wavelength data (UV to radio) and advanced clustering techniques. Key publications include studies on galaxy mass-size relations, star formation rate indicators, and the cosmic spectral energy distribution. He co-authored over a dozen GAMA project papers and contributed to Euclid mission frameworks. Scientific Awards & Professional Roles Royal Astronomical Society Group Achievement Award (2008) Fellow of the Higher Education Academy (2014) Fellow of the Royal Astronomical Society (2009) Member of Euclid Science Team (2011-present) International Member, Australian Time Assignment Committee (2015) His collaborations span institutions like the Isaac Newton Group, VISTA surveys, and the 2dF Galaxy Redshift Survey Team, with leadership in data release protocols and survey diagnostics.

• Numerical Optimization
• Convex Optimization
• Non-convex Continuous Optimization
• +۴ مورد دیگر

Quoc Tran-Dinh is an Associate Professor at the Department of Statistics and Operations Research , The University of North Carolina at Chapel Hill , and an Adjunct Member of the Department of Computer Science (2020–present). He earned his Ph.D. in 2012 in Optimization in Engineering from KU Leuven , Belgium, under the supervision of Prof. Moritz Diehl. Research focus: Numerical optimization , convex optimization , non-convex continuous optimization , with applications in machine learning and data analysis . Key publication trends: homotopy methods , primal-dual algorithms , stochastic optimization , nonconvex-concave minimax problems , and generalized self-concordant functions . Honors include the SAMSI fellowship (2019) and ONR grants (2023, 2020). Teaching includes graduate courses on linear programming , modern optimization in data analysis , and nonconvex optimization , alongside undergraduate courses on decision sciences and introduction to optimization . He has supervised Ph.D. student Tianxiao Sun (2018) and collaborates with researchers globally, including institutions in the US and Europe .

Maximilian Brunnerمشاهده پروفایل

پژوهشگر

• Numerics of PDEs
• Finite Element Methods (FEM)
• Contractive Iterative Solvers
• +۳ مورد دیگر

Maximilian Brunner is a Postdoc at TU Wien's Institute of Analysis and Scientific Computing (E 101), specializing in Numerics of Partial Differential Equations (PDEs). He holds a Dipl.-Ing. (MSc) and Dr.techn. (PhD) from TU Wien, with his doctoral thesis on On optimal adaptivity for semilinear PDEs earning the 2025 Study Prize from the Austrian Mathematical Society (ÖMG). His research focuses on adaptive finite element methods (FEM), iterative solvers for nonlinear PDEs, and cost-optimality analysis. He collaborates with Prof. Dirk Praetorius and contributes to projects funded by the Austrian Science Fund (FWF). Previously, he was a PhD student (2020–2024) and taught courses in numerical mathematics and scientific programming. His work bridges theoretical advancements in adaptive algorithms with practical computational efficiency, addressing challenges in nonsymmetric and semilinear PDEs. Education: PhD in Technical Mathematics, TU Wien (2024), supervised by Dirk Praetorius MSc in Technical Mathematics, TU Wien (2020), supervised by Winfried Auzinger Research Interests: His interdisciplinary work centers on developing adaptive FEM strategies for cost-optimal solutions to PDEs. Key areas include: Contractive iterative solvers for nonlinear systems Goal-oriented error estimation for targeted accuracy Quasi-optimal computational cost in adaptive algorithms His methods prioritize minimizing computational resources while maintaining solution fidelity, with applications to elliptic and semilinear PDEs. Awards: 2025 Study Prize (ÖMG) for PhD thesis Grants & Funding: FWF Projects P33216 and P28367 Vienna School of Mathematics membership (2020–present) Labs/Teams: Core member of the Numerics of PDEs research group, part of TU Wien's ASC unit. Active in collaborative projects with international conferences and workshops.

Jaroslav Hronمشاهده پروفایل

دانشیار

• Fluid Mechanics
• Biomechanics
• Numerical Analysis
• +۳ مورد دیگر

Dr. Jaroslav Hron is an Associate Professor at the Department of Numerical Mathematics within the Faculty of Mathematics and Physics at Charles University in Prague, Czech Republic. His primary research focuses on fluid mechanics, biomechanics, and numerical analysis, with particular expertise in fluid-structure interaction problems and their applications to cardiovascular mechanics. Dr. Hron's research interests span fluid mechanics, biomechanics, numerical analysis, and computational mathematics. His work primarily investigates fluid-structure interaction problems, particularly as they apply to cardiovascular mechanics and hemodynamics. He has made significant contributions to the understanding of non-Newtonian fluids, pressure-dependent viscosities, and the development of advanced numerical methods for solving complex fluid flow problems. His research often bridges the gap between theoretical mathematics and practical applications in biomedical engineering. Analysis of his recent publications reveals a strong focus on cardiovascular applications, particularly in determining pressure data from velocity measurements and modeling blood flow in complex geometries. His work demonstrates a consistent progression from theoretical considerations to practical applications in biomechanics, with increasing emphasis on computational methods for fluid-structure interaction problems. The research shows interdisciplinary collaboration across mathematics, engineering, and medical fields. Dr. Hron has been actively involved in academic advising and research supervision, contributing to the development of computational methods in fluid mechanics. His work has established important benchmarks in fluid-structure interaction simulation, particularly in hemodynamic applications. His laboratory work primarily focuses on computational fluid dynamics and fluid-structure interaction, with applications to cardiovascular mechanics. He has developed and refined numerical methods for simulating complex fluid behaviors, particularly those relevant to biological systems.