From which institute did the writer of Tutorial I: Syntax-guided synthesis get his bachelor's degree?
Indian Institute of Technology Kanpur
Yifei Yuan et al.: Quantitative Network Monitoring with NetQRE. (2017) authored by Rajeev Alur. Gera Weiss et al.: Robust stability of multi-hop control networks. (2023) authored by Rajeev Alur. Anton Xue et al.: Stability Guarantees for Feature Attributions with Multiplicative Smoothing. Yifei Yuan et al.: On the feasibility of automation for bandwidth allocation problems in data centers. (2016) authored by Rajeev Alur. Sebastian Burckhardt et al.: Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models. (2006) authored by Rajeev Alur. Pavol Cern<unk> et al.: Detecting Uncoalesced Accesses in GPU Programs. (2010) authored by Rajeev Rajeev Alur and Mukund Raghothaman: Decision Problems for Additive Regular Functions. (2013) authored by Rajeev Alur. Alessandro D'Innocenzo et al.: Scalable scheduling algorithms for constant-rate multi-mode systems. (2012) authored by Rajeev Alur. Rajeev Alur and Mukund Raghothaman: Decision Problems for Additive Regular Functions. (2009) authored by Rajeev Alur. Rajeev Alur et al.: Schedulability of Bounded-Rate Multi-Mode Systems. (1996) authored by Rajeev Alur. Rajeev Alur and Gadi Taubenfeld: Contention-free Complexity of Shared Memory Algorithms. (1996) authored by Rajeev Alur. Luan Viet Nguyen et al.: Detecting security leaks in hybrid systems with information flow analysis. (2019) authored by Rajeev Alur. Rajeev Alur et al.: Optimal Reachability for Weighted Timed Games. (2004) authored by Rajeev Alur. Lei Shi et al.: Session-layer Attack Traffic Classification by Program Synthesis. (2020) authored by Rajeev Alur. Houssam Abbas et al.: A Robust Theory of Series Parallel Graphs. (2023) authored by Rajeev Alur.
[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: From which institute did the writer of Tutorial I: Syntax-guided synthesis get his bachelor's degree?
Context: Yifei Yuan et al.: Quantitative Network Monitoring with NetQRE. (2017) authored by Rajeev Alur. Gera Weiss et al.: Robust stability of multi-hop control networks. (2023) authored by Rajeev Alur. Anton Xue et al.: Stability Guarantees for Feature Attributions with Multiplicative Smoothing. Yifei Yuan et al.: On the feasibility of automation for bandwidth allocation problems in data centers. (2016) authored by Rajeev Alur. Sebastian Burckhardt et al.: Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models. (2006) authored by Rajeev Alur. Pavol Cern<unk> et al.: Detecting Uncoalesced Accesses in GPU Programs. (2010) authored by Rajeev Rajeev Alur and Mukund Raghothaman: Decision Problems for Additive Regular Functions. (2013) authored by Rajeev Alur. Alessandro D'Innocenzo et al.: Scalable scheduling algorithms for constant-rate multi-mode systems. (2012) authored by Rajeev Alur. Rajeev Alur and Mukund Raghothaman: Decision Problems for Additive Regular Functions. (2009) authored by Rajeev Alur. Rajeev Alur et al.: Schedulability of Bounded-Rate Multi-Mode Systems. (1996) authored by Rajeev Alur. Rajeev Alur and Gadi Taubenfeld: Contention-free Complexity of Shared Memory Algorithms. (1996) authored by Rajeev Alur. Luan Viet Nguyen et al.: Detecting security leaks in hybrid systems with information flow analysis. (2019) authored by Rajeev Alur. Rajeev Alur et al.: Optimal Reachability for Weighted Timed Games. (2004) authored by Rajeev Alur. Lei Shi et al.: Session-layer Attack Traffic Classification by Program Synthesis. (2020) authored by Rajeev Alur. Houssam Abbas et al.: A Robust Theory of Series Parallel Graphs. (2023) authored by Rajeev Alur.
[/INST] Answer:
