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

• 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.

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.

Alireza Hakamianمشاهده پروفایل

پژوهشگر

• Software Engineering
• Resilience Engineering
• Cloud Computing
• +۳ مورد دیگر

Dr. Alireza Hakamian is a Researcher at the Department of Informatics, University of Hamburg, affiliated with the SWK Team within the Research groups. His work focuses on resilience engineering, microservices architecture, and systems simulation. Notable contributions include the development of MiSim, a simulator for resilience assessment of microservice-based systems, and TQPropRefiner, a tool for specifying and refining transient software quality properties. His research explores chaos engineering practices, transient behavior analysis, and container orchestration techniques (e.g., Kubernetes). He emphasizes integrating real-world container environments into simulation frameworks for more authentic resilience testing. Expert interviews and industry insights underpin his work on transient behavior management in distributed systems. Key tools and methodologies developed include the DiSpel Cockpit for resilience scenario verification and the TransVis visualization system. His work bridges theoretical software design principles with practical implementation challenges in cloud-native systems.

Hartwig Anztمشاهده پروفایل

استاد

• High-Performance Computing
• Sparse Linear Algebra
• Iterative Methods
• +۶ مورد دیگر

Prof. Hartwig Anzt is a Professor at TU Munich, leading the Chair of Computational Mathematics within the TUM School of Computation, Information, and Technology. He also holds a professorship at the University of Tennessee and directs the Innovative Computing Lab (ICL). His research focuses on high-performance computing, particularly in sparse linear algebra, iterative methods, Krylov solvers, and preconditioning. He emphasizes sustainable software development and leads the Ginkgo open-source library for scientific computing. Academically, Anzt earned his PhD in 2012 from the Karlsruhe Institute of Technology (KIT) and led a Helmholtz junior research group there. He has extensive collaborations with institutions like Sandia National Laboratories, Argonne National Laboratory, and the University of Tennessee. His software projects include Ginkgo and MAGMA-sparse, both part of the xSDK ecosystem. Recent talks highlight his work on exascale computing, GPU optimization, and software sustainability. He advocates for platform-portable numerical libraries and has contributed to the Exascale Computing Project (ECP). His research addresses challenges in energy efficiency, fault tolerance, and algorithm design for multi/manycore architectures.

Philipp Schulzeمشاهده پروفایل

پژوهشگر

• Model Reduction
• Port-Hamiltonian Systems
• Numerical Mathematics
• +۵ مورد دیگر

Philipp Schulze is a Researcher and Lecturer at Technische Universität Berlin's Faculty II - Mathematics and Natural Sciences, within the Institute of Mathematics. His primary focus is on modeling, simulation, and optimization of real processes, particularly in the realm of model reduction for complex systems. Current roles include Lecturer for Model Reduction (Summer 2024) and Research Associate in the Department of Modeling, Simulation and Optimization of Real Processes under Prof. Tobias Breiten. Education: Bachelor's in Energy and Process Engineering (2008–2012) Master's in Scientific Computing (2011–2014) PhD in Mathematics (2023) Research Interests: Structure-preserving model reduction, port-Hamiltonian systems, numerical methods for transport-dominated phenomena, and applications in fluid dynamics, combustion, and two-phase flows. His work emphasizes energy-based approaches and nonlinear approximation techniques for systems with complex dynamics. Publications: Recent work focuses on nonlinear embeddings for Hamiltonian systems, error bounds for port-Hamiltonian model reduction, and efficient simulations of wildland fires and two-phase flows. Contributions highlight the development of reduced-order models that preserve physical structures like energy conservation and port-Hamiltonian properties. Grants & Awards: No specific awards listed, but active in collaborative projects involving digital twins and combustion control. Labs/Teams: Part of TU Berlin's Modellierung, Simulation und Optimierung realer Prozesse group and previously worked with Prof. Volker Mehrmann's Numerical Mathematics team.

Felix Burkhardtمشاهده پروفایل

مدرس

• Speech Communication
• Emotion-Oriented Computing
• Machine Audio Analysis
• +۷ مورد دیگر

Dr. Felix Burkhardt is a Lecturer at the Chair of Speech Communication, Technische Universität Berlin. He has held roles including temporary professor (2020-2022) and acting head of the Chair. His research focuses on emotion-oriented computing, speech synthesis/analysis, and machine learning applications in audio processing. He leads R&D at audEERING GmbH since 2018, developing emotion AI technologies. Education: PhD in Speech Communication from TU Berlin. Key projects include the EmoDB emotional speech database, open-source tools like Speechalyzer and Nkululeko, and contributions to W3C's EmotionML standard. He serves on program committees for top conferences (ACII, ICASSP, Interspeech) and journals. Research interests span emotional speech modeling, speaker classification, voice search systems, and ethical implications of paralinguistic technologies. Over 150+ publications in top venues (IEEE, Springer, ACM) showcase his work on emotion recognition, speech synthesis, and machine learning frameworks.

Jochem De Schutterمشاهده پروفایل

پژوهشگر

• Control Systems
• Renewable Energy Systems
• Optimal Control
• +۵ مورد دیگر

Jochem De Schutter is a Researcher at the University of Freiburg's Laboratory for Systems, Control and Optimization. He holds a master's degree in Mechanical Engineering and Philosophy from KU Leuven, and completed his PhD in 2024 under Prof. Moritz Diehl. His research focuses on optimal control methods for energy systems, particularly airborne wind energy (AWE) and nonlinear periodic systems. Key areas of expertise include trajectory optimization, economic value analysis of AWE farms, robustness optimization, and efficient numerical methods for model predictive control (MPC). He has developed the AWEbox framework for simulating multi-aircraft AWE systems and contributed to tools like TuneMPC for MPC tuning. Teaching roles include lecturing on Model Predictive Control for Renewable Energy Systems (Master's, 2023) and serving as teaching assistant for Systems and Control courses since 2015. His work integrates advanced control theory with real-world energy applications, emphasizing scalability and computational efficiency. Research has been published in journals like Optimal Control Applications and Methods, IEEE Control Systems Letters, and Energies. He collaborates closely with institutions like KU Leuven and focuses on applied systems engineering for renewable energy solutions.