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

Joerg Hoffmannمشاهده پروفایل

استاد

• Artificial Intelligence
• Automated Planning and Scheduling
• Action-Decision Problems
• +۷ مورد دیگر

Prof. Dr. Jörg Hoffmann is a Professor at Saarland University, where he heads the Foundations of Artificial Intelligence (FAI) Group. He is also an Affiliate Professor at DFKI, located on the Saarland Informatics Campus. His primary academic affiliation is with the Informatics Department within the Faculty for Mathematics and Informatics. He earned his PhD from the University of Freiburg in 2002, receiving the EurAI Dissertation Award for his thesis. His postdoctoral career included positions at the Max Planck Institute for Computer Science, Cornell University, the University of Innsbruck, and SAP Research, before he became a Directeur de Recherche at INRIA in 2009. He joined Saarland University as a Professor in 2012. His research focuses on AI action-decision problems, with a current emphasis on methods to build trust in learned action policies. His group explores techniques for explaining, verifying, testing, and visualizing policy behavior, with connections to SAT/CP, verification, and natural language generation. He is a world-renowned expert in automated planning, having developed seminal systems like FF, which set a new standard for planner performance after winning IPC'00. The 15 most recent articles highlight a deep, sustained investigation into the theoretical and empirical foundations of heuristic search in planning. His work spans from the creation of the highly influential FF system to a rigorous analysis of search space topology and the conditions under which heuristic methods like ignoring delete lists are effective. His publications show a consistent trend of bridging practical system development with profound theoretical insights, primarily within the domains of automated planning and heuristic search. Fellow of AAAI (2021) Fellow of EurAI (2021) EurAI Dissertation Award (2002) Wolfgang-Gentner Nachwuchsfoerderpreis (2003) Best Paper Award at ICAPS'12, SPIN'18, and IV'22 Outstanding Paper Award at AAAI'22 Best Student Paper Award at SOCS'21 ICAPS Influential Paper Award (Honorable Mention) in 2008, 2013, and 2017 Best Senior Program Committee Member Award at ICAPS'19 Chaire d'Excellence project grant from ANR Prof. Hoffmann has been a central figure in the planning community, serving as a mentor to numerous students and collaborators. His leadership extends to the organization of major conferences, having served as Program Co-Chair for AAAI'12 and Conference Co-Chair for ICAPS'10 and ICAPS'20, among many other senior PC and area chair roles. His extensive reviewing and editorial service, including as an Associate Editor for Artificial Intelligence and JAIR , demonstrates a strong commitment to the advancement of the field. His work on the Fast Downward planning platform has provided a critical foundation for research in optimal planning. He leads the Foundations of Artificial Intelligence Group at Saarland University, a prominent research team in the field. His group has been instrumental in developing key systems like FF and TorchLight, and continues to push the boundaries of research in explainable and trustworthy AI planning. His leadership roles, including Head of the Informatics Department and Vice-Dean of the Faculty for Mathematics and Informatics from 2020 to 2022, highlight his significant contribution to the academic structure of his institution.

Dániel Marxمشاهده پروفایل

استاد

• Parameterized Algorithms
• Computational Complexity
• Algorithmic Graph Theory
• +۷ مورد دیگر

Dániel Marx is a tenured Professor at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. He leads research in the area of Algorithmic Foundations and Cryptography, with a focus on parameterized algorithms and computational complexity. He has held previous positions at the Max Planck Institute for Informatics and the Institute for Computer Science and Control of the Hungarian Academy of Sciences (MTA SZTAKI). His work is highly theoretical, aiming to understand the precise complexity of algorithmic problems, especially on bounded-treewidth graphs and in parameterized settings. PhD: Budapest University of Technology and Economics, 2005 Postdoc: Tel Aviv University, Humboldt University Berlin Senior Research Fellow: MTA SZTAKI, 2012–2019 Senior Researcher: Max Planck Institute for Informatics, 2019–2020 Faculty: CISPA Helmholtz Center, 2020–present His research interests lie at the intersection of theoretical computer science and discrete mathematics. He is particularly known for his work on parameterized algorithms , fine-grained complexity , and lower bounds . His group investigates algorithmic graph theory problems, including domination, independence, homomorphism, and clustering, especially under structural constraints like bounded treewidth. He has pioneered techniques in dynamic programming, kernelization, and hardness proofs based on the Exponential Time Hypothesis. The recent publications of Dániel Marx reveal a consistent focus on establishing tight complexity bounds for fundamental algorithmic problems. His work spans from exact and parameterized algorithms to approximation and counting problems. A recurring theme is the analysis of problems on bounded-treewidth graphs, where he explores the boundary between tractable and intractable cases. He also contributes to network design (e.g., Steiner problems), clustering, and subgraph counting, often providing complete classifications of complexity based on parameters. European Research Council Starting Grant European Research Council Consolidator Grant Humboldt Research Fellowship for Experienced Researchers Dániel Marx has advised numerous researchers and collaborated widely across institutions. His research is supported by prestigious grants, including ERC grants that funded his group at MTA SZTAKI. He actively leads a research group at CISPA focused on parameterized algorithms and complexity. While specific PhD students are not listed in the provided text, his extensive co-authorship network indicates a strong mentoring and collaborative presence. His work has significant implications for the foundations of computer science and algorithm design. He leads the research group on Parameterized Algorithms and Complexity at CISPA, continuing his long-standing focus on theoretical algorithm design and analysis. His team works on foundational problems in graph algorithms and complexity theory, aiming to develop new algorithmic techniques and understand the limits of efficient computation.

Jan Hamaekersمشاهده پروفایل

پژوهشگر

• Numerical Algorithms
• High-Dimensional Problems
• Sparse Grids
• +۷ مورد دیگر

Dr. Jan Hamaekers is a researcher at the Fraunhofer Institute for Algorithms and Scientific Computing (SCAI) in Bonn, Germany. He is affiliated with the development of advanced numerical methods for high-dimensional problems in computational science, particularly in quantum mechanics and molecular dynamics. His work is centered on efficient algorithms such as HCFFT, ESPACK, and TREMOLO, and he collaborates on major research projects funded by DFG and EU programs. Research Interests: Development of hierarchical methods for high-dimensional problems Sparse grid and fast Fourier transform techniques Quantum mechanical and molecular mechanical (QM/MM) methods Numerical algorithms for the electronic Schrödinger equation Parallel software for nanoscale dynamics simulations His recent publications reflect a strong trend in computational materials science, multiscale modeling, and machine learning applications in chemistry. He has contributed to software packages like TREMOLO and ATK-ForceField, and his work bridges applied mathematics, physics, and engineering. He teaches practical labs in numerical simulation, indicating an active academic engagement. Scientific Projects: Molecular Dynamics Simulations for Material Science Applications CODICE - Computationally Driven design of Innovative Cement-based materials (EU FP7) Development of efficient algorithms for nanoscale dynamics simulations Multiscale QM/MM simulations of nanotubes and composites (DFG) Dr. Hamaekers has advised or collaborated with multiple researchers, as seen in his extensive co-authorship. He has not received any explicitly mentioned awards in the provided text. He is involved in software development and algorithmic innovation, with a focus on scalability and efficiency in scientific computing.

• Numerical Analysis
• Computational Mathematics
• Sparse Signal Processing
• +۴ مورد دیگر

Dr. Toni Volkmer is a researcher affiliated with the Faculty of Mathematics at Chemnitz University of Technology. His work focuses on computational mathematics and signal processing, particularly in high-dimensional data analysis and sparse Fourier transforms. His research intersects numerical analysis, approximation theory, and algorithm design for efficient data processing. Key research areas include Sparse spectral estimation Rank-1 lattice sampling Multivariate function approximation High-dimensional data analysis Fast matrix-vector operations Graph Laplacian computations His publications demonstrate expertise in developing sublinear-time algorithms for harmonic analysis and creating efficient numerical methods applicable to modern data science challenges. While no formal awards are listed, his contributions to scientific computing have been documented in multiple peer-reviewed publications since 2012.

Amir Kalevمشاهده پروفایل

استاد مدعو

• Quantum Computing
• Quantum Information
• Quantum Simulations
• +۹ مورد دیگر

Amir Kalev is a Lead Quantum Scientist at the Information Sciences Institute (ISI) of the University of Southern California (USC) and an Adjunct Research Professor in the Department of Physics and Astronomy at USC. He holds a Ph.D. in Physics from Technion - Israel Institute of Technology and a B.S. in Physics from Tel-Aviv University. His research explores multidisciplinary topics in quantum information science, including: Quantum simulations and optimization Quantum machine learning algorithms Quantum system characterization and verification Quantum signal processing and compressed sensing Foundations of quantum measurement theory His recent publications (15 most recent) demonstrate strong focus on quantum algorithms for practical applications, including Hamiltonian simulation, quantum machine learning, error mitigation, and quantum information processing. Theoretical and experimental works frequently intersect with statistical mechanics and computational physics. Awards & Fellowships: Hartree Postdoctoral Fellowship (University of Maryland) Research Leadership: Leads quantum research team at ISI-USC with 2 research staff and 4+ graduate students Current advisees: Devika Mehra, Naman Jain; Alumni: Arnav Sharma, Chitra Vadlamani, Charu Jain, Aakash Ravindra Active Grants: NSF PHY QIS: Solving Optimization Problems on NISQ Computers ($300K, 2020-2023) NSF CCF FET: Quantum information leakage detection ($200K, 2021-2023) NSF-BSF: Fast Quantum Optimal Control ($400K, 2022-2025)

Jiang Huمشاهده پروفایل

استاد

• Electronic design automation
• VLSI physical design
• Optimization of large computing systems
• +۵ مورد دیگر

**Jiang Hu** is a Full Professor of Electrical and Computer Engineering at Texas A&M University, holding a Hans Fischer Senior Fellowship at the Technical University of Munich (TUM-IAS). He earned his B.S. in Optical Engineering from Zhejiang University (1990), M.S. in Physics from the University of Minnesota (1997), and Ph.D. in Electrical Engineering (2001). Before joining Texas A&M in 2002, he worked at IBM Microelectronics. His research focuses on Electronic Design Automation (EDA), VLSI physical design, and hardware security, with notable contributions to machine learning-driven CAD tools and approximate computing architectures. **Education**: B.S., Optical Engineering, Zhejiang University (1990) M.S., Physics, University of Minnesota (1997) Ph.D., Electrical Engineering, University of Minnesota (2001) **Research Interests**: Jiang Hu's work bridges EDA and computer architecture, emphasizing optimization of large-scale computing systems. His projects include automated power modeling frameworks (e.g., APOLLO), neural network-driven placement algorithms, and security-enhanced dataflow architectures. He also explores plasmonic materials and perovskite solar cells through interdisciplinary collaborations. **Awards**: IEEE Fellow (2012) Alexander von Humboldt Research Fellowship (2011) Multiple best-paper awards at IEEE/ACM conferences (2003–2021) **Grants & Leadership**: He served as Technical Program Chair for ACM International Symposium on Physical Design (2011–2012) and co-chaired the ACM/IEEE Workshop on Machine Learning for CAD (2023). His research has led to 10 patents and supervision of 24 Ph.D. students. **Labs & Teams**: His group collaborates with TUM-IAS on projects like *A New and Scalable Methodology for Fast Machine Learning Accelerator Design*, advancing EDA tools for next-generation hardware systems.

• Computer Vision
• Machine Learning
• Signal Processing
• +۶ مورد دیگر

Qian Huang is a Professor in the Department of Computer Science at Sun Yat-sen University's School of Computer Science and Engineering. With over 350 publications spanning from 1992 to 2025, Dr. Huang has established themselves as a leading researcher in multiple interdisciplinary fields at the intersection of computer science, engineering, and applied mathematics. Dr. Huang's research spans several critical domains in modern computing. Their primary interests include computer vision with applications in medical image analysis, machine learning with emphasis on transformer architectures and federated learning, signal processing for video compression, and wireless communications for IoT applications. Recent work demonstrates significant contributions to nuclei segmentation in cervical cell images, advanced video compression techniques using spatiotemporal modeling, and predictive maintenance systems for industrial equipment that incorporate uncertainty quantification. An analysis of Dr. Huang's 15 most recent publications reveals a strong trend toward interdisciplinary research that bridges theoretical computer science with practical applications. Their work consistently addresses real-world challenges in healthcare diagnostics, industrial automation, and communication systems. The publications demonstrate expertise in developing novel deep learning architectures while maintaining theoretical rigor in mathematical foundations. Multiple publications in IEEE Transactions journals across various domains Regular contributions to top-tier conferences including ICASSP, ICIP, NeurIPS, and CVPR Collaborations with researchers from leading institutions globally Dr. Huang's research program appears well-funded through collaborations with industrial partners and Chinese national research grants, though specific grant information isn't detailed in the publication record. Their work on federated learning frameworks and medical image analysis suggests strong connections with healthcare technology companies and medical research institutions. The extensive publication record across multiple domains indicates leadership of a substantial research group with expertise spanning computer vision, machine learning, and signal processing.

Hannes Freyمشاهده پروفایل

استاد

• Wireless Networked Systems
• Mobile Robotics
• Sensor Networks
• +۲ مورد دیگر

Hannes Frey is Professor and Head of the Computer Networks Research Group at the University of Koblenz and Landau. His research focuses on the controllability of complex dynamically networked systems including sensor networks, mobile autonomous robot teams, and connected vehicles. The group investigates fundamental theoretical questions and system-level practical issues, with emphasis on transferring theoretical results into practice through prototype implementations. Research interests include: Connectivity and percolation in wireless networked systems Local topology control under graph structure assumptions Cooperative distributed control for wirelessly networked mobile robots Reliable ultra-low latency communication for autonomous platforms Software Defined Networking for IoT systems The group maintains the UniKoRN laboratory for practical research in wireless communication and mobile distributed robotics, supporting research internships and student projects.

• Artificial Intelligence
• Machine Learning
• Computer Vision
• +۵ مورد دیگر

Hui Fang is a researcher at Loughborough University , Department of Computer Science, UK. Their work spans Artificial Intelligence , Machine Learning , and Remote Sensing , with recent focus on Medical Imaging , Natural Language Processing , and Urban Mobility . Publications highlight innovations in MRI Reconstruction , Legal Judgment Prediction , and Video SAR Analysis . Research Interests include Graph Neural Networks , Transformer Models , and Data Mining applied to domains like Agricultural Technology , Healthcare Systems , and Smart Cities . Methodologies emphasize Interpretable AI , Federated Learning , and Multimodal Integration . Key 2024-2025 Trends involve Transformer-Based Architectures for Medical Imaging , Information Bottleneck in Spatio-Temporal Networks , and Bootstrapping Techniques for Information Extraction . Collaborative projects with Dongdong Weng , Zhu Xiao , and Yong He demonstrate interdisciplinary applications in Transportation , Healthcare , and Agriculture . Recent Co-authored Publications span IEEE Transactions , Neurocomputing , and Remote Sensing Journals , addressing Dynamic Phasor Modeling , 4D Facial Capture , and Virtual Reality Usability .