Prof. Dr. Martin Hils is a Professor of Mathematical Logic at the University of Münster's Faculty of Mathematics and Computer Science, affiliated with the Institut für Mathematische Logik und Grundlagenforschung. His expertise lies in model theory and set theory, focusing on geometric stability, simplicity theory, valued fields with automorphisms, and Hrushovski amalgamation. Education: Habilitation in Mathematics (2013, Université Paris Diderot) PhD in Mathematics (2006, Université Paris 7 and Lyon 1) Master (DEA) in Logic and Computer Science (2002, Paris 7) Diploma in Mathematics with Philosophy (2001, University of Bonn) Research Interests: Model theory of valued fields, geometric stability/simplicity theories, Hrushovski amalgamation techniques, and applications to algebraic geometry and differential fields. His work bridges abstract model theory with concrete mathematical structures. Recent Research Trends: Focus on non-archimedean geometry, separably closed valued fields, Lang-Weil estimates in difference fields, and definable retraction principles. His articles explore topics like Ax-Kochen-Ershov principles, domination monoids in valued fields, and beautiful pairs in unstable theories. Grants & Projects: Lead investigator in DFG Cluster of Excellence EXC 2044 (Groups, Model Theory and Sets) Principal investigator in 'Model Theory of Valued Fields with Endomorphism' (DFG 2022-2025) GeoMod project (geometric/combinatorial configurations in model theory, DFG 2020-2024) Contributor to SFB 878 (model theory of valued fields and definable groups) Teaching & Supervision: Current courses include Model Theory of Pseudofinite Fields and Logic Foundations. Supervised PhD students include Pierre Touchard (2020) and Rémi Jaoui (2017). Jointly supervises Simone Ramello and Zixuan Zhu. Editorial Work: Editor-in-chief of Model Theory journal. Authored textbook A First Journey through Logic (AMS 2019).
Dr. Maxime Ramzi is a Researcher at the University of Münster, affiliated with the Mathematisches Institut and the Faculty of Mathematics and Computer Science. He is an Investigator in Mathematics Münster and a member of the Collaborative Research Centre (CRC) 1442 'Geometry: Deformations and Rigidity'. Previously, he completed his PhD at the University of Copenhagen under the supervision of Jesper Grodal and Markus Land. His research focuses on advanced topics in topology, including algebraic topology, homotopy theory, and category theory, with particular emphasis on ∞-categories, motives, and homological algebra. His recent publications explore foundational questions in these areas, such as the universality of Barwick’s unfurling construction and the properties of topological Hochschild homology. Ramzi collaborates with leading mathematicians like Thomas Nikolaus, Arthur Bartels, and Maria Yakerson. His work contributes to the 'K-Groups and Cohomology' research program within Mathematics Münster. Despite no listed scientific awards, his academic trajectory reflects a strong focus on innovative research in geometric and algebraic topology. Education: PhD in Mathematics, University of Copenhagen (2024) Supervisors: Jesper Grodal and Markus Land Research Interests: Algebraic Topology: Homotopy Theory, ∞-Categories Categorical Structures: Motives, Stable Homotopy Theory Applications in Algebraic Geometry and K-Theory Grants & Projects: Member of CRC 1442 'Geometry: Deformations and Rigidity' Contributor to 'K-Groups and Cohomology' (T1) program Labs/Teams: Active in the working groups of Professors Thomas Nikolaus and Arthur Bartels at the University of Münster.
Dr. Stephan Rave is a Researcher in the Institute for Analysis and Numerics at the University of Münster. He is affiliated with the Applied Mathematics Münster cluster and serves as an Investigator in Mathematics Münster. His work focuses on numerical analysis, scientific computing, and machine learning, with a strong emphasis on model reduction techniques for complex systems. Education : PhD in Mathematics (2012), University of Münster, thesis on finitely summable K-homology. Master's and Bachelor's degrees in Mathematics from the University of Münster. Research Interests : Dr. Rave specializes in model order reduction (MOR) methods, including reduced basis techniques, localized orthogonal decomposition (LOD), and nonlinear approximation strategies. His work addresses challenges in multiscale modeling, domain decomposition, and parametrized partial differential equations. He also develops open-source software tools like pyMOR for MOR and contributes to initiatives like the MaRDI (Mathematical Research Data Initiative) to enhance interoperability in scientific computing. Projects : Key initiatives include the MaRDI project (2021–2026), EXC 2044 Cluster of Excellence (Geometry-based modeling), and MULTIBAT (lithium-ion battery simulation). His research bridges theoretical developments with practical applications in battery modeling, electrochemistry, and computational fluid dynamics. Grants & Awards : Funded by DFG, the German Federal Ministry of Research, and internal university grants, his work addresses strategic areas like sustainable research software and energy storage systems. He leads projects on distributed model reduction and communication-avoiding algorithms. Teaching : Dr. Rave teaches advanced numerical methods courses, including Model Order Reduction, Numerical Methods for PDEs, and Python-based computational labs. He co-organizes seminars and workshops on MOR and scientific software engineering.
Geoffroy Horel is a Lecturer at the University of Paris 13 , affiliated with the Institut Galilée in France. His research spans algebraic topology, operads, and geometric topology, with a focus on homotopy theory and formality theorems. He can be contacted at horel@math.univ-paris13.fr . Research Interests : Algebraic topology, operads, homotopy theory, motivic homology, Galois representations, and knot theory. Projects : Member of the ANR HighAGT project and the Algebraic and Geometric Topology Thematic Network. Advising : Supervises PhD and Master’s students including Nicolas Guès, Coline Emprin, Jinwen Xu, and others. His publications (15 recent works) explore topics like little disks operads, motivic stability, and Galois symmetries.
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.
David E. Breen is a Professor in the Department of Computer Science within the College of Computing & Informatics (CCI) at Drexel University. He leads the Geometric Biomedical Computing Group and is affiliated with the Metadata Research Center and the Center for Biological Discovery from Big Data. His research spans interdisciplinary domains including biomedical image informatics, geometric modeling, textile modeling, and bio-inspired self-organization algorithms. Education: PhD, Computer and Systems Engineering, Rensselaer Polytechnic Institute MS, Computer and Systems Engineering, Rensselaer Polytechnic Institute BA, Physics, Colgate University His research interests focus on computational methods for biomedical applications, including shape and image analysis for cancer diagnosis, 3D reconstruction of biological tissues, and video analysis of animal behavior. He also investigates geometric modeling techniques for textiles and self-organizing systems. His work integrates computer science with biology, medicine, and engineering to solve complex problems in biomedical computing. The recent publications highlight a strong trend in computational modeling of textiles, biomedical image informatics, and AI-driven data analysis. Key themes include geometric modeling of knitted fabrics, deep learning for medical image classification, agent-based modeling of cancer metastasis, and metadata generation for biological image collections. His work bridges fundamental geometric algorithms with practical applications in healthcare and digital archives. Scientific Awards: No specific awards mentioned in the provided text. Breen has advised numerous students and collaborators across multiple domains, particularly in biomedical computing and textile modeling. His research has been supported through affiliations with major centers and collaborations with institutions such as Johns Hopkins University and the Max Planck Institute. He has been involved in projects related to NSF Center for Visual & Decision Informatics and has contributed to over 100 technical publications. He leads the Geometric Biomedical Computing Group , which conducts research at the intersection of biology, medicine, engineering, and computer science. The group develops algorithms and software for geometry-related computing problems in biomedical applications. Collaborations include the Drexel Integrated Laboratory for Cellular Tissue Engineering, Dr. Dan Marenda's Lab, and Dr. Aleister Saunder's Lab in Drexel's Biology Department.
Paolo Bussotti is an Associate Professor of History of Science and Technology at the University of Udine's DIUM department. His academic career includes roles at Ludwig Maximilian University (Munich), Bayerische Akademie der Wissenschaften, and Berlin-Brandenburg Academy of Sciences through Humboldt Fellowships. He holds a PhD in Historical Sciences from the University of San Marino (1996). Education : Bachelor of History of Science and Technology, University of Pisa (1991) PhD in Historical Sciences, University of San Marino (1996) Research Interests : 17th-Century Physics/Astronomy (Kepler, Galileo, Descartes, Leibniz, Newton) Mathematics History: Number Theory (Fermat-Gauss), Projective Geometry Philosophy of Mathematics: Foundations at the turn of the 20th century Science Education: Integrating history into math teaching Key Projects : Galileo's Sidereus Nuncius translation (2001) Kepler Commission collaboration (2005) Enriques Study Center directorship (2008-2010) Grants/Awards : Three Humboldt Fellowships (2003, 2013-2014, 2019) Research grants from DIUM and DMIF (Udine) Labs/Teams : Collaborations with Munich Center for Mathematical Philosophy, Berlin-Brandenburg Academy, and Bayerische Akademie der Wissenschaften.
Alicia Kollár is the Chesapeake Assistant Professor of Physics at the University of Maryland, affiliated with the Joint Quantum Institute (JQI) and Quantum Technology Center. She holds a B.A. from Princeton University (2010) and a Ph.D. from Stanford University (2016). Her research focuses on quantum simulation using superconducting circuits, particularly leveraging coplanar waveguide (CPW) lattices to explore hyperbolic geometries, gapped flat bands, and photon-mediated spin models. Her work bridges condensed matter physics, quantum optics, and topological systems, with applications in quantum error correction and novel quantum materials. Key projects include creating artificial photonic materials in circuit QED, studying driven-dissipative systems, and developing experimental platforms for Floquet engineering. She has pioneered hyperbolic lattice designs enabling non-Euclidean quantum simulations and contributed to protocols for verifying quantum advantage. Her lab actively seeks postdocs and graduate students, emphasizing interdisciplinary approaches to quantum science and technology. Notable awards: NSF CAREER Award (2021), Princeton Materials Science Postdoctoral Fellowship (2017) Research groups: AMPED, JQI, Quantum Information and Computer Science (QuICS) Key collaborations: Andrew Houck (Princeton), JQI theorists Recent breakthroughs include demonstrating autonomously stabilized Floquet states and proposing efficient quantum verification protocols. Her work has been featured in PRX Quantum, Physical Review A/X, and Nature Communications.
Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.
Engin Yener is a Professor at the Department of Civil Engineering, Faculty of Engineering, Iğdır University. His academic career includes roles such as Department Head and Dean's Assistant at both Iğdır University and Bayburt University. He holds a PhD from Atatürk University (2010) in Civil Engineering with a thesis on asphalt mixture workability, and earlier degrees in Civil Engineering from the same institution. Education: PhD: Atatürk University (2004–2010), Thesis: 'A New Workability Method for Asphalt Mixtures' MSc: Atatürk University (2000–2004), Thesis: 'Durability Study of Fly Ash and Silica Fume-Added Road Concrete' BSc: Atatürk University (1996–2000), Thesis: 22222 Research Interests: Focuses on geopolymer materials, concrete durability, asphalt binder properties, and sustainable construction materials. His work includes optimizing pumice-based geopolymers, evaluating freeze-thaw damage mechanisms in pavements, and improving asphalt mixture performance through aggregate analysis. Grants & Projects: Leads research projects on geopolymers for transportation infrastructure and alternative cement binders. Recent projects include 'Development of Geopolymer Concrete for Water Structures' (2021) and 'Use of Perlite in Acid-Resistant Concrete' (2019). Courses Taught: Special Topics in Civil Engineering, Advanced Pavement Technology, Asphalt Materials, and Transportation Engineering fundamentals at both undergraduate and graduate levels.
Wenyu Pan is an Assistant Professor in the Department of Mathematics at the University of Toronto, Faculty of Arts and Science. His research lies at the intersection of dynamical systems, ergodic theory, geometry, discrete subgroups of Lie groups, and spectral theory. His primary research interests include: Dynamical Systems Ergodic Theory Geometry Discrete Subgroups of Lie Groups Spectral Theory His recent publications reveal a strong focus on geometric and dynamical aspects of hyperbolic manifolds, limit sets, mixing properties of geodesic and frame flows, and fractal measures such as Patterson-Sullivan measures. The body of work demonstrates deep engagement with homogeneous dynamics, measure rigidity, and spectral analysis in non-compact geometric settings, particularly those involving cusps and abelian covers. His collaborations with researchers like J. Li, H. Oh, and F. Naud indicate active participation in the global mathematical community. Scientific awards are not mentioned in the provided text. There is no information available on student advising, grants, or teaching responsibilities. No lab or research team is explicitly mentioned, though collaborative work is evident in publication records.
Prof. Joachim Schöberl is a faculty member at TU Wien's Faculty of Mathematics and Geoinformation, leading the Scientific Computing and Modelling research group. His academic career includes roles as a university professor (Univ.Prof.) with engineering and technical doctorates (Dipl.-Ing., Dr.techn.). Research focuses on advanced numerical methods, including finite element methods, computational fluid dynamics, and partial differential equations. He has pioneered high-order schemes for fluid-structure interaction, shell mechanics, and electromagnetic simulations. Notable contributions include the NGSolve finite element library and innovative approaches to curvature approximation in discrete geometry. Recent work emphasizes nonlinear elasticity modeling, fractional diffusion problems, and shape optimization for biomembranes. His team collaborates on projects like metascreen upscaling, micromorphic continuum models, and eddy current simulations in laminated materials. Prof. Schöberl advises PhD students researching mixed finite element methods, fractional operators, and computational mechanics. His lab develops open-source tools for high-performance scientific computing.
Ryomei Iwasa is an Associate Professor at the Department of Mathematical Sciences , University of Copenhagen. His research focuses on advancing motivic homotopy theory, particularly extending Voevodsky's framework to address non-A1-homotopy invariant phenomena. He has made significant contributions to algebraic K-theory, étale cohomology, and related fields through his work on derived correspondences and motivic spectra. University: University of Copenhagen Department: Department of Mathematical Sciences Academic Rank: Associate Professor Iwasa's research aims to unify cohomology theories in algebraic geometry, such as crystalline cohomology and syntomic cohomology, within a novel motivic spectra category (MSp). His work establishes equivalences between Grassmannians and vector bundles and provides new characterizations of algebraic K-theory. Recent publications highlight his applications of motivic homotopy theory to Milnor excision, cdh descent, and deformation theory. These papers also explore connections to Beilinson's conjecture and Weibel's conjecture via derived blow-ups. Notable awards include the Marie Skłodowska-Curie Grant (Horizon 2020, Grant Agreement No. 896517), supporting his research into foundational motivic homotopy theory. Email: ryomei@math.ku.dk Office: Universitetsparken 5, 2100 Copenhagen Ø
Ross J. Kang is a Canadian mathematician currently serving as an Associate Professor at the Korteweg–de Vries Institute for Mathematics within the Faculty of Science at the University of Amsterdam since 2022. He is an active member of the Discrete Mathematics and Quantum Information group and the NETWORKS consortium. Previously, he held positions as Assistant/Associate Professor at Radboud University Nijmegen (2014-2022), Assistant Professor at Utrecht University (2013), and Researcher at Centrum Wiskunde & Informatica (2012-2013). His academic journey includes postdoctoral positions at Durham University (2010-2012) and McGill University (2008-2010), where he was advised by Bruce Reed and Louigi Addario-Berry. DPhil in Mathematics, University of Oxford (2008) - Thesis: 'Improper colourings of graphs', advised by Colin McDiarmid BSc (Hons) in Mathematics and Computer Science, University of Victoria (2003) - Governor General's Silver Academic Medal recipient Ross J. Kang's research focuses on probabilistic and extremal combinatorics, random discrete structures, graph coloring, geometric graphs, and algorithms. His work bridges theoretical mathematics with practical applications, exploring fundamental questions in discrete mathematics. He has made significant contributions to understanding graph coloring problems, particularly in the contexts of list coloring, distance coloring, and strong coloring. His research often employs probabilistic methods to establish bounds and structural properties in graph theory. Kang's work on the hard-core model, local occupancy method, and triangle-free graphs has advanced our understanding of the interplay between local constraints and global structure in discrete systems. Analysis of his recent publications reveals a strong emphasis on graph coloring problems, particularly list coloring variants and their extensions. His work frequently explores the relationship between graph structure (such as degree constraints, girth, or forbidden subgraphs) and coloring properties. A notable trend is his development and application of the local occupancy method to establish improved bounds for chromatic numbers in various graph classes. His research also demonstrates a consistent interest in extremal problems, seeking optimal configurations under specific constraints, particularly in the context of triangle-free graphs and geometric representations. NWO Open Competition M-1 grant entitled 'Asymptotic triangle-free structure (3Free)', 2022-2026 NWO Vidi grant entitled 'On the edge: theory and techniques at the frontiers of edge-colouring', 2017-2023 NWO Veni grant entitled 'Generalised colouring for random graph models', 2012-2015 Van Gogh travel grants (2020-2021 with Marthe Bonamy; 2016-2017 with Louis Esperet) Governor General's Silver Academic Medal (2003) Ross J. Kang has successfully supervised multiple PhD students including Eoin Hurley (defending May 2025), Stijn Cambie (defended April 2022), and François Pirot (winner of 2020 prix Charles Delorme). His research is supported by significant grants from the Netherlands Organisation for Scientific Research (NWO), including the prestigious Open Competition M-1 grant. Kang is actively involved in the academic community through his editorial role at Combinatorial Theory, co-organization of conferences like the Dutch Days of Combinatorics, and leadership in initiatives such as Innovations in Graph Theory, a diamond open access journal he helped launch in August 2023. As a member of the Discrete Mathematics and Quantum Information group at the University of Amsterdam and the NETWORKS consortium, Kang collaborates with researchers across various institutions. He has established strong international connections through his Van Gogh travel grants and participation in collaborative projects like the Sparse (Graphs) Coalition sessions. His research group focuses on theoretical aspects of discrete mathematics with connections to quantum information science, and he maintains active collaborations with researchers across Europe and North America.
Antti H. Niemi is a Professor and Dean at the University of Oulu 's Faculty of Technology , specializing in computational solid and structural mechanics. His research focuses on advanced numerical methods for engineering analysis and design. Research areas include computational mechanics, structural engineering, and metamaterials Develops innovative finite element methods for thin-body problems Current projects address snow structures, timber building envelopes, and machine learning applications in mechanical systems His recent work emphasizes discontinuous Petrov-Galerkin (DPG) methods for plates and shells, with applications in civil and mechanical engineering. Publications cover: Snow and ice vaults (2024) Machine learning for steel beam capacity prediction (2024) Hygrothermal analysis of timber structures (2024) DPG formulation for Reissner-Mindlin plates (2023) Shell element benchmarking (2018-2022)
