Faculty Research Group

Algorithms and Formal Methods

Department of Computer Science and Engineering
National Institute of Technology, Calicut
Kozhikode, Kerala, India - 673601. India
Emails: anandbabuXnitcYacYin, ashwinjacobXnitcYacYin, renjithXnitcYacYin, 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:

• Anand Babu N.B.


• Ashwin Jacob


• Renjith P.


• S. Sheerazuddin


• R. Subashini


• Subhasree M.

Research Scholars - Current:

• Aby Abahai T. (Guide Subhasree M)


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


• Haritha B. R. (Guide Subhasree M)


• Manjusha M. S. (Guide Renjith P.)


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


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


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

Research Scholars - Completed:

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


• Dhanyamol Antony (Guide R. Subashini)


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

Publications:

• Google Scholar listing of Anand Babu N.B.


• Google Scholar listing of Ashwin Jacob


• Google Scholar listing of Renjith P.


• Google Scholar listing of S. Sheerazuddin


• Google Scholar listing of R. Subashini


• Google Scholar listing of Subhasree M.