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)