What university did the person who served as Head of Computer Science from 2005 to 2008 join in 1998?
University of California, Berkeley
Orna Kupferman et al.: Safraless Compositional Synthesis. (2006) authored by Orna Kupferman. Shaull Almagor and Orna Kupferman: Latticed-LTL synthesis in the presence of noisy inputs. (2017) authored by Orna Kupferman. Orna Kupferman and Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). (1997) authored by Orna Kupferman. Roy Armoni et al.: Resets vs. Aborts in Linear Temporal Logic. (2001) authored by Orna Kupferman. Bader Abu Radi and Orna Kupferman: Canonicity in GFG and Transition-Based Automat Orna Kupferman and Benjamin Aminof: Improved Model Checking of Hierarchical Systems. (2011) authored by Orna Kupferman. Seth Fogarty et al.: Unifying Büchi Complementation Constructions. (2011) authored by Orna Kupferman. Bader Abu Radi and Orna Kupferman: Minimization and Canonization of GFG Transition-Based Automata. (2001) authored by Orna Kupferman. Orna Kupferman et al.: Typeness for omega-Regular Automata. (2006) authored by Orna Kupferman. Orna Kupferman and Tami Tamir: Coping with selfish ongoing behaviors. (2015) authored by Orna Kupferman. Orna Kupferman and Gal Vardi: On relative and probabilistic finite counterability. (2018) authored by Orna Kupferman. Orna Kupferman and Moshe Y. Vardi: Church's problem revisited. (1999) authored by Orna Kupferman. Orna Kupferman et al.: An Automata-Theoretic Approach to Infinite-State Systems. (2010) authored by Orna Kupferman.
[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 university did the person who served as Head of Computer Science from 2005 to 2008 join in 1998?
Context: Orna Kupferman et al.: Safraless Compositional Synthesis. (2006) authored by Orna Kupferman. Shaull Almagor and Orna Kupferman: Latticed-LTL synthesis in the presence of noisy inputs. (2017) authored by Orna Kupferman. Orna Kupferman and Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). (1997) authored by Orna Kupferman. Roy Armoni et al.: Resets vs. Aborts in Linear Temporal Logic. (2001) authored by Orna Kupferman. Bader Abu Radi and Orna Kupferman: Canonicity in GFG and Transition-Based Automat Orna Kupferman and Benjamin Aminof: Improved Model Checking of Hierarchical Systems. (2011) authored by Orna Kupferman. Seth Fogarty et al.: Unifying Büchi Complementation Constructions. (2011) authored by Orna Kupferman. Bader Abu Radi and Orna Kupferman: Minimization and Canonization of GFG Transition-Based Automata. (2001) authored by Orna Kupferman. Orna Kupferman et al.: Typeness for omega-Regular Automata. (2006) authored by Orna Kupferman. Orna Kupferman and Tami Tamir: Coping with selfish ongoing behaviors. (2015) authored by Orna Kupferman. Orna Kupferman and Gal Vardi: On relative and probabilistic finite counterability. (2018) authored by Orna Kupferman. Orna Kupferman and Moshe Y. Vardi: Church's problem revisited. (1999) authored by Orna Kupferman. Orna Kupferman et al.: An Automata-Theoretic Approach to Infinite-State Systems. (2010) authored by Orna Kupferman.
[/INST] Answer:
