Faculty Research Group

Systems and Verification

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

Areas of Research:

Computational Geometry	Artificial Intelligence
Graph Theory & Algorithms	Computer Vision
Graph Modification Problems	Medical Image Analysis
Formal Specification & Verification	Deep Learning
Model Checking	Cloud Computing & Edge Computing
Parameterized Algorithms & Complexity	Internet of Things

---

Faculty Members:

• Muralikrishnan K


• Saidalavi Kalady


• T. Veni


• S. Sheerazuddin



---

Research Scholars:

• Ratheesh (2017 - )


• Lubna A (2017 - )


• Shamla Beevi A (2018 - )


• Ankur Sharma (2018 - )



---

Publications:

• Google Scholar listing of Murali Krishnan


• Google Scholar listing of Saidalavi Kalady


• Google Scholar listing of T. Veni


• Google Scholar listing of S. Sheerazuddin



---