Present and past courses

By Ashutosh Gupta

• 2024 CS433: Automated Reasoning
• 2023 CS213/CS293: Data Structure and Algorithms
• 2023 CS766: Analysis of Concurrent Programs
• 2023 CS228: Logic for Computer Science
• 2022 CS433: Automated Reasoning
• 2022 CS766: Analysis of Concurrent Programs
• 2022 CS228: Logic for Computer Science
• 2021 CS433: Automated Reasoning
• 2021 CS766: Analysis of Concurrent Programs
• 2021 CS228: Logic for Computer Science
• 2020 CS433: Automated Reasoning
• 2020 CS766: Analysis of Concurrent Programs
• 2020 CS228: Logic for Computer Science
• 2019 CS615: Formal Specification and Verification of Programs
• 2019 SAT solving@IIT Mandi
• 2019 CS738: Concepts, Algorithms and Tools for Model-Checking
• 2019 CS310: Automata Theory
• 2018 CS433: Automated Reasoning
• 2016 Mathematical Logic (TIFR), 2015
• 2016 Automated Reasoning and Program Verification (TIFR)
• 2015 Verification: Theory and Practice (TIFR)

Courses I may teach

• Software Verification (the core of my research!)
• Automated Reasoning (my favorite)
• Programming Languages (for the hacker inside me)
• Mathematical Logic (my responsibility)

• Mathematical logic
• Automata theory