Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.
Prof. Waldemar Kolanus leads the Molecular Immunology and Cell Biology department at the University of Bonn's Life & Medical Sciences Institute (LIMES) . His research bridges immunoregulation , stem cell dynamics , and metabolic stress responses in immune cells. Unit 2 member at LIMES Principal investigator in SFB 704 and ImmunoSensation Cluster Leads a multidisciplinary lab with postdocs, PhD students, and technical staff His work focuses on intracellular signaling pathways connecting immune activation to tissue homeostasis, particularly through: Cytohesin proteins in integrin-mediated adhesion and migration TRIM71 in stem cell regulation and congenital hydrocephalus High-salt environments affecting macrophage function Publication trends show expertise in immune cell migration , genetic models , and chemical inhibition , with frequent use of mice and zebrafish for in vivo studies. Key articles explore: TRIM71's dual role in auditory development and germ cell maintenance Cytohesin family's Golgi regulation and insulin signaling Ruxolitinib's off-target migration inhibition of dendritic cells Contact details: Address: LIMES Institute, Carl-Troll-Straße 31, Bonn Email: kolanus.sekretariat@uni-bonn.de Phone: +49 228 73-62788
Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.
Yangruibo Ding is an incoming Assistant Professor in the Department of Computer Science at the University of California, Los Angeles (UCLA), and currently serves as a Postdoctoral Scientist at AWS Agentic AI. He has held significant research positions at Google DeepMind, Amazon AWS AI Labs, and IBM Research, establishing himself as a leading researcher in software engineering with a focus on large language models for code. His research focuses on developing large language models (LLMs) and agentic systems for software engineering. He specializes in training LLMs with advanced symbolic reasoning capabilities for debugging, testing, program analysis, and verification. His work aims to build efficient, collaborative agentic systems for complex software development and maintenance tasks, with particular emphasis on code generation, vulnerability detection, and execution-aware pre-training techniques. Dr. Ding's publication record reveals a strong trajectory toward enhancing code intelligence through comprehensive semantics reasoning and self-refinement approaches. His research spans multiple dimensions of software engineering including code completion, vulnerability detection, model evaluation, and cross-file context understanding, with applications across various programming languages and development environments. Dr. Ding has received numerous prestigious awards recognizing his contributions to the field: IBM Ph.D. Fellowship Award (2022-2024) ACM SIGSOFT Distinguished Paper Award (2023) IEEE TSE Best Paper Award Runner-up (2022) Ph.D. Service Award, Columbia CS (2025) NSF Student Travel Award for ESEC/FSE'23 (2023) ACM SIGSOFT CAPS Travel Grant (2023) NSF Travel Award for ICSE'22 (2022) As he establishes his research group at UCLA, Dr. Ding is actively seeking students with strong coding skills and experience in large language models, program analysis, verification, or security. He serves on program committees for major conferences including ICSE (2026), ASE (2024, 2025), and ESEC/FSE Artifacts Track (2023), and regularly reviews for top-tier conferences and journals in AI and software engineering. His research is conducted through collaborations with leading industry teams including AWS Agentic AI, Google DeepMind's Learning4Code team, and IBM Research's AI for Code team, creating a robust network of industry-academia partnerships that drive innovation in software engineering research.
Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.
Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .
Antonio Vairo is a full Professor at the Department of Physics, TUM School of Natural Sciences, Technical University of Munich, where he holds the Chair of Theoretical Physics - Applied Quantum Field Theory (T39) at the James-Franck-Str. 1/I campus in Garching bei München. His research focuses on the theoretical foundations of quantum chromodynamics with emphasis on heavy quark systems and non-perturbative phenomena. Professor Vairo's primary research interests include Quantum Chromodynamics (QCD), Heavy Quark Physics, Lattice Gauge Theory, Effective Field Theories, and Exotic Hadron Spectroscopy. His work bridges computational approaches with analytical frameworks to investigate quarkonium dynamics in extreme environments like the quark-gluon plasma, while developing novel applications of Born-Oppenheimer effective theory to multi-quark systems. Recent investigations extend into dark matter bound state formation in the early universe, demonstrating interdisciplinary reach across particle physics and cosmology. Analysis of his 2024-2025 publications reveals three dominant research thrusts: (1) quarkonium suppression mechanisms in heavy-ion collisions using open quantum systems approaches, (2) high-precision lattice QCD computations of static forces and chromoelectric correlators, and (3) systematic development of effective field theories for exotic hadrons and dark matter pairs. His work on pNRQCD (potential non-relativistic QCD) provides critical connections between lattice results and experimental observables in heavy-ion physics. Professor Vairo maintains active research leadership through collaborations with international groups including the Belle II experiment, as evidenced by his contributions to 'The Belle II Physics Book'. His methodological innovations in applying quantum trajectory methods to quarkonium evolution and developing FeynOnium computational tools for effective field theories demonstrate significant technical contributions to the field. Current research directions emphasize next-to-leading order corrections in heavy quark dynamics and Debye mass effects in dark matter bound state formation.
Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)
Jelena Mirkovic serves as Principal Scientist at USC Information Sciences Institute (USC/ISI) and Research Associate Professor at the University of Southern California's Thomas Lord Department of Computer Science. She has held faculty positions at USC since 2010, progressing from Research Assistant Professor to her current role as Research Associate Professor since 2017, while also serving as Project Leader at USC/ISI. Her educational background includes: PhD in Computer Science from UCLA (2003) MS in Computer Science from UCLA (2000) B.Sc. in Computer Science from University of Belgrade, Serbia (1998) Mirkovic's research spans network security, human-centered attacks, and cybersecurity experimentation infrastructure. Her work focuses on critical security challenges including botnets, denial-of-service attacks, IP spoofing, vulnerability scanning, and user-centric privacy. She has pioneered methodologies for security experiments and led major infrastructure projects including the DETER testbed and SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation). Analysis of her recent publications reveals consistent innovation across multiple security domains. Her work demonstrates strong technical depth in DDoS defense systems (particularly DNS protection), binary vulnerability analysis, privacy-preserving systems, and security experimentation infrastructure. A notable trend is her focus on bridging theoretical security concepts with practical implementation through large-scale testbeds and real-world data analysis. Her significant scientific achievements include: IEEE Senior Member distinction Best paper award at IEEE COMSNETS 2023 for DNS DDoS defense research Mirkovic has secured substantial research funding as Principal Investigator or Co-PI on numerous grants from NSF, DHS, and other agencies. Current major projects include SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation), DISCERN (Datasets to Illuminate Suspicious Computations), and modernizing DeterLab education infrastructure. She has successfully led multiple REU sites focused on cybersecurity education and workforce development. She directs the STEEL (Security Research Lab) at USC/ISI, which develops innovative security solutions through interdisciplinary research in network security, human factors in security, and cybersecurity experimentation infrastructure. The lab emphasizes practical implementations that address real-world security challenges while advancing theoretical understanding of security systems.
Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.
Yepang Liu is a tenured Associate Professor in the Department of Computer Science and Engineering at Southern University of Science and Technology (SUSTech) in Shenzhen, China. He leads the Software Quality Lab and serves as director of the Trustworthy Software Research Center within the Research Institute of Trustworthy Autonomous Systems. His educational background includes a B.Sc. with honors from Nanjing University (2010) and a Ph.D. from the Hong Kong University of Science and Technology (2015), where he was supervised by Prof. Shing-Chi Cheung. Prior to joining SUSTech, he worked as a postdoc at HKUST's CASTLE Lab and Cybersecurity Lab. Liu's research primarily focuses on software testing and analysis, empirical software engineering, AI for SE, software security, and trustworthy AI. His work bridges traditional software engineering with cutting-edge AI technologies, particularly in automated testing, security analysis, and quality assurance for mobile, blockchain, and extended reality applications. Recent projects explore how large language models can enhance bug detection, improve testing automation, and address fairness issues in machine learning systems. His contributions have been recognized with three ACM SIGSOFT Distinguished Paper awards (ICSE 2021, ASE 2016, ICSE 2014) and one Distinguished Artifact award (ICSE 2019). He has also received the ACM SIGSOFT Service Award and Distinguished Reviewer Award for his extensive service to the software engineering community. Top-10 Most Active Early-Stage Software Engineering Researcher (2013-2020) Top-10 Most Popular Instructor Among 2024 Undergraduate Graduates at SUSTech Junior Faculty of the Year (2021) SUSTech Teaching Excellence Award (2021) Outstanding Mentor Award (2020, 2024) Liu actively serves on the editorial boards of Empirical Software Engineering (EMSE) and Journal of Computer Science and Technology (JCST). He has participated in over 80 conference committees including leadership roles in ICSE, FSE, ASE, and ISSTA. His research is supported by the National Natural Science Foundation of China, National Key Research and Development Program, and leading Chinese IT companies. He regularly mentors PhD and MSc students and has guided multiple national competition award-winning teams. The Software Quality Lab under Liu's direction focuses on innovative approaches to software testing, security analysis, and quality assurance across various platforms including mobile, blockchain, and extended reality applications. Current projects emphasize the integration of AI techniques with traditional software engineering practices to address emerging challenges in software quality.
Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools
Nuno Santos is an Associate Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico (IST), University of Lisbon, and a senior researcher at INESC-ID Lisbon. He leads the SysSec team, focusing on systems security and privacy. His research spans secure enclaves, network security, and censorship-resistant systems. Education: Ph.D. in Computer Science (2013) from Max Planck Institute for Software Systems (MPI-SWS) in affiliation with Saarland University. Visiting research stints at Vrije Universiteit Amsterdam (2018) and Technical University of Munich (2024). Research Interests: Systems security, privacy, trusted execution environments (TEEs), network security, censorship resistance, AI security, and secure cloud computing. He has pioneered work on mitigating vulnerabilities in TrustZone-based TEEs and enhancing confidential computing. Publications: Over 30+ peer-reviewed articles in top-tier venues like S&P, USENIX Security, CCS, and NDSS. Recent trends focus on AI-driven security (e.g., automated exploit generation, prompt-to-SQL injections) and confidential computing (e.g., AMD SEV-SNP analysis). Awards: IST Outstanding Teaching Award (2019/2020), 2024 Prémio Científico Universidade de Lisboa/Caixa Geral de Depósitos. Advising & Grants: Supervised MSc theses in areas like AI-powered vishing attacks and confidential VMs. Active in conference organization (e.g., USENIX Security’25 Vice Chair, IEEE EuroSP’26 Co-Chair). Labs/Teams: Leads the SysSec team at INESC-ID Lisbon, collaborating on projects like AnyTEE (TEE framework) and FlowLens (network security tool).
Dr. Yu Huang is an Assistant Professor in the Department of Computer Science at Vanderbilt University's School of Engineering, with a secondary appointment in the Department of Teaching and Learning at the Peabody School of Education. She is affiliated with the Institute for Software Integrated Systems, the Frist Center for Autism and Innovation, the Vanderbilt Lab for Immersive AI Translation (VALIANT), and the Vanderbilt LIVE Learning Innovation Incubator. Her academic journey began with a BS in Aerospace Engineering from Harbin Institute of Technology in China (2011), followed by an MS in Computer Engineering from the University of Virginia (2015), and culminated with a PhD in Computer Science and Engineering from the University of Michigan in 2021 under Professor Westley Weimer. Dr. Huang's research bridges human cognition and machine intelligence to enhance software development. Her work spans software, hardware, AI, medical imaging (fMRI/fNIRS), eye tracking, and mobile sensing through collaborations with Security, Education, Psychology, and Neuroscience researchers. She leads the MIND Lab (Mixed INtelligence Development for programming lab), investigating programming expertise formation, code comprehension processes, cognitive error patterns, and diversity in programming communities. Her innovative approach combines empirical human studies with AI model development to create more effective programming tools. Her recent publications reveal a growing emphasis on leveraging human attention data to improve code language models, analyzing cognitive biases in security contexts, and examining social factors in technical communication. The research shows strong interdisciplinary connections between neuroscience, psychology, and software engineering, with increasing applications of LLMs in developer tooling. Dr. Huang's work consistently demonstrates how understanding human cognition can inform better AI systems for programming tasks. Dr. Huang has received numerous prestigious recognitions including the 2025 ICPC Vaclav Rajlich Early Career Achievement Award and three ACM SIGSOFT Distinguished Paper Awards (ICSE 2019, FSE 2023, ICSE 2024). Her lab has earned the Best Presentation Award at GI2024, while her students have received the Richard Bennett/Dorothy Danforth Compton Prize scholarship and the C. F. Chen Best Paper award. She actively mentors a diverse team of graduate students (Yifan Zhang, Zach Karas, Zihan Fang, Yueke Zhang, Jiahao Zhang) and undergraduate researchers, with many former students advancing to top institutions (Stanford, Harvard, Duke, UC Berkeley) and organizations (NASA JPL). Her research is supported by a 4-year NSF grant, GitHub Tech for Social Good funding, and the Provost's Faculty Immersion Vanderbilt Grant, enabling comprehensive studies of human-AI collaboration in software engineering. The MIND Lab maintains a strong collaborative culture, frequently working with Professor Kevin Leach's research group and organizing retreats to locations like Radnor State Park and the Great Smoky Mountains. This environment fosters innovation at the intersection of human cognition and software engineering while supporting the professional development of emerging researchers in the field.
Chang Xu is a Professor and Ph.D. supervisor at Nanjing University, affiliated with the State Key Laboratory for Novel Software Technology, School of Computer Science, and Institute of Computer Software (ICS). He has been a full-time faculty member since 2010, when he joined as an associate professor and was later promoted to full professor in 2015. Education: Ph.D. from The Hong Kong University of Science and Technology (HKUST) in 2008 (advisor: Prof. S.C. Cheung) M.Eng. from Institute of Software, Chinese Academy of Sciences (ISCAS) in 2003 B.Eng. from University of Science and Technology of China (USTC) in 2000 Research Interests: Professor Xu's research focuses on big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. His recent work centers on constructing and providing runtime support for intelligent software in open environments, with emphasis on inconsistency detection and resolution for environments, and quality assurance for adaptive, concurrent, learning-based, smartphone-based, and spreadsheet-based applications. His work bridges theoretical foundations with practical applications in software engineering, particularly in program analysis, software testing, and self-adaptive systems. Scientific Awards: ACM SIGSOFT Distinguished Paper Award from ICSE 2025 Best Student Paper Award from EUROSYS 2025 ACM Distinguished Member in 2024 Best Paper Award from SOSP 2023 Best Paper Candidate from ISSRE 2022 Yangtze River Scholar by the Ministry of Education in 2021 Multiple ACM SIGSOFT Distinguished Paper Awards from conferences including ASE, ICSE National Science and Technology Progress Award (Second Class) in 2011 Academic Service and Advising: Professor Xu has served on numerous program committees for top software engineering conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He is an editorial board member for several journals including Journal of Computer Science and Technology and Frontiers of Computer Science. He has supervised numerous Ph.D. and MSc students, with research topics spanning program analysis, software testing, self-adaptive systems, and more. His students have gone on to successful careers in both academia and industry. Research Groups: Professor Xu is associated with the SPAR research group at Nanjing University and the CASTLE research group at HKUST, focusing on software analysis, reliability, and testing.
