|
Interests: |
Computational Complexity, Quantum Computation, Theoretical Computer Science |
|
Email: |
- divush AT iitk DOT ac DOT in
- divush AT cse DOT iitk DOT ac DOT in
- divyanshu DOT shende AT gmail DOT com
|
|
Resume: |
Resume |
|
Projects: |
UGP 2 : Groupoid Interpretation of Martin-Lof Type Theory by Martin Hofmann and Thomas Streicher (mentored by: Prof. Anil Seth)
| (report) (pres)
|
UGP 1 : Partitioning into Expanders by Luca Trevisan and Shayan Oveis Gharan (mentored by: Prof. Raghunath Tewari)
| (report) (pres)
|
NachOS Operating System
| (Git)
|
C# to x86 Assembly Compiler in Python
| (Git)
|
Real Time Object Detection using OpenCV and Scikit-Learn
| (Git)
|
|