جستجوی استاد راهنمای دانشگاهی

Armin Nurkanovićمشاهده پروفایل

استاد

• Optimal Control
• Numerical Methods
• Hybrid Dynamical Systems
• +۴ مورد دیگر

Dr. Armin Nurkanović is an interim professor at the Technical University of Braunschweig's Department of Mathematical Optimization, where he teaches courses on dynamic optimization and numerical methods. Previously, he completed his PhD at the University of Freiburg under Prof. Moritz Diehl, focusing on optimal control of nonsmooth dynamical systems. His research emphasizes numerical methods for hybrid systems, real-time optimization, and applications in robotics and renewable energy systems. He has received the IEEE Control Systems Letters Outstanding Paper Award (2022) and was a finalist for the 2024 European Systems & Control PhD Thesis Award. Education: Bachelor's in Electrical Engineering (University of Tuzla, 2015) Master's in Electrical Engineering and Information Technology (Technical University of Munich, 2018) PhD in Control (University of Freiburg, 2023) Research Interests: Optimal control of hybrid and nonsmooth systems (e.g., Filippov systems, switched systems) Real-time optimization for model predictive control (MPC) Robust control theory and stochastic optimization Applications in robotics and renewable energy systems Teaching & Software: Developed open-source tools nosnoc and nosnoc_py for optimal control Teaching courses on numerical optimization and optimal control at TU Braunschweig Collaborations & Students: Open to academic and industry collaborations Supervises Bachelor's/Master's theses in mathematics, engineering, and computer science

• Combinatorial Optimization
• Graph Theory
• Operations Research
• +۵ مورد دیگر

Cédric Costa is a Professor at the Conservatoire National des Arts et Métiers (CNAM), conducting research at the CEDRIC Laboratory. With a publication record spanning over 30 years from 1992 to 2023, he has established himself as a leading researcher in combinatorial optimization and operations research. His research interests focus on combinatorial optimization , graph theory , and operations research , with significant contributions to network design, discrete tomography, and robust optimization. His work bridges theoretical foundations with practical applications, particularly in renewable energy systems and telecommunications networks. Analysis of his publication trends shows a consistent focus on Steiner tree problems, matching theory, and robust network design, with increasing emphasis on renewable energy applications since 2015. His recent work (2020-2023) demonstrates expertise in wind farm optimization and robust network design under uncertainty. Prix Orange de l'Innovation 2012 (catégorie Réseau) for FTTH network deployment research Professor Costa has supervised numerous researchers including Poirion P-L, Bentz C, Ridremont T, Hertz A, Cotté G, and Picouleau C, as evidenced by their frequent co-authorship on publications. His research has been supported by projects related to wind farm optimization, optical network design, and robust energy systems. He has been actively involved in the ROADEF (French Operations Research Society) community, presenting regularly at their conferences.

Thorsten Kochمشاهده پروفایل

استاد

• Mathematical Optimization
• High-Performance Computing
• Artificial Intelligence
• +۴ مورد دیگر

Thorsten Koch is a Professor for Software and Algorithms for Discrete Optimization at Technische Universität Berlin , with multiple leadership roles including Head of the Applied Algorithmic Intelligence Methods (A²IM) , Digital Data and Information for Society, Science, and Culture (D²IS²C) , Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV) , and Forschungs- und Kompetenzzentrum Digitalisierung Berlin (digiS) . Based at Zuse Institute Berlin and affiliated with TU Berlin's Institute for Mathematics, he focuses on integrating mathematical optimization with high-performance computing and artificial intelligence to solve complex real-world problems. Research Pillars : Mathematical optimization algorithms Quantum computing applications AI/ML integration in decision systems Energy systems optimization Scientific software development Leadership Roles : Head of Applied Algorithmic Intelligence Methods (A²IM) Head of Digital Data & Information for Society, Science, and Culture (D²IS²C) Head of Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV) Head of Forschungs- und Kompetenzzentrum Digitalisierung Berlin (digiS) Key Collaborations : Working with IBM Quantum on quantum optimization Collaborating across institutions for energy system modeling Developing open-source optimization tools like SCIP Contributing to digital library infrastructure Recent Research Trends : Quantum optimization benchmarking Machine learning-aided optimization Multi-objective decision frameworks Energy infrastructure optimization Adaptive algorithm design CO2 network modeling Impact : Advancing hybrid optimization methods Developing open-source tools for scientific computing Building digital infrastructures for libraries and research Exploring quantum-classical algorithm synergies

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

پژوهشگر

• Embedded Systems
• Computer Architecture
• Networks-on-Chip (NoC)
• +۳ مورد دیگر

Shuang Liu is a Researcher at the Institute of Computer Architecture and Computer Engineering, University of Stuttgart. Their work focuses on embedded systems, networks-on-chip (NoC), and chip design methodologies. They specialize in deadlock-free routing, fault-tolerant computing, and application-specific system synthesis using advanced techniques like integer linear programming. Research interests include optimizing NoC architectures for chiplet-based systems, co-design of floorplanning and routing topologies, and energy-efficient signal processing in medical electronics. Their recent work emphasizes formal verification methods and performance optimization in hardware-software co-design. Publications span topics such as deadlock prevention in NoC, ILP-based routing synthesis, and trade-offs in hearing aid ASIP design. Office hours are Monday 2–3 p.m. in Room 1.001, Pfaffenwaldring 5b, Stuttgart.

Raik Stolletzمشاهده پروفایل

استاد

• Operations Management
• Business Analytics
• Quantitative Decision Analysis
• +۸ مورد دیگر

Prof. Dr. Raik Stolletz is a Professor of Production Management at the Business School of the University of Mannheim, leading the Chair of Production Management within the Area Operations Management. His research focuses on business analytics, quantitative decision support for manufacturing and service systems, and stochastic modeling for operations optimization. Area Operations Management, Business School, University of Mannheim Research Interests : Stolletz specializes in predictive and prescriptive business analytics, with applications in Industry 4.0, airport operations, automotive production, workforce planning, and distribution center management. His work emphasizes tools for decision-making in deterministic and stochastic environments. Research Trends : His recent publications address time-dependent queueing systems, buffer allocation in stochastic flow lines, assembly line balancing, and revenue management in production. Keywords span Operations Management, Supply Chain Analytics, and Industrial Engineering, with sub-fields including Stochastic Optimization, Dynamic Scheduling, and Service Systems. Grants & Collaborations : Projects are funded by industry partners, the European Union, and the German Science Foundation (DFG), focusing on automotive production networks, airport logistics, and manufacturing system optimization.

Robert Kleinمشاهده پروفایل

استاد

• Operations Research
• Revenue Management
• Logistics Optimization
• +۴ مورد دیگر

Prof. Dr. Robert Klein is a Professor at the University of Augsburg within the Faculty of Business and Economics . He holds the Chair of Analytics & Optimization , focusing on the application of mathematical models from operations research to solve real-world decision problems. Research Interests: Pricing and revenue management, last-mile logistics, mobility-on-demand systems, integration of demand management and vehicle routing, discrete choice analysis, integer programming, and approximate dynamic programming. Teaching: Undergraduate mathematics for business, advanced courses in operations research, logistics, and revenue management. His chair offers seminars on Smart Logistics & Mobility and supervises bachelor’s and master’s theses. Publications: Over 20 years, he has co-authored 25+ peer-reviewed articles in journals like Transportation Science , European Journal of Operational Research , and OR Spectrum . His work spans theoretical advancements and practical applications in revenue management and logistics. Students: Supervised 15+ PhD students including David Fleckenstein (2025), Julia Heger (2025), and Jochen Mackert (2019). Collaborations: Works with IBM on mathematical software applications and has co-edited textbooks such as Decision Optimization with IBM ILOG CPLEX (2022).

Robbert Krebbersمشاهده پروفایل

دانشیار

• Semantics
• Separation logic
• Theorem proving
• +۷ مورد دیگر

Robbert Krebbers is an associate professor at the Department of Software Science at Radboud University Nijmegen, Netherlands. He is a leading researcher in program verification, specializing in separation logic and the Coq proof assistant. Krebbers is a core contributor to the Iris framework, a higher-order concurrent separation logic framework implemented in Coq. His research spans theoretical foundations of programming languages and practical applications to real-world languages including C, Rust, and Scala. His research interests focus on scaling program verification techniques to challenging programming paradigms like concurrency, higher-order functions, and modules. Krebbers' work bridges formal methods with practical language implementation, particularly in verifying memory safety and concurrency properties. He has made significant contributions to Rust verification through the RustBelt project and has pioneered techniques for verifying concurrent data structures and message-passing systems. Krebbers' recent publications demonstrate a strong trend toward verifying complex concurrency patterns, developing automated proof techniques, and applying separation logic to practical programming language features. His work frequently appears in top-tier programming languages conferences including POPL, PLDI, and ICFP, with several papers receiving distinguished paper awards. The research spans from foundational logic development to practical verification tools for real-world programming languages. As a principal investigator in the Iris project, Krebbers has secured significant research funding including the ERC Consolidator Grant for the RustBelt project. His work has influenced both academic research and industrial practice, particularly in the Rust programming language ecosystem. The Iris framework he helped develop has been adopted by numerous verification projects worldwide. Krebbers has advised PhD students including Ike Mulder (focusing on proof automation for concurrent separation logic) and Jules Jacobs (working on guarantees by construction). He has been actively involved in the programming languages research community, serving on program committees for major conferences and organizing workshops on formal methods and verification. He leads research in the Department of Software Science at Radboud University, where his group focuses on developing foundational techniques for program verification. The group collaborates closely with the Logic and Semantics Group and Foundations of Programming Group across institutions, contributing to a vibrant research ecosystem around formal methods and programming languages.

Marcel Campenمشاهده پروفایل

استاد

• Computer Graphics
• Geometry Processing
• Surface Parametrization
• +۴ مورد دیگر

Marcel Campen is a Professor at Osnabrück University specializing in Computer Graphics and Geometry Processing. His research focuses on surface parametrization, quad mesh generation, and computational geometry. He has made significant contributions to the field of geometry processing, particularly in developing algorithms for quad layout generation, surface mapping, and mesh repair. His research interests span Computer Graphics, Geometry Processing, Surface Parametrization, Quad Mesh Generation, 3D Modeling, and Mesh Repair. Campen's work addresses fundamental challenges in representing and processing complex geometric shapes, with applications ranging from animation and simulation to reverse engineering and meshing. His research often combines theoretical insights with practical implementations, resulting in algorithms that are both mathematically sound and computationally efficient. Campen's publications demonstrate a strong focus on developing robust and efficient methods for geometry processing. His work on quad layout generation, parametrization techniques, and surface mapping has resulted in several award-winning papers, including Best Paper Awards at SGP 2021 and 2022. His research often bridges theoretical concepts with practical implementations, making his contributions highly influential in both academic and industrial settings. Best Paper Award (1st place) at SGP 2022 Best Paper Award at SGP 2021 Campen has made significant contributions to the field through his doctoral thesis on quad layout generation and numerous publications in top-tier conferences including SIGGRAPH, Eurographics, and SGP. His work on directional field synthesis, similarity maps, and bijective mappings has advanced the state of the art in geometry processing. He has also contributed to practical tools like libQEx for robust quad mesh extraction, demonstrating his commitment to making theoretical advances accessible to practitioners.

Rainer Kolischمشاهده پروفایل

استاد

• Airport Operations Management
• Health Care Operations Management
• Project Management and Scheduling
• +۲ مورد دیگر

Rainer Kolisch is a Professor of Operations Management at the TUM School of Management, Technical University of Munich , where he has held a chair since 2002. He currently serves as Head of the Operations & Technology Department (since 2024) and previously as Dean of the QTEM Masters Network (2016–present) and Vice Dean of International Affairs (2007–2020). His career includes academic roles at Technical Universities of Dresden (Full Professor, 2002) and Darmstadt (Associate Professor, 1999–2002). Affiliations: TUM School of Management, Technical University of Munich Editorial Roles: Editor-in-Chief of OR Spectrum (2014–2020), Member of editorial boards for journals like International Journal of Production Research Research Interests focus on Airport Operations Management , Health Care Operations Management , Project Management and Scheduling , and Engineer-to-Order Manufacturing . His work addresses dynamic scheduling, resource allocation, and robust optimization in transportation and healthcare systems, with recent studies on electric vehicle charging networks and agile project management. Scientific Awards include: Best Teaching Award (2022) Excellence in Reviewing (2022) OMEGA Best Paper Award (2021) Handelsblatt Research Recognition (2005) DFG Habilitation Fellowship Advising spans numerous PhD and Master’s students , including Christopher Bersch, Robert Brachmann, and Giacomo Dall'Olio. His grants likely include DFG funding, though specifics are not detailed here.

• Algebraic Combinatorics
• Matroid Theory
• Polytopes
• +۳ مورد دیگر

Luis Ferroni is a Tenure-track Assistant Professor in the Department of Mathematics at Università di Pisa since April 2025. He concurrently holds a Postdoctoral Member position at the Institute for Advanced Study (IAS) in Princeton, New Jersey, under the mentorship of June Huh. Previously, he was a Postdoctoral Researcher at KTH Royal Institute of Technology (2022–2024) and earned his PhD in Mathematics from the University of Bologna (2018–2021), advised by Luca Moci. His Licentiate Degree in Mathematics was obtained from the Universidad Nacional de Córdoba (2013–2018). His research focuses on Algebraic Combinatorics , Matroid Theory , Polytopes , and Ehrhart Theory . Notable contributions include work on Ehrhart positivity, Kazhdan-Lusztig polynomials of matroids, and the Merino-Welsh conjecture. His research bridges combinatorial geometry, algebraic structures, and discrete mathematics. Ferroni has been awarded prestigious honors such as the Premio INdAM-UMI-SIMAI 2023 (for his PhD thesis on matroid polytopes), the Premio Mario Baldassarri 2023 (for his article on matroid non-Ehrhart positivity), and the Michele Cuozzo Prize 2022 for his thesis. He is also recognized for academic excellence during his undergraduate studies, including multiple top rankings at the Universidad Nacional de Córdoba. His teaching experience spans roles as a Teaching Assistant (TA) and Tutor at institutions like the University of Bologna and KTH. He has taught courses such as Enumerative Combinatorics and Geometry. Ferroni actively participates in academic outreach, serving as a jury member for the CIMA Olympiad and coaching programming teams in international competitions like the ICPC World Finals. He has presented at leading venues including the Harvard/MIT Combinatorics Seminar, the Institute for Pure & Applied Mathematics (UCLA), and international conferences like the British Combinatorial Conference. His work appears in top journals such as Advances in Mathematics , SIAM Journal on Discrete Mathematics , and Combinatorial Theory .

Claudia Gotzesمشاهده پروفایل

پژوهشگر

• Stationary Flows in Gas Networks
• Optimization
• Stochastic Optimization
• +۱ مورد دیگر

Dr. Claudia Gotzes is a researcher in the Faculty of Mathematics at the University of Duisburg-Essen, specializing in optimization problems related to gas network infrastructure. Her work combines mathematical modeling with practical applications in energy transportation systems, focusing on stochastic optimization methods for network reliability and capacity planning. Recent publications address mixed integer programming formulations, load feasibility in pipeline networks, and probabilistic approaches to infrastructure optimization. She has contributed to collaborative research projects funded by BMWI examining technical capacities in gas networks.

Frauke Liersمشاهده پروفایل

استاد

• Optimization under Uncertainty
• Distributionally Robust Optimization
• Quantum Computing
• +۵ مورد دیگر

Prof. Dr. Frauke Liers holds the Professorship of Optimization under Uncertainty & Data Analysis at the Department of Data Science (DDS), Friedrich-Alexander-University Erlangen-Nürnberg. Her research focuses on robust and distributionally robust optimization, mathematical programming, and applications in energy systems, healthcare logistics, and quantum computing. Email: frauke.liers@fau.de ResearchGate: Frauke Liers Research Interests span optimization under uncertainty, data-driven mathematical programming, and interdisciplinary applications. Key areas include: Distributionally robust optimization with scenario reduction and chance constraints Quantum computing optimization for gate routing and noise suppression Energy system modeling (photovoltaics, gas networks, electricity networks) Healthcare logistics (patient transport scheduling under uncertainty) Nanoparticle technology and chemical process optimization Recent Publications emphasize: Advancements in quantum circuit optimization (2025) Explainable optimization methods (2024) Robust approaches for particle precipitation control (2024) Dynamic trajectory optimization (2023) Time-expanded models for network flows (2022)

Marius Pesaventoمشاهده پروفایل

استاد

• Sensor Array Processing
• MIMO Communication
• Adaptive Beamforming
• +۴ مورد دیگر

Prof. Marius Pesavento is a Full Professor at the Department of Electrical Engineering and Information Technology, Technische Universität Darmstadt, leading the Communication Systems Group. His research focuses on sensor array processing, MIMO communication systems, adaptive beamforming, and mathematical optimization in networks. He has held academic and industry roles since 2001, including positions at mimoOn GmbH and FAG Industrial Services. Education: PhD (Doktorate) in Electrical Engineering, Ruhr-Universität Bochum (2001–2005) Master of Engineering, McMaster University (1999–2000) Dipl.-Ing. in Electrical Engineering, Ruhr-Universität Bochum (1992–1999) His research interests span robust high-resolution sensor array processing, 4G/5G mobile networks, and network information theory. Notable projects include developing tensor models for ultrasonic sensor calibration and applying machine learning to anomaly detection in network flows. His work bridges theoretical optimization and practical applications in automotive radar, 6G networks, and medical imaging. Labs/Teams: Leads the Communication Systems Group at TU Darmstadt, focusing on interdisciplinary projects in signal processing and communication systems.

• Natural Language Processing
• Computational Linguistics
• Artificial Intelligence
• +۷ مورد دیگر

Jing Jiang is a prominent researcher at Singapore Management University, specializing in Natural Language Processing (NLP), Computational Linguistics, and Artificial Intelligence. His work spans diverse areas including Vision-Language Models, Machine Translation, Knowledge Graph Reasoning, Sentiment Analysis, and Social Media Discourse Modeling. Key contributions include frameworks for consistent client simulation in mental health counseling and counterfactual contrastive prefix-tuning for many-class classification. He has pioneered methods in zero-shot VQA with interpretable reasoning graphs , cross-lingual understanding with universal syntax , and modularized zero-shot architectures . His research often combines theoretical insights with practical implementations, as seen in works on stereotypical bias in vision-language models (VLStereoSet), tensorized self-attention for dependency modeling, and collaborative relation-augmented attention for knowledge graph completion. Jing Jiang's collaborations span global experts in NLP and AI, with co-authors from institutions like SMU, Waseda University, and Microsoft Research.

Ou Jihongمشاهده پروفایل

دانشیار

• Analytics for Managers
• Business Process Management
• Production/Inventory Systems
• +۴ مورد دیگر

Ou Jihong serves as Associate Professor of Operations Management at Cheung Kong Graduate School of Business (CKGSB), bringing extensive global academic experience from prior appointments at National University of Singapore Business School, University of Cambridge, University of California at Los Angeles, and University of Illinois. His research bridges theoretical operations research with practical applications in China's logistics industry. His educational background includes a PhD from Massachusetts Institute of Technology. Research interests span Analytics for Managers, Business Process Management, Production/Inventory Systems, Queuing Analysis and Control, Statistics, Stochastic Modeling and Analysis, and Supply Chain Management, with particular expertise in applied research on China's third-party logistics sector. Professor Ou's publication record demonstrates significant contributions to top-tier journals including Management Science and Operations Research , focusing on optimization of production systems, inventory control, queuing networks, and revenue management. His work consistently addresses real-world operational challenges through rigorous mathematical modeling. His scientific contributions include expertise in conducting industry surveys within China's logistics ecosystem and developing computational approaches for complex operational problems. Professor Ou maintains active engagement with industry through his research on supply chain dynamics and operational efficiency in emerging markets.