Faculty Research Group

Algorithms and Formal Methods

Department of Computer Science and Engineering
National Institute of Technology, Calicut
Kozhikode, Kerala, India - 673601. India
Emails: sheerazXnitcYacYin, subaXnitcYacYin, subhaXnitcYacYin [@/X,./Y].

Areas of Research:

• Computational Geometry


• Computer Vision


• Graph Theory & Algorithms


• Graph Modification Problems


• Formal Specification & Verification


• Model Checking


• Parameterized Algorithms & Complexity

Faculty Members:

• S. Sheerazuddin


• R. Subashini


• Subhasree M.

Research Scholars:

• Aby Abahai T. (Guide Subhasree M)


• Alphy George (Co-guides Muralikrishnan K, S. Sheerazuddin)


• Dhanyamol Antony (Guide R. Subashini)


• Haritha B. R. (Guide Subhasree M)


• Rani M. R. (Guide R. Subashini)


• Remi R. (Co-guides R. Subashini, Subhasree M.)


• Rema M. (Co-guides R. Subashini, Subhasree M.)


• Shabana AT (Co-guides Muralikrishnan K, S. Sheerazuddin)


• Tephilla Prince (Co-guides Ramchandra Phawade, S. Sheerazuddin)

Publications:

• Google Scholar listing of S. Sheerazuddin


• Google Scholar listing of R. Subashini


• Google Scholar listing of Subhasree M.