Professor & Head
Mob: +91-9497321481
Department of Computer Science and Engineering
College of Engineering Trivandrum, 695016
Kerala, India
Phone: +91-4862-233250
Email: sdivakaran@cet.ac.in
Research Interests
• Program Verification
• Refinement-based Verification and Synthesis
• Model Checking
• Formal Methods
Experience
- College of Engineering Trivandrum, Kerala State, India; Professor, Computer Science & Engineering; July 2019 – till date
- Government Engineering College, Idukki, Kerala State, India; Professor, Computer Science & Engineering; Oct 2015 – June 2019
- Government Engineering College, Idukki, Kerala State, India; Associate Professor, Computer Science & Engineering; Aug 2009 – Oct 2015
- Rajiv Gandhi Institute of Technology, Kottayam, Kerala State, India; Assistant Professor, Computer Science & Engineering,; Jan 2006 – Aug 2009
- Rajiv Gandhi Institute of Technology, Kottayam, Kerala State, India; Lecturer, Computer Science & Engineering; Mar 2004 – Dec 2005
- University College of Engineering, Thodupuzha, Kerala State, India; Lecturer, Computer Science & Engineering; Aug 2001 – Jun 2003
Education
• Ph.D., Computer Science & Engineering, 2015, Indian Institute of Science, Bangalore, India; Advisor: Prof. Deepak D’Souza.
• ME, Computer Science & Engineering, 2009, Indian Institute of Science, Bangalore, India;
Advisor: Prof. Deepak D’Souza.
• BTech., Computer Science & Engineering, University College of Engineering, Thodupuzha,
India.