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

• Software Engineering
• Program Verification
• Formal Methods
• +۳ مورد دیگر

Anna Liolios-Zimmermann is affiliated with the Department of Computer Science at the University of Freiburg. She has held academic roles since at least 2013, specializing in teaching and research areas such as Software Engineering, Program Verification, and Cyber-Physical Systems. Her teaching spans courses like Softwaretechnik / Software Engineering , Cyber-Physical Systems I - Discrete Models , and Automatentheorie . She has consistently contributed to undergraduate and graduate courses, reflecting her expertise in theoretical computer science and practical software methodologies. Research interests include formal methods for software analysis, verification techniques, and hybrid systems. She collaborates on projects involving tools like Ultimate, SMTInterpol, and Hybrid systems analysis, contributing to automated reasoning and model checking. No specific scientific awards are listed in her profile. Her involvement in teaching extends to student projects, practical labs (Softwarepraktikum), and seminars on topics such as Decision Procedures and Static Code Analysis. She has co-organized courses with colleagues in areas like Real-Time Systems and UML-based software design.

• Computer Science
• Formal Methods
• Software Verification
• +۳ مورد دیگر

Marlis Jost is a Lecturer at the University of Freiburg's Department of Computer Science. She specializes in formal methods, software verification, and cyber-physical systems. Her teaching responsibilities include courses such as Cyber-Physical Systems I - Discrete Models , Program Verification , Automatentheorie , and Software Engineering . She has consistently contributed to these courses since at least 2012, adapting her curriculum to cover advanced topics in program analysis, decision procedures, and real-time systems. Teaching Focus: Formal methods, software design, and theoretical computer science. Research Involvement: Tools like Ultimate , SMTInterpol , and Hybrid Systems Verification . Her work integrates academic instruction with practical applications in verification and cyber-physical systems. She has organized student projects and thesis topics, fostering hands-on learning in areas like static code analysis and model-based testing. Collaborative projects, such as the Graduiertenkolleg and AVACS initiatives, highlight her role in advancing interdisciplinary research.

• Cyber-Physical Systems
• Software Engineering
• Formal Methods
• +۵ مورد دیگر

Berit Brauer is a Lecturer at the University of Freiburg's Department of Computer Science. She specializes in Cyber-Physical Systems, Software Engineering, and Formal Methods, with a focus on program verification, automata theory, and real-time systems. Since 2012, she has taught courses including Cyber-Physical Systems, Software Engineering, Automata Theory, and Decision Procedures. Her teaching spans both undergraduate and graduate levels, with notable contributions to courses like 'Cyber-Physical Systems I - Discrete Models' and 'Program Verification.' She has also been involved in advanced seminars on topics such as hybrid systems and model-based testing. Brauer collaborates on research tools including Ultimate, SMTInterpol, and Hanfor, contributing to formal methods and software analysis. She has organized student projects and thesis topics in areas like static code analysis and requirements engineering.

• Control Systems
• Discrete Event Systems
• Model Predictive Control
• +۴ مورد دیگر

Prof. Dr.-Ing. Jörg Raisch holds the chair of Control Systems at the Technical University of Berlin's Faculty of Electrical Engineering and Computer Science. He received his Dr.-Ing. in Chemical Engineering from Stuttgart University, followed by postdoctoral research at the University of Toronto and a DFG Fellowship for his habilitation in control theory (completed 1998). Previously led research groups at Max-Planck-Institut für Dynamik komplexer technischer Systeme (2002) and Otto-von-Guericke Universität Magdeburg. Research focuses on discrete event systems , model predictive control , and hybrid systems with applications in renewable energy, manufacturing, and networked systems. Key methodologies include max-plus algebra, optimization, and distributed control frameworks. Publication trends show strong emphasis on: Theoretical foundations of timed/discrete event systems Control applications in energy systems (wind farms, microgrids) Distributed algorithms for networked systems Algebraic methods in control Honors include DFG Fellowship and editorial roles for Automatica , IEEE TAC , and Discrete Event Dynamic Systems . Leadership positions: Chair of IFAC Technical Committee on Discrete Event Systems (2017-2020), German representative in European Control Association (2007-2013). Leads the Control Systems group investigating real-world applications including wind farm optimization, manufacturing scheduling, and networked control protocols. Current projects involve over-the-air federated learning, microgrid cooperation, and robust power tracking.

Volker Mehrmannمشاهده پروفایل

استاد

• Applied and Numerical Linear Algebra
• Analysis and Numerics of Differential-Algebraic Equations
• Numerical Solution of Differential Equations
• +۳ مورد دیگر

Volker Mehrmann is a Professor of Mathematics (Numerical Mathematics) at Technische Universität Berlin since 2000. He holds a C4-Professorship and has held leadership roles in major research initiatives such as the DFG Research Center MATHEON and the Einstein Center ECMath. His research focuses on applied and numerical linear algebra, differential-algebraic equations, control theory, and industrial mathematics. Mehrmann earned his Ph.D. from Universität Bielefeld (1982) and habilitation (1988). He has authored influential textbooks, including Lineare Algebra , and serves as Editor-in-Chief of Linear Algebra and its Applications . He is a SIAM Fellow, ERC Advanced Grant recipient, and member of prestigious academies like acatech and Academia Europaea. Education: Diplom (1979), Ph.D. (1982), Habilitation (1988) from Universität Bielefeld. Key Roles: Speaker of DFG Research Center MATHEON (2008–2014) President of GAMM (2011–2016) and EMS (2017–2022) Research Highlights: Model reduction, port-Hamiltonian systems, and energy-based modeling Control of complex systems and industrial applications His recent work emphasizes interdisciplinary projects in energy systems (e.g., BMBF-EiFer, Hybrid Energy Networks) and numerical methods for large-scale systems. Mehrmann’s contributions span theoretical advancements and practical implementations, bridging fundamental mathematics with real-world challenges.

Martin Henkمشاهده پروفایل

استاد

• Convex Geometry
• Discrete Geometry
• Algebraic Combinatorics
• +۳ مورد دیگر

Martin Henk is a Professor at the Berlin Institute of Technology since October 2014. Previously, he held academic positions at Otto von Guericke University Magdeburg (2003–2014) and Technische Universität Wien (2001–2003). His research focuses on Convex and Discrete Geometry , with interdisciplinary applications in Algebraic Combinatorics, Integer Programming, and Differential Geometry. Editorial Roles : Managing Editor, Contributions to Algebra and Geometry (2022–) Journal of Algebraic Combinatorics (2018–) Discrete & Computational Geometry (2014–) Advisory Board, Journal of Nepal Mathematical Society (2017–) Research Themes explore the interplay between convex geometry, discrete mathematics, and computational methods. His projects include global analysis in differential and convex geometry, proximity of linear and integer programming solutions, and geometric properties of polytopes and Steiner polynomials. Scientific Awards : Johann Joseph Ritter von Prechtl Medal (Technische Universität Wien, 2008) Hlawka Prize of the Austrian Academy of Sciences (2002) Academic Leadership includes organizing workshops like the Conference on Convex, Discrete, and Integral Geometry (2019) and co-chairing sessions at the International Symposium on Mathematical Programming (2018). Labs/Teams : Affiliated with the Berlin Mathematical School and Berlin Mathematics Research Center Math+ , contributing to collaborative projects in discrete and computational geometry.

Georg Lohoمشاهده پروفایل

استاد مهمان

• Discrete Geometry
• Combinatorics
• Optimization
• +۳ مورد دیگر

Georg Loho is a Visiting Professor at Freie Universität Berlin (FU Berlin), currently acting as head of the Discrete Geometry and Topological Combinatorics group, substituting for Günter Ziegler. He is on leave from his position as an Assistant Professor at the University of Twente in the Discrete Mathematics & Mathematical Programming group. His academic journey includes postdoctoral roles at the London School of Economics (LSE) and EPFL, supported by an ERC Starting Grant, and a PhD from TU Berlin under Michael Joswig. Research Interests: Loho focuses on the interplay between discrete geometry, combinatorics, and optimization, with applications in machine learning, data science, and sustainability. His work bridges theoretical foundations and practical applications, including tropical geometry, algorithm design, and mathematical programming. Articles Trends: Recent publications explore stochastic games, tropical geometry in neural networks, oriented matroids, and optimization algorithms. His work often intersects algebraic geometry, combinatorial optimization, and computational complexity. Grants and Awards: He secured an ERC Starting Grant (2019–2020) and has been involved in projects like the HIM Trimester Program in Bonn. No explicit awards are listed, but his research contributions are widely recognized in discrete mathematics and optimization. Teaching: Loho has taught courses on discrete geometry, sustainability in mathematics, and AI applications. He emphasizes innovative pedagogy, including free open-source course materials and sustainability-focused curricula. Labs/Teams: He leads the Discrete Geometry and Topological Combinatorics group at FU Berlin and collaborates on projects like the MatchTheNet educational game, promoting interactive learning in geometry.

Guido Kanschatمشاهده پروفایل

استاد

• Numerics
• Scientific Computing
• Finite Element Methods
• +۷ مورد دیگر

Professor Dr. Guido Kanschat is affiliated with Ruprecht-Karls-Universität Heidelberg at the Interdisciplinary Center for Scientific Computing (IWR), where he holds the Chair for Mathematical Methods of Simulation. His research focuses on numerics, scientific computing, and finite element methods with applications in radiation transfer, coupled flows, and multigrid solvers. His recent publications emphasize hybrid discretizations, GPU-accelerated multigrid methods, and discontinuous Galerkin techniques for Stokes equations and biharmonic problems. He is a co-founder of the open-source deal.II library and received the Wilkinson Prize for Numerical Software in 2007. Scientific Awards: Wilkinson Prize for Numerical Software (2007)

• Automata Theory
• Theoretical Computer Science
• Formal Methods
• +۳ مورد دیگر

Dr. Natalya Keberle was a former Visiting Scientist at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at TU Dresden. She contributed to the Automata Theory research group, focusing on foundational aspects of computer science and computational logic. Her research interests centered on theoretical computer science disciplines such as automata theory, formal methods, and discrete mathematics. Though no specific publications are listed here, her work likely aligns with the ICCL's broader research themes in computational logic and automated reasoning. No scientific awards, grants, or advised students are explicitly documented in the provided texts. She maintained affiliation with TU Dresden's ICCL before departing from her visiting role.

Gregor Gassnerمشاهده پروفایل

استاد

• Computational Fluid Dynamics
• Numerical Analysis
• High-Performance Computing
• +۷ مورد دیگر

Gregor Gassner is a Professor at the University of Cologne's Mathematical Institute, specializing in numerical methods for fluid dynamics and high-performance computing. He leads research in entropy-stable discontinuous Galerkin (DG) methods, focusing on robust and efficient simulations of multi-scale problems governed by conservation laws. His work includes adaptive algorithms for compressible flows, magnetohydrodynamics (MHD), and oceanography, supported by an ERC Starting Grant targeting 'un-crashable' solvers. Key research areas: Non-linear multi-scale simulations High-order DG methods Entropy stability and robustness Exascale computing (e.g., SCALEXA project) Adaptive mesh refinement Subcell limiting techniques Publications emphasize advancements in DG schemes, split-form discretizations, and applications to aerodynamics, plasma physics, and geophysical flows. His ERC grant aims to unify efficacy and robustness in numerical methods. Grants/Awards: ERC Starting Grant for developing robust numerical solvers. Labs/Teams: Core scientist at the Center for Data and Simulation Science, leading the NumSim group.

Alexis Boulinمشاهده پروفایل

پژوهشگر

• Extreme value theory
• Unsupervised learning
• Stationary time series
• +۱ مورد دیگر

Alexis Boulin is a Research Assistant at Ruhr University Bochum under the Chair of Mathematical Statistics , part of the Stochastics Group Bücher . He is affiliated with the Faculty of Mathematics and contributes to research in extreme value theory, unsupervised learning, and high-dimensional statistics. Education: He completed his thesis, Partitionnement des variables de séries temporelles multivariées selon la dépendance de leurs extrêmes , at Université Côte D'Azur (2024). His work focuses on statistical methodologies for multivariate time series and extreme events. Publications include submissions on max-stable random vectors and model-based clustering techniques. He maintains a research profile at aleboul.github.io and is reachable at IB 2/169, Universitätsstraße 150, 44780 Bochum by appointment.

Peter Eichelsbacherمشاهده پروفایل

استاد

• Large Deviations
• Stein Method
• Random Matrices
• +۲ مورد دیگر

Peter Eichelsbacher holds the position of Professor in the Faculty of Mathematics at Ruhr University Bochum, where he leads research in stochastics. His work spans probability theory, statistical mechanics, and combinatorial mathematics. He previously served as Dean of the Faculty (2017-2023) and maintains active roles in university governance including Senate membership. Research encompasses: Limit theorems and deviation principles Interactions between combinatorics and probability Phase transitions in statistical mechanics Discrete stochastic structures Publication trends show strong focus on Stein's method applications (35% of works), mean-field models (25%), and Wiener space analysis (20%). Recent methodological innovations include exchangeability approaches to Ising systems and discrete Gaussian inequalities. Collaborative projects extend to international institutions in Germany, Switzerland, and Canada.

Linus Kramerمشاهده پروفایل

استاد

• Differential Geometry
• Lie Groups
• Geometric Group Theory
• +۴ مورد دیگر

Prof. Dr. Linus Kramer is a full Professor of Mathematics at the University of Münster, affiliated with the Mathematical Institute within the Faculty of Mathematics and Computer Science. His research focuses on differential geometry, Lie groups, geometric group theory, and nonpositive curvature. He has held roles such as Managing Editor of the Münster Journal of Mathematics and Editor of Mathematics Research Reports. Kramer is also BAföG-Beauftragter (student financial aid coordinator) for Mathematics programs and stellvertretender Beauftragter for teacher training programs. Education: Extensive academic background in mathematics, though specific degrees are not detailed in the provided texts. Research Interests: Explores geometric group theory, locally compact groups, buildings, and curvature properties. His work bridges algebraic structures with topological and geometric methods. Recent publications (2022–2024) emphasize fibrations, group algebras, and Hodge operators in diverse contexts. He collaborates internationally, with projects involving researchers like Karl Hofmann, Alexander Lytchak, and Petra Schwer. His advising spans PhD and Master’s students, including Sira Busch, Daniel Keppeler, and Philip Möller. Kramer’s grants and projects reflect his leadership in geometric and algebraic research initiatives. Labs/Teams: Leads the Research Group Geometry, Topology and Group Theory at the University of Münster, fostering collaborative research and hosting conferences on buildings and geometric structures.

• Asymptotic Geometric Analysis
• Geometric Probability
• Information-based Complexity
• +۳ مورد دیگر

Mathias Sonnleitner is an Erwin Schrödinger Research Fellow at the Institute of Financial Mathematics and Applied Number Theory, Johannes Kepler University Linz, hosted by Friedrich Pillichshammer. Previously, he held postdoctoral positions at the University of Alberta (hosted by Alexander Litvak) and the University of Münster (hosted by Zakhar Kabluchko). He earned his Dr. rer. nat. (PhD) in Mathematics from the University of Passau in 2022 under the supervision of Joscha Prochno and Aicke Hinrichs. His research focuses on asymptotic geometric analysis, geometric probability, and information-based complexity, with applications to convex geometry, stochastic processes, and high-dimensional approximation. Education includes a Dipl.-Ing. (MSc) in Mathematics from Johannes Kepler University Linz (2019) and a BSc in Technical Mathematics from the same institution (2018). His work bridges functional analysis, probability, and numerical methods, with notable contributions to entropy numbers, convex body approximation, and optimal recovery problems. Recent publications address minimal dispersion on spheres, shadows of ℓ p -balls, and random approximation in Hausdorff distance. He has received prestigious awards including the Joseph F. Traub Young Researcher Award (2022) and the Sparda-Bank Dissertation Prize (2023). His teaching includes courses on information-based complexity and convex geometry at the University of Passau and Johannes Kepler University Linz.

• NMR Spectroscopy
• Machine Learning
• Time Series Analysis
• +۳ مورد دیگر

Jan Hellwig is a researcher at the Institute of Mathematics, University of Rostock. He specializes in numerical mathematics and its applications in NMR spectroscopy, with a focus on time series analysis and machine learning methodologies. His research interests include signal tracking, hard modeling of spectral data, and AI-driven improvements in quantitative analysis. Hellwig has been actively involved in teaching numerical analysis courses for engineering and computer science students since at least 2021, including roles in exercise classes and course coordination. He serves as treasurer of the Mathematics Association RHO eV, organizing educational seminars for school students in Mecklenburg-Western Pomerania. Affiliations: Institute of Mathematics, Numerical Mathematics Team Key Research Areas: NMR Data Analysis, Machine Learning in Spectroscopy, Numerical Methods His recent work bridges mathematical theory and practical applications, as seen in publications addressing NMR time series analysis and AI-enhanced hard modeling techniques. Hellwig collaborates with interdisciplinary teams, evidenced by co-authorships in journals like Journal of Magnetic Resonance and Journal of Mathematical Chemistry .