---
title: Academics
pagestyle: acad
permalink: /acad/
---
# Sem IV

- HS 625: Philosophy of Education
- CS 691: R & D Project

<!-- section -->

# Sem III

- [CS 601](http://www.cse.iitb.ac.in/page134?course=CS+601): Algorithms and Complexity
- [CS 626](http://www.cse.iitb.ac.in/page134?course=CS+626): Speech, Natural Language Processing and the Web
- [CS 724](http://www.cse.iitb.ac.in/page134?course=CS+724): Network Security and Cryptography - 2

<!-- section -->

# Sem II

- CS 534: Quantum Information and Computing
- [CS 715](http://www.cse.iitb.ac.in/page134?course=CS+715): Design and Implementation of GNU Compiler Generation Framework
- [CS 726](http://www.cse.iitb.ac.in/page134?course=CS+726): Advanced Machine Learning

<!-- section -->

# Sem I

- [CS 613](http://www.cse.iitb.ac.in/page134?course=CS+613): Design and Implementation of Functional Programming Languages
- [CS 618](http://www.cse.iitb.ac.in/page134?course=CS+618): Program Analysis
- [CS 621](http://www.cse.iitb.ac.in/page134?course=CS+621): Artificial Intelligence
- [CS 719](http://www.cse.iitb.ac.in/page134?course=CS+719): Topics in Mathematical Foundations of Formal Verification

<!-- section -->

# Past

- Bachelor of Technology in Mechanical Engineering from IIT Guwahati
