Jinting Bian
Researcher · Formal Verification
National Research Institute for Mathematics and Computer ScienceNetherlands
About
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.
0Publications listed
Find Jinting Bian elsewhere
Related Searches
You Might Also Like
Frank de BoerNational Research Institute for Mathematics and Computer Science · Researcher
Farhad ArbabNational Research Institute for Mathematics and Computer Science · Researcher- DDominik WojtczakUniversity of Liverpool · Professor
Bernhard BeckertKarlsruhe Institute of Technology · Professor
Tobias NipkowGraz University of Technology · Professor
Herman GeuversEindhoven University of Technology · Lecturer