Fuyuan Zhang

Fuyuan Zhang is a Postdoctoral Researcher at the Max Planck Institute for Software Systems, specializing in advanced software testing methodologies and formal verification techniques. His research focuses on improving the reliability and security of AI systems, quantum computing frameworks, and concurrent systems through innovative testing criteria, adversarial attacks, and compositional reasoning.

Key areas of expertise include:

• Large Language Model (LLM) testing and validation
• Quantum program analysis and security
• Adversarial machine learning and neural network robustness
• Formal verification of concurrent and cyber-physical systems
• Automated bug detection in complex software systems

His work bridges theoretical foundations with practical applications, addressing critical challenges in AI safety, quantum software reliability, and system-wide security certification.