Which university did the writer of 'An Effective Algorithm for the Membership Problem for Extended Regular Expressions' get his Ph.D. from?
University of Bucharest
Grigore Rosu et al.: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. (2011) authored by Grigore Rosu. Feng Chen and Grigore Rosu: Parametric and Termination-Sensitive Runtime Verification with Simultaneous Properties. (2006) authored by Grigore Rosu. Grigore Rosu is the author of Koushik Sen et al.: GPredict: Generic Predictive Concurrency Analysis. (2004) and Owolabi Legunsen et al.: GPredict: Generic Predictive Concurrency Analysis. (2015). Grigore Rosu is the author of Feng Chen and Grigore Rosu: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. (2004) authored by Grigore Rosu. Elaine Li et al.: Specification of the Giskard Consensus Protocol. (2020). Grigore Rosu is the author of Feng Chen and Grigore Rosu: Efficient Formalism-Independent Monitoring of Parametric Properties. (2009) authored by Grigore Rosu. Everett Hildenbrandt et al.: KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. (2018) authored by Grigore Rosu. <extra_id_0> the CIRC theorem prover. A. <unk>nFormal semantics of several known programming languages, such as C,<unk>nJavaScript,<unk>nPython,<unk>nand Ethereum Virtual Machine,<unk>nare defined using the K framework. A. <unk>nIsabelle/HOL,<unk>nDafny,<unk>nand as part of the CIRC theorem prover. A. <unk>nFormal semantics of several known programming languages,
[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: Which university did the writer of 'An Effective Algorithm for the Membership Problem for Extended Regular Expressions' get his Ph.D. from?
Context: Grigore Rosu et al.: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. (2011) authored by Grigore Rosu. Feng Chen and Grigore Rosu: Parametric and Termination-Sensitive Runtime Verification with Simultaneous Properties. (2006) authored by Grigore Rosu. Grigore Rosu is the author of Koushik Sen et al.: GPredict: Generic Predictive Concurrency Analysis. (2004) and Owolabi Legunsen et al.: GPredict: Generic Predictive Concurrency Analysis. (2015). Grigore Rosu is the author of Feng Chen and Grigore Rosu: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. (2004) authored by Grigore Rosu. Elaine Li et al.: Specification of the Giskard Consensus Protocol. (2020). Grigore Rosu is the author of Feng Chen and Grigore Rosu: Efficient Formalism-Independent Monitoring of Parametric Properties. (2009) authored by Grigore Rosu. Everett Hildenbrandt et al.: KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. (2018) authored by Grigore Rosu. <extra_id_0> the CIRC theorem prover. A. <unk>nFormal semantics of several known programming languages, such as C,<unk>nJavaScript,<unk>nPython,<unk>nand Ethereum Virtual Machine,<unk>nare defined using the K framework. A. <unk>nIsabelle/HOL,<unk>nDafny,<unk>nand as part of the CIRC theorem prover. A. <unk>nFormal semantics of several known programming languages,
[/INST] Answer:
