Faculty
Research Students
Project Students
Current
Sriganesh, MTech 2014
Project: D2D, A translator from Simulink to Control Flow Graphs
Rishabh Pandey, MTech 2014
Project: D2D, A translator from Simulink to Control Flow Graphs
Chandan, IMTech 2012
Project: Symbolic Execution Engine for Matlab Simulink
Past
Kaushik, IMTech 2013
Project: Book Request System for IIITB Library
Pavithra, MTech 2013
Project: SymTest, Efficient Symbolic Testing of Embedded Software
Piyush Kaushik, MTech 2013
Project: A Functional Library for Meta-Heuristics
Vishesh Jain, MTech 2013
Project: Symbolic Execution Engine for Matlab Simulink
Ruchita Jain, MTech 2013
Project: D2D, A translator from Simulink to Control Flow Graphs
Vrinda Yadav, MTech 2012
Project: DeltaHCT: Symbolic Testing of Simulink Models
