Semester Projects' Groups | Project Title | |
Sourav Khoso UG201310035 | Simulate parity checking using TM | |
Suresh Gehlot UG201310036 | ||
Ujjwal Anand (UG201314018) | Design TM to perform sorting | |
Jalaj Sharma(UG201314008) | ||
Kushagra Surana (UG201310017) | Complexity analysis of encryption algorithms using TM | |
Rohil Surana (UG201313030) | ||
Naresh Kumar Prajapati (UG201313018) | Theory and aplications of LBA | |
Shiv Kumar Sen (UG201310031) | ||
Anirudh Vyas (UG201313003) | Randomized Turing machines | |
Sangram Gaikwad (UG201313010) | ||
Arnav Jindal (UG201310009) | NP Complete Algorithms | |
Avan Rathod (UG201310010) | ||
Bharti Arya ug201310012 | Cryptography | |
Bharti Gothwal ug201310011 | ||
Rajkumar Meena(UG201310025) | Simulate a clock using TM | |
Ravi Prakash Gupta(UG201310027) | ||
Shipra Jain (UG201313035) | Make a formally verified toy compiler | |
Riteek Shrivastav (ug201310029) | ||
Prakhar Mathur | Randomized Turing machines | |
Priyank Arya | ||
Vivek Lata | Finite automata for speech recognition | |
Upendra Singh Chauhan | ||
Kaushtubh Kumar(UG201310042) | Simulate parallel processing using TM | |
Nithin V(UG201310022) | ||
tapan bhatnagar - ug201310037 | Simulate a cipher system using TM | |
piyush yadav - ug201310023 | ||
Rajan Vaghela UG201310039 | Finite automata for speech recognition | |
Kshitij Minocha UG201310043 | ||
Arnav Chopra (ug201310008) | Randomized computation | |
Archit Agrawal (ug201310007) | ||
RITEEK SRIVASTAV – ug201310029 | Make a formally verified toy compiler | |
Ravindra Saini UG201310028 | Make a visual Turing machine. | |
Shrey Maheshwari UG201314017 | ||
Makarand Gomashe (ug201310019 | Theory of Social Networks | |
Nikhil Taji (ug201310021) | ||
Kartik Singh(ug201310015) | Simulate Tic-tac-toe using TM | |
Pranjal Singh(ug201314013) | ||
Dishant Goyal (UG201310013) | Computational learning theory | |
Dhanajit Brahma (UG201314006) | ||
Aakash Hasija (ug201310001) | Design Turing Machine to perform searching | |
Amit Jain (ug201310005) | ||
Anjali Malav (ug201310006) | Simulate sophsisticated elevator using TM | |
Muttineni Navya (ug201310020) | ||
Aayush Sharda UG201310002 | Cryptography | |
Vaibhav Paliwal UG201310040 | ||
Ramkesh Meena(ug201310026) | Infinite search in finite time | |
Shiv Bhagwan (ug201310030) | ||
Shiv Mohan(UG201310032) | Enumeration of Turing machines | |
Shubham Singh(UG201313036) | ||
Abhay Kumar Singh (UG201310003) | Approximation Algorithm | |
Deepshi Garg (UG201313008) | ||
Shubham Saxena (UG201310033) | Make a formally verified toy compiler | |
Aman Singh (UG201310004) | ||