Looking for Hu Zhenjiang's database profile? We've gathered the latest integration metrics, platform footprints, and exclusive insights for Hu Zhenjiang. Access the complete Verified Registry and digital record.
Core Information
Explore the key sources for Hu Zhenjiang.
Latest News
Stay updated on Hu Zhenjiang's latest milestones.
B4.4 Analytical Differential Calculus with Integration
Hu Zhenjiang, Deputy Administrator (CAAC) · AsBAA and ACP China Business Aviation Safety Day 2021
[ICFP'25] Effectful Lenses: There and Back with Different Monads
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
[POPL'24] Fusing Direct Manipulations into Functional Programs
[HOPE'25] Compositions for Free: Reasoning about Effectful Lenses
Self-Introduction
[OOPSLA23] Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Mani...
[POPL'18] An Axiomatic Basis for Bidirectional Programming
[ICFP24] Contract Lenses: Reasoning about Bidirectional Programs via Calculation
This is China- Hangzhou Zhejiang University from above
Expert Insights
Data is compiled from public records and verified media reports.
Last Updated: August 16, 2026
Future Outlook
For 2026, Hu Zhenjiang remains one of the most talked-about creator profiles. Check back for the newest reports.
Disclaimer: Disclaimer: All Verified Registry logs and creator system metrics are compiled from publicly accessible data, development records, and digital index testing.
![[ICFP'25] Effectful Lenses: There and Back with Different Monads](https://i.ytimg.com/vi/yJpTzsGAKGc/mqdefault.jpg)
![[POPL'24] Fusing Direct Manipulations into Functional Programs](https://i.ytimg.com/vi/uNAMe1RHde4/mqdefault.jpg)
![[HOPE'25] Compositions for Free: Reasoning about Effectful Lenses](https://i.ytimg.com/vi/pS1u0Um6Xmg/mqdefault.jpg)
![[OOPSLA23] Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Mani...](https://i.ytimg.com/vi/uEjf7qT1SZY/mqdefault.jpg)
![[POPL'18] An Axiomatic Basis for Bidirectional Programming](https://i.ytimg.com/vi/gXyHhPtldwA/mqdefault.jpg)
![[ICFP24] Contract Lenses: Reasoning about Bidirectional Programs via Calculation](https://i.ytimg.com/vi/eFNYopd0GhM/mqdefault.jpg)
