What degree did the author of 'Matching Logic' receive in 1995?
B.A. in Mathematics
Grigore Rosu is the author of Owolabi Legunsen et al.: Evolution-Aware Monitoring-Oriented Programming. (2015). Dongyun Jin et al.: Garbage collection for monitoring parametric properties. (2004) authored by Grigore Rosu. Rodolfo Pellizzoni et al.: Hardware Runtime Monitoring for Dependent COTS-Based Real-Time Embedded Systems. (2004). Grigore Rosu and Koushik Sen: An instrumentation technique for online analysis of multithreaded programs. (2005) authored by Grigore Rosu. Dongyun Jin et al.: JavaMOP: Efficient parametric runtime monitoring framework. (2012) authored by Grigore Rosu. Grigore Rosu is the author of Feng Chen and Grigore Rosu: Parametric and Termination-Sensitive Control Dependence. (2014). Grigore Rosu et al.: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. (2008) authored by Grigore Rosu. Grigore Rosu'<unk>. D. D. S. <unk>nRoşu<unk>'s Ph.D. thesis, "How good are the specs?" was authored by Grigore Rosu. José Meseguer and Grigore Rosu: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings (2008).
[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: What degree did the author of 'Matching Logic' receive in 1995?
Context: Grigore Rosu is the author of Owolabi Legunsen et al.: Evolution-Aware Monitoring-Oriented Programming. (2015). Dongyun Jin et al.: Garbage collection for monitoring parametric properties. (2004) authored by Grigore Rosu. Rodolfo Pellizzoni et al.: Hardware Runtime Monitoring for Dependent COTS-Based Real-Time Embedded Systems. (2004). Grigore Rosu and Koushik Sen: An instrumentation technique for online analysis of multithreaded programs. (2005) authored by Grigore Rosu. Dongyun Jin et al.: JavaMOP: Efficient parametric runtime monitoring framework. (2012) authored by Grigore Rosu. Grigore Rosu is the author of Feng Chen and Grigore Rosu: Parametric and Termination-Sensitive Control Dependence. (2014). Grigore Rosu et al.: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. (2008) authored by Grigore Rosu. Grigore Rosu'<unk>. D. D. S. <unk>nRoşu<unk>'s Ph.D. thesis, "How good are the specs?" was authored by Grigore Rosu. José Meseguer and Grigore Rosu: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings (2008).
[/INST] Answer:
