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

Mark Bangertمشاهده پروفایل

پژوهشگر

• Radiation Therapy Physics
• Intensity-Modulated Radiation Therapy
• Beam Angle Optimization
• +۴ مورد دیگر

Mark Bangert is a researcher in the Department of Medical Physics in Radiation Oncology at the German Cancer Research Center (DKFZ) in Heidelberg, Germany. His work focuses on optimizing radiation therapy treatments through advanced computational methods and physics principles, particularly for complex cases involving critical organs at risk. Dr. Bangert completed his PhD at Heidelberg University in 2011 with a dissertation titled 'New concepts for beam angle selection in IMRT treatment planning: From heuristics to combinatorial optimization.' His doctoral work was supervised by Prof. Uwe Oelfke and Prof. Wolfgang Schlegel, established experts in medical physics and radiation oncology. His research spans radiation therapy physics, intensity-modulated radiation therapy (IMRT), beam angle optimization, proton therapy, and treatment planning. Dr. Bangert pioneered methods for selecting optimal beam angles in IMRT, demonstrating that noncoplanar beam configurations could significantly reduce radiation doses to organs at risk while maintaining target coverage. His early work established the importance of integrating fluence optimization into beam angle selection. Analysis of his publication history reveals an evolution from traditional IMRT optimization to sophisticated multi-modality treatment approaches combining photons with particle therapies (protons, carbon ions, and helium). His recent work emphasizes probabilistic modeling to address range uncertainties in particle therapy, analytical dose calculation methods, and the integration of biological optimization into treatment planning. He has made significant contributions to open-source software development for radiation therapy planning education. Dr. Bangert has played a key role in developing matRad, an open-source multi-modality treatment planning toolkit designed for educational purposes. This software provides accessible tools for students and researchers to explore radiation therapy planning concepts without commercial constraints. His work bridges theoretical optimization methods with practical clinical applications, improving treatment precision while minimizing damage to healthy tissues.

Martin Schrönمشاهده پروفایل

پژوهشگر

• Environmental Science
• Hydrology
• Remote Sensing
• +۳ مورد دیگر

Dr. Martin Schrön is a postdoctoral researcher at the Helmholtz Centre for Environmental Research (UFZ) in Leipzig, Germany, specializing in cosmic-ray neutron sensing (CRNS) for environmental monitoring. His work focuses on advancing CRNS technology to improve soil moisture and snow water equivalent measurements at various spatial and temporal scales. Schrön holds a PhD from the University of Potsdam and has conducted research at the University of Bristol. He is involved in projects such as MOWAX (water budget assessment in Saxony) and COCAP (pandemic coping strategies), and contributes to software development for neutron simulation (URANOS) and environmental modeling (mHM). His education includes a Physics degree from the University of Heidelberg and postdoctoral research at the University of Greifswald and UFZ. He has supervised multiple students and won awards like the Klartext Award for science communication (2018) and the UFZ Research Award (2017). His research bridges geophysics and environmental science, with applications in climate change, hydrology, and remote sensing. Education: Physics (Heidelberg University), PhD (University of Potsdam) Affiliations: Department of Computational Hydrosystems, UFZ Leipzig Key Projects: CRNS network in Saxony, Svalbard cosmic-ray observations, Low-water strategy for Thuringia Research interests include CRNS applications in soil moisture dynamics, neutron transport modeling, and environmental data integration. He has developed software tools and contributed to international collaborations, emphasizing science communication through FameLab and ScienceSlam.

Philip Joschkoمشاهده پروفایل

پژوهشگر

• Business Process Management
• Process Simulation
• IT Project Management
• +۳ مورد دیگر

Dr. Philip Joschko is an expert in Business Process Management (BPM), IT project management, and process simulation. He holds a PhD from the University of Hamburg (2014) and a Diplom in Computer Science with a focus on organizational systems. His academic work includes developing the DESMO-J simulation framework and researching offshore wind farm maintenance processes. Current roles include Senior IT Consultant at cimt ag (since 2023) and freelance business process analysis. PhD: University of Hamburg (2014) – Process simulation integration with BPMN Diplom: University of Hamburg (2008) – Computer Science with organizational systems focus Research interests focus on process optimization through digital transformation, including BPMN modeling, discrete event simulation (DESMO-J), and offshore wind operations. His work bridges academic research (e.g., maintenance decision support systems) with industry applications in logistics, energy, and IT. Publications emphasize practical applications of simulation tools and process analysis in renewable energy and logistics sectors. Projects include EU-funded offshore wind farm O&M optimization and DESMO-J framework development.

Katinka Wolterمشاهده پروفایل

استاد

• Dependable Distributed Systems
• Stochastic Models
• Performance Evaluation
• +۶ مورد دیگر

Prof. Katinka Wolter is a Professor at Freie Universität Berlin's Department of Mathematics and Computer Science, leading the Dependable Distributed Systems group. Her research focuses on adaptive and resilient distributed computing systems, leveraging stochastic models and machine learning. She is the Erasmus Coordinator for international student exchanges and serves on the department board and exam committee. Education: PhD in Computer Science (TU Berlin, 1999), Habilitation in Computer Science (Humboldt University Berlin, 2008). Previous roles include Visiting Professorships at Imperial College London and Cochin University, and positions at Newcastle University and Humboldt University. Research Interests: Evaluating dependability, performance, and security of complex systems, stochastic modeling, fault-tolerance, blockchain technology, and phase-type distributions. Tools developed include HyperStar and HyperStarC for distribution fitting. Awards: Best Paper Awards at ICPE 2015 and QEST 2004, DFG-funded research projects, and recognition as a top reviewer for the Journal of Systems and Software. Grants: Multiple DFG-funded projects on system evaluation and service-oriented architectures. Collaborations with institutions like Imperial College London and Technical University Budapest. Labs/Teams: Head of Dependable Systems Group, managing projects on cryptocurrency analysis, distributed restart algorithms, and mobile offloading systems.

• Abstract Interpretation
• Static Checking
• Software Verification
• +۲ مورد دیگر

Marius Greitschus is a Researcher at the University of Freiburg's Department of Computer Science. His work focuses on Abstract Interpretation, Static Checking, and Verification Techniques for Hybrid Systems. He earned his Master's degree from the University of Freiburg in 2012 with a thesis on combining Value Analysis and Static Checking for software verification. Greitschus has published extensively in venues like SAS, TACAS, and HSCC, contributing to advancements in formal methods, program analysis, and hybrid systems verification. His research includes developing tools like the Ultimate Framework and has been recognized with a Best Paper Award at HVC 2014. He teaches courses such as Automata Theory, Formal Methods for C, and Software Lab, and has supervised numerous student projects and theses. His advising spans topics from algorithm design to hybrid systems analysis, reflecting his commitment to both research and education.

• Concurrent Programs
• Software Verification
• Computer Science
• +۳ مورد دیگر

Frank Schüssele is affiliated with the University of Freiburg , Department of Computer Science, where he holds the position of Lecturer . His research focuses on Concurrent Programs and Software Verification , with contributions to formal methods, hybrid systems, and model checking. He actively develops tools such as Ultimate , SMTInterpol , and Hanfor for program analysis and verification. Teaching: He has taught a wide range of courses since 2012, including Automatentheorie , Program Verification , Cyber-Physical Systems , and Software Engineering . Recent offerings include Theoretische Informatik and Decision Procedures . Research Projects: His work involves hybrid systems analysis, assume-guarantee abstraction refinement, and tools like SpaceEx and FMI Co-Simulation . He collaborates on benchmarks for stratified controllers and verification techniques for cyber-physical systems. Contact: schuessf@informatik.uni-freiburg.de . Consultation by email appointment.

Alberto Leonardiمشاهده پروفایل

پژوهشگر ارشد

• Nano-materials for energy and sustainability
• Scattering and diffraction methods
• Multiscale simulation
• +۵ مورد دیگر

Dr. Alberto Leonardi is a Beamline Scientist at Diamond Light Source Ltd. (UK) and holds a Habilitand position at Friedrich-Alexander Universität Erlangen-Nürnberg (Germany) . His research focuses on nano-materials for energy and sustainability, combining experimental scattering techniques with multiscale simulations. He specializes in developing high-performance algorithms for simulating diffraction patterns of large atomistic models, as demonstrated by the ROSE-X software. Education: University of Trento (Italy) Indiana University Bloomington (USA) Friedrich-Alexander-Universität Erlangen-Nürnberg (Germany) Key Research Areas: Structure-property relationships in nanomaterials Diffraction-based analysis and simulation High-performance computing (HPC) for materials modeling Leonardi’s work emphasizes linking experimental observations with computational models to study material kinetics, mechanical properties, and chemical sensitivity. He has developed innovative methods for analyzing structural defects and disorder in nano-polycrystalline materials. His ROSE-X software enables rapid simulation of diffraction patterns for systems with millions of atoms, leveraging parallel computing on CPU/GPU clusters. He has taught at academic and high-school levels, emphasizing interdisciplinary approaches. His international collaborations span diverse institutions, including the Rutherford Appleton Laboratory (UK).

• Visualization
• Geographic Information Science
• Spatial Analysis
• +۴ مورد دیگر

Aidan Slingsby is a Professor in the Department of Computer Science at University College London (UCL), within the Faculty of Engineering Sciences. His research focuses on visualization, geovisualization, and spatial analysis, with applications in environmental science, transportation, epidemiology, and movement ecology. He has contributed to the development of novel visual analytics frameworks and tools for exploring complex spatiotemporal data. His work emphasizes interdisciplinary collaboration, integrating computer science with domains such as geography, ecology, and public health. Key areas of interest include uncertainty visualization, interactive graphics for decision support, and leveraging AI techniques (e.g., large language models) to enhance visualization design. Slingsby's recent projects include developing the VisUnit framework for reproducible visual studies, exploring narrative visualization for qualitative data, and creating glyph-based methods for spatial multicriteria decision analysis. His publications span top venues like IEEE VIS, EuroVis, and Environmental Visualization workshops.

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

پژوهشگر

• Computational Science and Engineering
• Numerical Methods
• Domain Decomposition Methods
• +۴ مورد دیگر

Martin Lanser is a Researcher at the University of Cologne's Department of Mathematics and Computer Science and a Core Scientist at the Center for Data and Simulation Science (CDS). His work focuses on developing efficient numerical methods for computational science and engineering problems, particularly targeting modern many-core architectures with million-way parallelism. His research spans Computational Science and Engineering, Numerical Methods, and Parallel Computing, with specialized expertise in Domain Decomposition Methods, Multigrid Approaches, and Computational Homogenization for heterogeneous solid mechanics. Lanser's theoretical work emphasizes nonlinear solvers for strongly heterogeneous materials, integrating algebraic multigrid techniques to enhance scalability in extreme-scale simulations. Analysis of his publication record reveals consistent innovation in scalable domain decomposition methods since 2014, with recent work targeting exascale computing through the FE2TI software framework. His research demonstrates strong interdisciplinary connections between computational mathematics, materials science, and high-performance computing, particularly in applications for dual-phase steel modeling. No scientific awards are documented in the provided information. Lanser's advising and grant activities are not specified in the source material, though his collaborative publications indicate extensive partnerships with researchers like Axel Klawonn and Oliver Rheinbach on projects including SCALEXA and High-Q club initiatives. As a core developer of the FE2TI software package—a computational homogenization implementation selected for the High-Q club—Lanser contributes to the CDS's research in quantitative modeling of complex physical systems. His work directly supports exascale computing projects focused on parallel domain decomposition methods and is integrated into the university's numerical analysis research infrastructure at numerik.uni-koeln.de.

• Numerical analysis
• Machine learning
• Scientific computing
• +۳ مورد دیگر

Dr. Dmitry Kabanov is a Researcher at the Institute for Analysis and Numerical Analysis, part of the Department of Mathematics and Computer Science at the University of Münster. His primary affiliations include membership in Mathematics Münster, a research cluster focusing on interdisciplinary mathematical challenges. His research expertise spans numerical analysis, machine learning, and scientific computing, with a focus on high-dimensional problems, fluid dynamics, and combustion processes. Key research interests include developing numerical methods for complex systems, applying machine learning to fluid dynamics, and analyzing detonation stability through computational techniques. His work bridges theoretical mathematics with practical applications in physics and engineering, leveraging advanced computational frameworks to address real-world phenomena. Publications highlight contributions to detonation stability analysis, neural network-based fluid flow modeling, and interdisciplinary projects like the MaRDI initiative for scientific computing interoperability. Collaborations involve international teams tackling challenges in computational physics, machine learning, and high-dimensional approximation methods. Dr. Kabanov’s research also emphasizes resolving parameters in elastic anisotropy and developing minimal hyperbolic systems for unstable shock waves. He is affiliated with the Applied Mathematics Münster group and contributes to the Institute’s advanced seminars and numerical analysis projects. His office is located at Orleans-Ring 10, and he can be reached via email at dmitry.kabanov@uni-muenster.de. Administrative support is provided by Ms. Silvia Wernke.

• Automation Technology
• Industrial Automation
• Energy Systems
• +۶ مورد دیگر

Professor Alexander Fay is a faculty member at Ruhr University Bochum, leading the Automation Engineering department within the Faculty of Electrical Engineering and Information Technology. His roles include Head of Department and a prominent researcher in automation technology, Industry 4.0, and cyber-physical systems. Educated at TU Braunschweig, he has extensive industry experience from ABB and academic leadership at HSU/UniBw Hamburg. His research focuses on automation systems, energy optimization, and autonomous robotics, with notable contributions in digital twin frameworks, agent-based control, and industrial data management. He has been honored with awards such as the MIT Review's 'Top 100 Young Innovators' and the Golden Badge of Honour from NAMUR. His work integrates interdisciplinary approaches, emphasizing practical applications in manufacturing, energy systems, and aerospace maintenance. Key collaborations include projects on modular electrolysis plants and U-space drone traffic management. His academic output spans over 70 publications in top-tier journals and conferences, reflecting expertise in automation theory and industry-relevant solutions.

Fiete Winterمشاهده پروفایل

پژوهشگر

• Acoustic Engineering
• Signal Processing
• Spatial Audio
• +۳ مورد دیگر

Dr.-Ing. Fiete Winter is a Researcher at the Institut für Nachrichtentechnik under the Fakultät für Informatik und Elektrotechnik at Universität Rostock. His work focuses on Spatial Audio , Wave Field Synthesis , and Binaural Synthesis , with contributions to acoustic modeling, array design, and open-source tool development. He is a key contributor to the Two!Ears project, which emphasizes reproducible research and acoustic database creation. His research interests include sound field reconstruction , spatial aliasing analysis , and time-domain rendering techniques . He has developed open-source tools for sound field synthesis and contributed to the Two!Ears Database of binaural room impulse responses. His work often bridges theoretical models (e.g., geometric analysis, modal beamforming) with practical implementations in real-time systems. Recent publications highlight advancements in loudspeaker array design, spatial bandwidth limitation, and psychoacoustic evaluation of synthesized sound fields. His interdisciplinary approach integrates signal processing, psychoacoustics, and acoustic engineering to address challenges in immersive audio systems.

Majd Latahمشاهده پروفایل

پژوهشگر

• Security of mission-critical systems
• Software-defined networking
• Decentralized security
• +۳ مورد دیگر

Dr. Majd Latah is a Researcher (Postdoc) at the Department of Informatics, University of Hamburg, working under Prof. Mathias Fischer. His research focuses on cybersecurity for mission-critical systems, software-defined networking (SDN), and blockchain integration in network security. He holds a PhD from Ozyegin University. Key research areas include secure aircraft systems, decentralized security frameworks, and digital twin networks. His work emphasizes blockchain-based authentication protocols (e.g., HostSec, DPSec) and hybrid intrusion detection systems for SDNs. He has collaborated on projects like DTN-Core and CWT-DPA, addressing cross-domain authorization and distributed security challenges. Latah has published extensively on SDN security, blockchain applications, and AI-driven network optimization. His contributions span both theoretical frameworks (e.g., AI-enabled SDN overviews) and practical implementations (e.g., DoS attack detection systems). Affiliations include the Computer Networks research group at UHH, where he contributes to lab activities and team projects. His educational background includes studies at Ozyegin University under Dr. Kübra Kalkan.

Daniel Moldtمشاهده پروفایل

پژوهشگر

• Petri Nets
• Agent-Oriented Systems
• Software Engineering
• +۹ مورد دیگر

Dr. Daniel Moldt is a Research Associate and Head of the Laboratory for Agent- and Organization-Oriented Systems (LAOS) at the University of Hamburg's Department of Computer Science (Faculty of MIN). His work focuses on Petri nets, agent-oriented systems, formal methods, and software engineering. He contributes to the development of the Renew toolset for Petri net modeling and simulation. Research interests include: Petri net applications in workflow and agent systems, distributed systems, emotion in computing, formal verification, and model-driven engineering. He has led projects like Socionics and contributed to DFG-funded research. Publications span over two decades, emphasizing Petri net theory, agent systems integration, and software architectures. He advises students on thesis projects related to distributed systems and formal methods. Active in academic service, he serves on doctoral committees and participates in international workshops/conferences.

David Mostellerمشاهده پروفایل

پژوهشگر

• Petri Nets
• Formal Methods
• Software Engineering
• +۴ مورد دیگر

David Mosteller is a Researcher at the University of Hamburg's Faculty of Informatics (MIN), working within the Theoretical Foundations Group (TGI). His primary role involves research on Petri net-based methodologies and their applications in software engineering. He contributes to the development and maintenance of the Renew Reference Net Workshop tool, focusing on model-driven development and meta-modeling frameworks. His research interests center around formal methods, domain-specific modeling languages, and concurrent systems. He has been actively involved in projects like Petri net tools for model creation/execution and has published extensively on topics such as integrated simulation frameworks, IoT architecture modeling, and meta-modeling environments. Teaching activities include leading exercises and projects in formal foundations of computer science, functional programming, and collaborative software engineering. He has supervised practical courses on distributed systems and agent-oriented software development since 2014. Notable contributions include the Renew framework's semantic integration and case studies demonstrating its applicability. His work bridges theoretical foundations with practical software engineering challenges, particularly in distributed and concurrent system modeling.