Jinting Bian

Jinting Bian is a Researcher at the Computer Security department of Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands. Their work focuses on formal verification, object-oriented programming, and software correctness.

Research Interests include:

• Formal verification of object-oriented systems
• History-based reasoning for behavioral subtyping
• Dynamic frames and footprint logic
• Java Collection Framework specification
• Integration of Isabelle/HOL with KeY
• Interactive deductive proving

Publications between 2020-2025 demonstrate expertise in Hoare logic, behavioral subtyping, and Java standard library verification. Key collaborations include Frank de Boer, Hans-Dieter Hiep, and Stijn de Gouw.