Shenghua Feng

Shenghua Feng is a Researcher affiliated with the Institute of Software at Chinese Academy of Sciences and the University of Chinese Academy of Sciences in China. His work focuses on advancing formal methods in computational systems.

Research Interests:
Feng specializes in:

• Formal Verification: Ensuring system correctness through mathematical models.
• Probabilistic Programs: Analyzing stochastic computational processes.
• Hybrid Systems: Studying interactions between discrete and continuous dynamics.

Publication Trends:
His 2023 work establishes theoretical foundations for probabilistic program divergence, contributing to programming languages and formal verification. Research consistently intersects theoretical computer science and practical system analysis.