> For the complete documentation index, see [llms.txt](https://amitagarwal.gitbook.io/profile/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://amitagarwal.gitbook.io/profile/teaching.md). # Teaching ### Spring 2023 : CS 507 Topics in Cryptography *Taught by Dr. Dakshita Khurana at UIUC* Assisted in research discussions and student presentations. ### Fall 2022 : CS 407 Cryptography *Taught by Dr. Dakshita Khurana at UIUC* Assisted in designing and grading homeworks, and helped students with doubts related to the assignments. ### Spring 2022 : CS 598 Quantum Cryptography *Taught by Dr. Dakshita Khurana at UIUC* Assisted in reviewing scribe notes for course lectures and grading homework assignments. ### Fall 2017 : CS F469 Information Retrieval *Taught by Dr. Rajendra Kumar Roul at BITS Pilani, Goa* Conducted lab sessions on topics such as Text similarity metrics, Index Construction and Compression, Latent Semantic Indexing, Latent Dirichlet allocation and Clustering. ### Fall 2017 : CS F407 Artificial Intelligence *Taught by Prof. Ashwin Srinivasan at BITS Pilani, Goa* Organized lab sessions where concepts like search strategies (e.g. BFS, DFS, A\*), game-theory, rule-based learning and problem solving using these concepts in Prolog were discussed. ### Spring 2017 : CS F211 Data Structures and Algorithms *Taught by Dr. A. Baskar and Dr. Ramprasad Joshi at BITS Pilani, Goa* Set up weekly programming contests on Hackerrank platform consisting of problems related to DSA and designed appropriate test cases for the same. ### Fall 2016 : CS F214 Logic in Computer Science *Taught by Dr. Ramprasad Joshi at BITS Pilani, Goa* Conducted tutorial sessions, set up practice problems and taught Prolog with a special emphasis on theorem proving of statements in proposition and first-order logic. --- # Agent Instructions This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com. ## Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter: ``` GET https://amitagarwal.gitbook.io/profile/teaching.md?ask=&goal= ``` `ask` is the immediate question: it should be specific, self-contained, and written in natural language. `goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.