Database and Information System

Group : D.S. Yadav, S.P. Tripathi, S.S. Soam, S.K. Bajpai
Formal Verification and Model Checking, Theoritical Computer Science

Group : Manish Gaur, Y.N. Singh, Girish Chandra
Mobile Computing

Group : M.H. Khan, Girish Chandra, Manik Chandra
Bio Informatics, Biometric based Digital Signatures, E-Commerce

Group : S.K. Bajpai, D.S. Yadav, Ritendra Goel
Theory of Machines, QoS Issues

Group : S.K. Bajpai, M. Tripathi, S.P. Tripathi
Cryptographic System and Network Security

Group : Girish Chandra, Nathan Singh