What is the type of the institution where the author of the publication 'Programming up to Congruence' works?
education
Stephanie Weirich is the author of several papers, including: Towards synthesis of platform-aware attack-resilient control systems: extended abstract. (2001). Chris Casinghino et al.: Effects and Coeffects in Call-By-Push-Value (Extended Version). (2007) authored by Stephanie Weirich. Joachim Breitner et al.: Ready, set, verify! applying hs-to-coq to real-world Stephanie Weirich's alternative name is Stephanie Claudene Weirich. Anastasiya Kravchuk-Kirilyuk et al.: Eta-Equivalence in Core Dependent Haskell. (2019) authored by Stephanie Weirich.
[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 is the type of the institution where the author of the publication 'Programming up to Congruence' works?
Context: Stephanie Weirich is the author of several papers, including: Towards synthesis of platform-aware attack-resilient control systems: extended abstract. (2001). Chris Casinghino et al.: Effects and Coeffects in Call-By-Push-Value (Extended Version). (2007) authored by Stephanie Weirich. Joachim Breitner et al.: Ready, set, verify! applying hs-to-coq to real-world Stephanie Weirich's alternative name is Stephanie Claudene Weirich. Anastasiya Kravchuk-Kirilyuk et al.: Eta-Equivalence in Core Dependent Haskell. (2019) authored by Stephanie Weirich.
[/INST] Answer:
