• | info@rit.ac.in
  • call +0481-2507763
  • For inquiries,

Rajiv Gandhi Institute of Technology

GOVT.ENGINEERING COLLEGE KOTTAYAM

(AFFILIATED TO APJ ABDUL KALAM TECHNOLOGICAL UNIVERSITY)
Rajiv Gandhi Institute of Technology, named after the late Prime Minister Sri Rajiv Gandhi, run by the Government of Kerala, started functioning in 1991.

ETLAB / CAMPUSOFT LOGIN

Department of Computer Science & Engineering

Shibu kumar K.B.

Assistant Professor

INFO
9446645071
shibukumar@rit.ac.in
Employee
Date of joining Service :
Date of joining Rit :
google

Educational Qualification

Qualification Specialization University Year
M.E.Computer ScienceIISc2014
B.Tech.Computer Science and EngineeringKerala2001

Work Experience

Teaching Experience 9 Yrs
Industrial Experience 3 Yrs

Area Of Interest

1. Theoretical Computation 2. Program Verification 3. Embedded Systems

Major Publications

Papers in Journals
Papers in Conferences 2
* Shereena Thampi, Shibu kumar K.B., Distributed Merge Trees - Proof Techniques, International Conference on Next Generation Intelligent Systems (ICNGIS 2016), Sep. 1 - 3, 2016, RIT, Kottayam.

* Shibu kumar K.B., Kabeer V., LTL For Verifying Digital Electronic Circuits, UGC Sponsored National Conference on Computational Intelligence (ConCIPT 2014-15), Jan. 1-3, 2015, Kozhikkode

* Prakash Chandrasekharan, Shibu kumar K.B., Remish Minz, Deepak D'Souza and Meshram Lomesh, A Multi-core Version of FreeRTOS Verified for Datarace and Deadlock Freedom, 12th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'14), Oct. 19-21, 2014, EPFL, Lausanne.
Pages: 62 - 71
DOI: 10.1109/MEMCOD.2014.6961844

* Shibu Kumar K.B., V. Susheela Devi, Rajeev K.K. and Arun Bhatia, Probabilistic Algorithms for Election Result Prediction, 2014 International Conference on Soft Computing and Machine Intelligence (ISCMI2014),Sept. 26-27, 2014, New Delhi.
Pages: 79 - 82
DOI: 10.1109/ISCMI.2014.12

Responsibilities

1. Staff Advisor - 2014-18 batch
2. Dept. MODROBS
3. Dept. III Cell
4. Dept. Time Table.
5. Member, Internet-intranet committe
6. Assistant coordinator, AICTE affiliation
7. Coordinator - AISHE