Atul Kumar is a Researcher in computer science with publications spanning quantum computing, machine learning, and cybersecurity. His work appears in journals including IEEE Transactions on Visualization and Computer Graphics, Knowledge-Based Systems, and IEEE Access. His research focuses on quantum machine learning algorithms, medical image analysis, hardware security, and chaotic encryption systems. Recent investigations explore quantum support vector machines, hardware Trojan attacks, and uncertainty-aware neural representations for scientific visualization. Analysis of his publication portfolio reveals consistent methodological innovation in applying quantum computing principles to traditional computing problems, particularly in image processing and classification tasks. His security-focused research examines vulnerabilities in hardware systems and develops cryptographic solutions using chaotic maps.
Huan Liu is a Professor at Arizona State University's School of Computing, Informatics, and Decision Systems Engineering, with research spanning artificial intelligence, edge computing, and interdisciplinary applications. His work bridges theoretical advances with real-world implementations across healthcare, transportation, and environmental systems. His primary research interests include: Artificial Intelligence and Machine Learning for complex system optimization Edge-Cloud Computing architectures for IoT and vehicular networks Medical image analysis and clinical decision support systems Graph neural networks and multimodal learning Privacy-preserving federated learning frameworks Recent publications demonstrate strong emphasis on applied AI, with 15+ 2025 papers addressing UAV swarm intelligence, medical diagnostics, and sustainable transportation through novel algorithmic approaches. Publication trends reveal consistent leadership in: Developing efficient edge computing solutions for dynamic environments Creating medical AI tools with clinical validation Innovating in graph-based and multimodal learning Applying optimization techniques to logistics and environmental challenges His work frequently appears in top venues including IEEE Transactions, Bioinformatics, and AAAI.
Roberto Minerva is a researcher at Sorbonne University , Paris, France, focusing on Digital Twin Technologies , Internet of Things (IoT) , and Edge Computing . His work addresses Smart Cities , Urban Data Management , and Machine Learning Applications through advanced architectural frameworks. His recent publications highlight innovations in: Digital twin architectures for real-time urban air quality and traffic management AI-driven and scalable frameworks for large-scale sensor networks Blockchain applications in secure supply chain finance Minerva frequently collaborates with researchers like Noël Crespi , Manoj Herath , and Maira Alvi , contributing to journals such as IEEE Internet Comput. , IT Prof. , and conferences like NetSoft and CNSM . His work bridges theoretical research and practical implementations in smart city ecosystems.
Atta ur Rehman Khan is an Associate Professor in the Department of Computer Science at the College of Electrical and Computer Engineering, COMSATS Institute of Information Technology, with additional affiliation at University of Malaya, Kuala Lumpur, Malaysia. His research spans multiple cutting-edge domains in computer science, with particular focus on mobile cloud computing, IoT security, and blockchain applications. Dr. Khan's research interests center around secure and efficient computing systems, with emphasis on mobile cloud environments, IoT security frameworks, and blockchain-based solutions for various applications. His work demonstrates a strong interdisciplinary approach, bridging theoretical computer science with practical applications in cybersecurity, healthcare, environmental monitoring, and smart city infrastructure. His research methodology often combines traditional computer science techniques with emerging AI and machine learning approaches to solve complex problems in distributed systems. Analysis of Dr. Khan's publication trends reveals a consistent research trajectory evolving from foundational work in mobile cloud computing and wireless networks toward more specialized applications in blockchain, IoT security, and AI-enhanced cybersecurity solutions. His recent work shows increasing interdisciplinary collaboration, particularly with healthcare researchers on medical diagnostics applications and environmental scientists on sustainability projects. The thematic progression demonstrates how his core expertise in distributed systems has expanded to address emerging challenges in secure computing across multiple domains. Dr. Khan has maintained active research supervision, mentoring numerous students who have contributed to publications across his research areas. His collaborative work spans multiple international institutions, reflecting a strong network of academic partnerships particularly with researchers in Malaysia, Pakistan, and other international collaborators. His laboratory work appears focused on applied research in secure distributed systems, with particular emphasis on blockchain-enabled security frameworks for IoT environments, mobile cloud computing architectures, and AI-enhanced cybersecurity solutions. The research group maintains strong industry connections, particularly with technology companies working on IoT and blockchain applications.
Liguo Zhang is a prominent academic specializing in control systems, traffic engineering, and machine learning. His research focuses on advanced control strategies for traffic flow, autonomous systems, and image processing. He has contributed significantly to the development of observer designs for complex systems, adaptive control methodologies, and cyber-physical systems. His work bridges theoretical control frameworks with practical applications in transportation, robotics, and computer vision. Key areas include stabilization of traffic patterns, decision-making in autonomous vehicles, and vulnerability detection in smart contracts. Zhang's research also spans digital twin technologies for railway systems, diffusion models for font generation, and robust Bayesian neural networks. His collaborative efforts with institutions and co-authors highlight interdisciplinary innovation in both foundational and applied domains.
Prof. Dr. Klaus Deckelnick is a Professor of Mathematics at Otto von Guericke University Magdeburg, affiliated with the Institute for Analysis and Numerical Analysis (IAN) within the Faculty of Mathematics. His research focuses on numerical analysis, partial differential equations, and geometric evolution equations, with particular expertise in finite element methods, shape optimization, and computational mathematics. He holds a Diploma from the University of Bonn (1988) and a Doctorate (1990) and Habilitation (1996) from the same institution. His academic career includes roles as a Lecturer and Reader at the University of Sussex (1998–2002) before joining Magdeburg in 2002. Research interests span numerical methods for geometric flows (e.g., mean curvature flow, elastic flow), optimal control problems, and error analysis for PDEs. His work often involves developing and analyzing finite element schemes for complex systems, including phase field models and surface evolution coupled with diffusion processes. Recent contributions include quasi-optimal error estimates for elastic flow approximations and novel finite element approaches for anisotropic curve shortening. Publications emphasize rigorous mathematical analysis and computational validation, with key areas in shape optimization using W1,∞ topologies, hyperbolic mean curvature flows, and boundary value problems for Willmore-like functionals. Despite extensive contributions, no scientific awards are explicitly mentioned. Collaborations include researchers like Gerhard Dziuk, Charles M. Elliott, and Ralf Nürnberg. His secretariat contacts are Birgit Dahlstrom and Stephanie Wernicke, supporting administrative and academic coordination.
Prof. Dr. Winnifried Wollner is a Professor of Optimization at the University of Hamburg's Department of Mathematics, within the Faculty of Mathematics, Computer Science and Natural Sciences. His research focuses on optimization with partial differential equations (PDEs), numerical methods for PDEs, and computational mechanics, particularly in the context of shape optimization and fracture mechanics. He holds a PhD from Heidelberg University (2010) and has held academic positions at TU Darmstadt and the University of Hamburg. He is actively involved in editorial boards of journals like the SIAM Journal on Control and Optimization and the OPTPDE Problem Collection. His work emphasizes adaptive numerical methods, phase-field fracture modeling, and optimization under constraints. Awards include the 2014 Teacher of the Summer Term award at Hamburg. He teaches courses on optimization, numerical methods, and PDE-constrained problems, and leads research projects funded by DFG and the Excellence Cluster CLICCS. Professional roles include membership in the MIN Faculty Council, the Department's Equal Opportunities Team, and leadership of the GAMM Student Chapter. His research spans interdisciplinary applications in engineering and computational science, with over 66 publications in top journals. Current projects include the DFG Research Training Group 2583 on fluid dynamics and optimization, and the SPP 1962 project on phase-field fracture simulation.
Florian Marwitz is a doctoral researcher at the University of Hamburg affiliated with the Cluster of Excellence 'Understanding Written Artefacts' (UWA) and the Artificial Intelligence in Humanities (Prof. Dr. Möller) department. His work focuses on advancing computational methods for humanities research, including graph algorithms, probabilistic models, and AI applications in cultural heritage preservation. He contributes to projects like the Data Linking Infrastructure and ChatHA chatbot development, emphasizing sustainable information systems and efficient prediction techniques. His research bridges computer science and humanities, addressing challenges in data representation and decision-making systems. Marwitz holds an MA and is based at the Centre for the Study of Manuscript Cultures. His activities include organizing workshops on data linking and AI ethics, reflecting commitments to interdisciplinary collaboration. He is part of the Institut für Humanities-Centered Artificial Intelligence (CHAI), actively involved in training programs and public engagement initiatives.
Alexander Nutz is a Researcher at the University of Freiburg's Department of Computer Science, affiliated with the Software Modeling and Verification Group. His primary research focuses on software model checking, satisfiability modulo theories (SMT), and Craig interpolation. He contributes to the development of verification tools such as SMTInterpol and the Ultimate Program Analysis Framework. Nutz has held teaching roles in courses like Automata Theory, Decision Procedures, and Program Analysis since 2012, collaborating extensively with colleagues on seminar leadership and course assistance. Education: PhD in Computer Science from the University of Freiburg (2019), focusing on 'Data Flow in Program Verification.' Professional activities include jury membership in the SV-COMP competition (2014-2016, 2018) and contributions to the AVACS research project. His work emphasizes program analysis, verification frameworks, and automated reasoning techniques. Research interests span formal methods, program analysis, and the application of SMT solving to real-world systems like smart contracts. Nutz's projects include enhancing verification tools for memory safety checks and integrating data flow graphs into verification processes. Key contributions: Development of Ultimate Kojak and Automizer tools, exploration of map abstraction techniques, and advancements in interpolation-based verification methods. His publications address challenges in non-linear arithmetic verification and automated reasoning for complex software systems.
Sergiy Bogomolov is an Associate Professor in Cyber-Physical Systems at the School of Computing, Newcastle University, UK. His research focuses on developing algorithms and tools for modeling and analyzing complex systems, with a particular emphasis on formal verification, control theory, and artificial intelligence applications in cyber-physical systems. He has over 40 publications in top venues such as EMSOFT, HSCC, AAAI, and IJCAI, and has won multiple awards including Best Paper awards at HSCC'16 and HVC'14. His work emphasizes scalable solutions for hybrid systems analysis and has been supported by agencies like the US Air Force and the Australian Defence Science and Technology Group. Education: PhD and M.Sc. from the University of Freiburg, Germany. He previously held positions at ANU (Australia) and IST Austria as a postdoc. Research interests include hybrid systems reachability analysis, safety verification, and the integration of AI techniques with formal methods. His software contributions include SpaceEx extensions and the JuliaReach toolbox. Scientific awards include Best Repeatability Evaluation Package Award (HSCC'16), Best Tool Award (ARCH'16), and Best Paper Award (HVC'14). He advises PhD students Kostiantyn Potomkin and Abdelrahman Hekal, and collaborates on projects like parameter synthesis and autonomous systems safety.
Dr. Marcel Gehrke is a Research Fellow in Artificial Intelligence for Humanities at Universität Hamburg, specializing in probabilistic models and data linking for manuscript research. His work develops computational methods for analyzing complex relationships in cultural heritage data through statistical relational AI approaches. He has received multiple best paper awards (FLAIRS 2024, IEEE ICSC 2024) for innovations in temporal probabilistic modeling. His research contributes to evidence-based understanding of written artefacts through projects like 'Data Linking Infrastructure' and 'Foundations of Evidence-based Understanding'.
John F. Roddick is a Professor affiliated with Flinders University in South Australia. His research focuses on data mining, database systems, and temporal databases, with significant contributions to association rule mining, schema evolution, and privacy-preserving techniques. He has collaborated extensively with researchers like Shu-Chuan Chu and Jeng-Shyang Pan, producing over 138 publications across journals and conferences. Key contributions include work on schema versioning, temporal vacuuming in databases, and algorithms for wireless sensor networks. His research extends to image processing, biometrics, and swarm intelligence, with notable applications in traffic prediction and secure communication systems. He has edited conference proceedings and contributed to encyclopedic entries on database systems and data warehousing. Roddick's work often bridges theoretical foundations with practical applications, emphasizing interdisciplinary approaches to data management challenges. His publications span venues such as IEEE Transactions on Knowledge and Data Engineering, Data & Knowledge Engineering, and the Journal of Network and Intelligence.
Bettina Speckmann is a Professor at Eindhoven University of Technology in the Netherlands, specializing in computational geometry and algorithms. Her work spans theoretical computer science, visualization, and geographic information systems. She is actively involved in academic conferences such as SoCG, SODA, and GIScience, and serves as a co-author and editor for multiple journals including Computational Geometry and IEEE Transactions on Visualization and Computer Graphics . Key roles: Conference program committee member, journal reviewer. Research interests: Algorithm design, geometric optimization, topological data analysis, and visual abstraction techniques. Her research focuses on advancing computational methods for spatial data analysis, including Fréchet distance algorithms, modular robotics reconfiguration, and visualizing categorical patterns. Recent work includes optimizing symbol placement in maps and analyzing trajectories in mobility data. She collaborates extensively with researchers in computer science and geography, producing impactful contributions to both theoretical and applied domains.
Jian Sun is a researcher affiliated with the Chinese Academy of Sciences' Institute of Computing Technology. His work spans interdisciplinary fields including machine learning, control systems, robotics, and signal processing. He collaborates with institutions globally to advance theoretical and applied research in computational methods and their real-world applications. Research interests focus on machine learning for healthcare diagnostics, optimization algorithms for complex systems, and sensor fusion technologies for autonomous systems. Recent work emphasizes applications in cognitive impairment detection, UAV-based communication systems, and crystal structure prediction. Publications highlight advancements in adaptive control methodologies, cybersecurity in control systems, and 3D reconstruction techniques. His contributions bridge theoretical foundations with practical implementations in robotics, aerospace, and environmental monitoring.
Vincent Pilaud is a researcher in the Combinatorics group at the Departament de Matemàtiques i Informàtica, Universitat de Barcelona. Formerly a senior CNRS researcher (Directeur de recherche CNRS) on leave, his work focuses on combinatorial geometry, polytopes, and algebraic combinatorics. Education: PhD in Mathematics (2000s) under Michel Pocchiola and Francisco Santos Master's thesis in Mathematics at École Normale Supérieure Research Interests: Vincent’s research spans geometric and algebraic combinatorics, emphasizing polytopes (e.g., associahedra, permutahedra), cluster algebras, lattice theory, and combinatorial geometry. His work often bridges discrete mathematics with geometric realizations and algebraic structures. Recent Articles: His 2025 publications include studies on Hochschild polytopes, wigglyhedra, and minimum maximal matchings in permutahedra, reflecting his focus on geometric and algebraic combinatorics. Earlier work explores polytope deformations and cluster algebra applications. Awards: Premio Extraordinario de Doctorado de la Universidad de Cantabria (Doctorate Award) Grants & Projects: Leads the AEI-DFG project “Combinatorial Polytope Theory” (2025–2028) and co-leads international collaborations like the ANR-PAGCAP project. Active in funding from French and Spanish agencies. Advising: Supervises PhD students (e.g., Louis Marin, Félix Gélinas) and mentors postdocs, fostering research in geometric and algebraic combinatorics. Completed students include Germain Poullot and Thibault Manneville. Labs/Teams: Part of the Combinatorics group at Universitat de Barcelona, collaborating internationally on geometric and combinatorial structures.
