Dr. Josef Vlček is affiliated with the University of Alaska Fairbanks , University of Iceland, Reykjavik , and the National Research Council of Italy . His work spans geophysics , seismology , and geothermal energy . Dr. Vlček's research includes earthquake swarm dynamics , geothermal reservoir characterization , and CO2 degassing in mofette systems . His recent publications highlight fieldwork in Iceland and the Czech Republic, focusing on seismic activity and geothermal exploration. 2024 : Real-time monitoring of tectonic graben formation in Iceland 2023 : Hydraulic injection tests in Czechia's EGS borehole 2023 : Analysis of fast-migrating sequences in earthquake swarms 2022 : Pressure perturbations affecting CO2 degassing in Hartoušov, Czech Republic Collaborations include researchers from the University of Pardubice, Seismik, and the Multidisciplinary Digital Publishing Institute. No explicit awards or student advisement details are provided.
Lucas Vincenzo Davi is a Professor of Computer Science at the University of Duisburg-Essen and Director of the paluno - the Ruhr Institute for Software Technology . He leads the SYSSEC research group and is a Principal Investigator (PI) in the SFB CROSSING and CASA excellence cluster. His work focuses on practical software and systems security, including memory corruption vulnerabilities, exploit mitigation, and blockchain smart contract security. Davi holds an ERC Starting Grant for Smart Contract Security research. Education: PhD in IT Security, TU Darmstadt (2011–2015), Dissertation: "Code-Reuse Attacks and Defenses" Master of Science in IT Security, Ruhr-Universität Bochum (2007–2009) Diplom (FH) in Business Informatics, FOM Neuss (2003–2007) Research: Davi's work emphasizes real-world security challenges like runtime attacks, trusted execution environments (TEE), and secure embedded systems. His contributions include Wemby (WebAssembly security analysis), HCC (smart contract hardening), and rowhammer mitigations like CATT. His research has influenced industry practices, e.g., Microsoft EMET v5.1 improvements. Awards: Best Teacher Award (2025) Finalist German IT Security Prize (2022, 2020) ACM SIGSAC Dissertation Award (2016) CAST Förderpreis (2010) Grants & Leadership: ERC Starting Grant (Smart Contracts), SFB CROSSING PI, CASA Cluster PI, and leadership in interdisciplinary initiatives like Nano Security (DFG Priority Program). Labs/Teams: Director of paluno, SYSSEC group leader, and collaborator in projects like HERA (hotpatching for embedded systems) and DMA’n’Play (DMA-based attestation).
Eva Rodríguez is an Associate Professor in the Department of Network Engineering at Pompeu Fabra University's School of Engineering, specializing in cybersecurity, digital rights management, and IoT security. With over 50 publications since 2003, she has established herself as a leading researcher in secure network architectures and privacy-preserving technologies. Her research focuses on applying machine learning techniques to cybersecurity challenges, particularly in mobile and IoT environments. Rodríguez has published extensively on deep learning for intrusion detection, privacy protection mechanisms, and security frameworks for next-generation networks (5G/6G). She has also made significant contributions to RISC-V processor security through the Horizon Europe Vitamin-V project. Recent work shows a strong emphasis on federated learning approaches for privacy preservation in fog computing environments and the development of security management architectures for resilient wireless ecosystems. Her publication record demonstrates consistent leadership in both theoretical frameworks and practical implementations of security solutions. Among her notable contributions are comprehensive surveys on deep learning techniques for mobile network security and machine learning methods for IoT privacy protection, which have become important references in these rapidly evolving fields. As a research supervisor, she has mentored several doctoral students including Norma Gutiérrez and Beatriz Otero, who now appear as co-authors on her recent publications. Her collaborative work extends across multiple European research projects, demonstrating strong integration within the international cybersecurity research community.
Coen De Roover is a Professor at the Vrije Universiteit Brussel (VUB) since October 2015, affiliated with the Software Languages Lab (SOFT) where he leads the Code Analysis and ManiPulation (CAMP) subgroup. He serves as programme director for the bachelor's program in Computer Science since the 2019-2020 academic year. His research focuses on the design of program analyses and their application to software quality problems , with particular expertise in static and dynamic analysis techniques. Key research areas include: Soft verification of contracts and incremental abstract interpretation Fine-grained change analysis of individual commits Mining for change patterns across multiple commits Vulnerability detection in infrastructure code (particularly Ansible) Concolic testing and resilience analysis Recent publication trends show increasing focus on infrastructure as code security, WebAssembly analysis, and modular abstract interpretation frameworks. His work bridges theoretical program analysis with practical software engineering applications, often validated through empirical studies on open-source projects. As an active contributor to the software engineering community, he has served on program committees for major conferences including ASE, ECOOP, ICSE, and SPLASH. His leadership roles include steering committee positions for GPCE and SANER, and program co-chair roles for International Conference on Program Comprehension. De Roover directs the CAMP research subgroup which has published over 120 peer-reviewed articles. The group develops practical analysis tools while advancing theoretical foundations of program analysis, with recent work focusing on infrastructure code security and WebAssembly analysis.
Jingyue Li is a Professor in the Department of Computer Science at the Norwegian University of Science and Technology (NTNU), within the Faculty of Information Technology and Electrical Engineering. She earned her Ph.D. in Software Engineering from NTNU in 2006 and has extensive industrial experience including positions at IBM and DNV Research and Innovation. Her educational background includes: Ph.D. in Software Engineering from NTNU (2006) Professor Li's research spans several key areas in software engineering with a focus on both theoretical and practical applications. Her work bridges traditional software engineering practices with emerging technologies, particularly in the domain of security and blockchain systems. She has conducted extensive empirical research and applied design science methodologies to develop innovative tools and approaches. Her recent publications demonstrate a strong trend toward blockchain technologies, software security, and the intersection of AI with software engineering. The research shows increasing focus on practical applications of blockchain in decentralized autonomous organizations, consensus protocols, and security vulnerabilities in smart contracts. There's also significant work on integrating security practices into DevOps (DevSecOps) and applying machine learning techniques to software engineering problems. Professor Li has received recognition through her leadership roles in major conferences: General Chair for FSE 2025 (The ACM International Conference on Foundations of Software Engineering) Member of the EASE (International Conference on Evaluation and Assessment in Software Engineering) steering committee In terms of research leadership, Professor Li has served as Principal Investigator (PI) or Key Scientist on numerous research projects including TRACE4EU (2023-2025), PaaSforChain (2020-2023), CyberSmart (2017-2020), and several others focused on blockchain, security, and software engineering. She has also conducted research visits to institutions including University College London, University of Washington, Hiroshima University, and Peking University. Her research group appears to be actively engaged in both theoretical and applied research, with strong industry connections through projects like CyberSmart and SecureCyber that address real-world challenges in cybersecurity and smart city infrastructure.
Shing-Chi Cheung is a Professor of Computer Science and Engineering at the Hong Kong University of Science and Technology (HKUST), School of Engineering. He founded the CASTLE research group and co-founded the International Workshop on Automation of Software Testing (AST) in 2006. His leadership includes serving as General Chair of FSE 2014 and chairing multiple APSEC conferences. His research focuses on software quality enhancement through program analysis, testing, debugging, and AI techniques, targeting Android apps, open-source software, deep learning systems, smart contracts, and spreadsheets. Current projects include metamorphic testing frameworks, binary analysis tools, and vulnerability detection systems for emerging technologies. His publication portfolio demonstrates consistent contributions to software engineering since 2016, with recent work emphasizing AI-integrated testing methodologies, smart contract security, and deep learning system reliability. Key trends show increasing focus on cross-language analysis, data visualization quality, and compiler-level verification for modern software stacks. Distinguished Member of the ACM Fellow of the British Computer Society Editorial board member: Science of Computer Programming (SCP), Journal of Computer Science and Technology (JCST) Former editorial board member: IEEE Transactions on Software Engineering (2006-2009), Information and Software Technology (2012-2015) Four patents in China and the United States Cheung actively mentors through the CASTLE research group and serves on program committees for major conferences including ICSE, ESEC/FSE, and ISSTA. His work bridges academic research with practical applications through industry collaborations and tool development. He has contributed to numerous workshops and symposia as steering committee member and program chair.
Shangwen Wang is an Assistant Professor in the School of Computer Science at National University of Defense Technology (NUDT) in Changsha, China. He earned his Bachelor's degree in June 2017, Master's degree in December 2019, and Ph.D. in December 2023, all from NUDT. During his graduate studies, he was supervised by Professor Xiaoguang Mao. From May 2022 to July 2023, he was a visiting student at Southern University of Science and Technology under Professor Yepang Liu. His educational background includes: Ph.D. in Software Engineering, NUDT (2020.3-2023.12), supervised by Prof. Xiaoguang Mao Visiting Scholar, SUSTech (2022.5-2023.7), supervised by Prof. Yepang Liu M.A. in Software Engineering, NUDT (2017.9-2019.12), supervised by Prof. Xiaoguang Mao B.A. in Software Engineering, NUDT (2013.9-2017.6) Wang's research focuses on program repair, program comprehension, mining software repositories, software maintenance and evolution, software testing, and AI for Software Engineering. His work bridges traditional software engineering techniques with modern AI approaches, particularly leveraging large language models for various software engineering tasks. He has made significant contributions to automated program repair, fault localization, vulnerability detection, and code generation. His research demonstrates a strong emphasis on empirical validation and practical applicability to real-world software development challenges. His recent publications show a clear trend toward integrating large language models with traditional software engineering tasks. The 15 most recent articles reveal a focus on applying LLMs to program repair, fault localization, vulnerability detection, and code generation, while maintaining strong empirical foundations. His work spans both theoretical advancements and practical tool development, with applications in software security, testing, and maintenance. His notable achievements include: CCF Outstanding Doctoral Dissertation (CCF优博) 2024 Outstanding Doctoral Graduates, NUDT, 2023 Multiple distinguished paper awards including ACM SIGSOFT Distinguished Paper Award (ISSTA'24) and IEEE TCSE Distinguished Paper Awards (ICSME'22, SANER'22) Prestigious scholarships from NUDT throughout his academic career As an active member of the software engineering community, Wang serves on numerous program committees for top conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He has also contributed to teaching as a teaching assistant for courses such as Compiler, Python Programming, Discrete Mathematics, and C++ Programming. His research group appears to be actively mentoring students, as evidenced by his role as corresponding author on multiple student-led publications. Wang maintains an active research presence with collaborations across multiple institutions in China. His work demonstrates a clear trajectory from traditional program analysis techniques toward integrating cutting-edge AI approaches, particularly large language models, into software engineering practices.
Andreas Zeller serves as Professor for Software Engineering at Saarland University and faculty at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. His dual appointments position him at the intersection of academic research and practical cybersecurity applications, contributing significantly to both institutions' research profiles. Professor Zeller's research spans multiple dimensions of software quality assurance, with particular expertise in automated debugging techniques, mining software repositories for insights, specification mining, and security testing methodologies. His work consistently bridges theoretical foundations with practical implementation, resulting in tools and frameworks adopted widely in both research and industry contexts. Analysis of his recent publications reveals an evolutionary trajectory from foundational debugging work toward increasingly sophisticated grammar-based testing approaches, with notable integration of machine learning techniques in recent years. His research demonstrates consistent focus on improving software reliability through automated analysis, with growing emphasis on security applications including XML injection testing, GNSS module security, and binary file format vulnerabilities. Recipient of two ERC Advanced Grants (including the S3 project) ACM Fellow ACM SIGSOFT Outstanding Research Award Professor Zeller has successfully secured substantial research funding through competitive mechanisms including ERC grants, enabling his team to pursue ambitious research agendas. His leadership extends to mentoring through his roles as doctoral symposium co-chair and active participation in new faculty development initiatives. He maintains strong engagement with the research community through numerous program committee memberships and conference organization roles. At CISPA Helmholtz Center for Information Security, Zeller contributes to the center's mission through research focused on software security testing and analysis. His work on grammar-based testing and fuzzing directly addresses critical security challenges in modern software systems, with practical applications for improving software resilience against attacks.
