When was the author of 'Matching Logic' born?
December 12, 1971
Grigore Rosu and Sumant Kowshik et al.: An instrumentation technique for online analysis of multithreaded programs. (2011) authored by Grigore Rosu. Vilas Jagannath et al.: Improved multithreaded unit testing. (2010) authored by Grigore Rosu. Koushik Sen et al.: Decentralized runtime analysis of multithreaded applications. Grigore Rosu et al.: Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. (2006) 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) edited by Grigore Rosu. Grigore Rosu: On Safety Properties and Their Monitoring. (2012) authored by Grigore Rosu. Philip Daian et al.: Efficient Parametric Android Runtime Verification, a Brief Tutorial. (2003) authored by Grigore Rosu. Feng Chen and Grigore Rosu: Parametric Trace Slicing and Monitoring. (2009) authored by Grigore Rosu. Qingzhou Luo and Grigore Rosu: On Safety Properties and Their Monitoring. (2012) authored by Grigore Rosu. Grigore Rosu's Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRo
[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: When was the author of 'Matching Logic' born?
Context: Grigore Rosu and Sumant Kowshik et al.: An instrumentation technique for online analysis of multithreaded programs. (2011) authored by Grigore Rosu. Vilas Jagannath et al.: Improved multithreaded unit testing. (2010) authored by Grigore Rosu. Koushik Sen et al.: Decentralized runtime analysis of multithreaded applications. Grigore Rosu et al.: Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. (2006) 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) edited by Grigore Rosu. Grigore Rosu: On Safety Properties and Their Monitoring. (2012) authored by Grigore Rosu. Philip Daian et al.: Efficient Parametric Android Runtime Verification, a Brief Tutorial. (2003) authored by Grigore Rosu. Feng Chen and Grigore Rosu: Parametric Trace Slicing and Monitoring. (2009) authored by Grigore Rosu. Qingzhou Luo and Grigore Rosu: On Safety Properties and Their Monitoring. (2012) authored by Grigore Rosu. Grigore Rosu's Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRoşu<unk>'s Ph. D. S. <unk>nRo
[/INST] Answer:
