The researcher with a co-author from QAware and creator of the paper Monotonicity Inference for Higher-Order Formulas in J. Autom. Reason., hIndex, is?
20
Jasmin Christian Blanchette is Person. Jasmin Christian Blanchette is affiliated with the University of Lorraine, Nancy, France. Jasmin Christian Blanchette i10Index 45. Jasmin Christian Blanchette 2YrMeanCitedness 1.1111111640930175781. Jasmin Christian Blanchette and Olaf Owe: An Open System Operational Semantics for an Object-Oriented and Component-Based Language. (2007) authored by Ja Jasmin Blanchette is affiliated with the Vrije Universiteit Amsterdam, The Netherlands. She earned a Bachelor of Science degree in computer science from the Université de Sherbrooke, a Master of Science in computer science from the University of Oslo, and a PhD in computer science from the Technical University of Munich, Germany.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: The researcher with a co-author from QAware and creator of the paper Monotonicity Inference for Higher-Order Formulas in J. Autom. Reason., hIndex, is?
Context: Jasmin Christian Blanchette is Person. Jasmin Christian Blanchette is affiliated with the University of Lorraine, Nancy, France. Jasmin Christian Blanchette i10Index 45. Jasmin Christian Blanchette 2YrMeanCitedness 1.1111111640930175781. Jasmin Christian Blanchette and Olaf Owe: An Open System Operational Semantics for an Object-Oriented and Component-Based Language. (2007) authored by Ja Jasmin Blanchette is affiliated with the Vrije Universiteit Amsterdam, The Netherlands. She earned a Bachelor of Science degree in computer science from the Université de Sherbrooke, a Master of Science in computer science from the University of Oslo, and a PhD in computer science from the Technical University of Munich, Germany.
[/INST] Answer:
