Jianqiang Ding

Jianqiang Ding is a Doctoral Researcher at Aalto University's School of Engineering, Department of Electrical Engineering and Automation. His work focuses on nonlinear systems and control theory, particularly in reachability analysis for dynamical systems verification and controller synthesis.

His research interests include:

• Reachability analysis for safety-critical systems
• Formal verification of nonlinear control systems
• Developing computational tools like PyBDR for set-boundary based analysis
• Controller synthesis for multi-input multi-output systems
• Image processing techniques for discernible mosaics

Recent publications demonstrate expertise in:

• Formal methods for system verification
• Control theory applications in engineering
• Computational tool development for control systems

His collaborative work appears in venues like Formal Methods Symposium and Computer Aided Verification Conference, with particular emphasis on mathematical rigor in control design.