Shimmi Asokan

Passionate Assistant Professor with excellent presentation, research and communication skills. Organized and driven with impressive list of achievements and history of excelling in high-pressure environments. Skilled at applying various learning methods and tools to optimize student experience and academic journey. Seeking a challenging role in education, specifically in the field of Computer Science, where I can contribute my extensive knowledge and experience to enhance the abilities of both graduate and undergraduate students. My enthusiasm for teaching and conducting research in computer science and engineering drives me to instill a genuine passion for learning in the future generation of professionals. By creating dynamic and interactive classroom experiences, I aspire to cultivate an environment that fosters curiosity and encourages active student participation.

• ACM
• CSI

• Virtual Classroom
• Lane Detection and Tracking using Deep Learning
• Fabric Defect Detection
• Blockchain-Based Storage of Traffic Data
• Process Compliance Checking using Model Checker
• Verification of Congestion Control Protocol in VANETs using Formal Methods
• Formal Verification of Automated Guided Vehicle
• Green House Monitoring System
• Automatic Vehicle Plate Detection System Using Raspberry Pi
• Embedded Based Real-Time Temperature Monitoring System
• Application-Aware Cache Replacement Policies
• J3 Compiler
• Multimodal Biometric Identification
• Optimizing GCC compiler for ARM architecture

• Gender: Female
• Nationality: Indian

• Formal Modelling and Verification of the Clock Synchronisation Algorithm of FlexRay, Defence Science Journal, 73(1), 2023, https://doi.org/10.14429/dsj.73.18449
• Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet, Innovations Syst Softw Eng, 2022, https://doi.org/10.1007/s11334-022-00483-1
• ONEKUBE: A Virtual Classroom Experience, Journal of Scientific Research, 66(2), 2022
• Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker, 8th International Symposium on Embedded Computing and System Design (ISED), Kochi, India, 2018, 69-73
• A Cache Replacement Policy Based on Re-reference Count, International Conference on Inventive Communication and Computational Technologies (ICICCT), Coimbatore, India, 2017, 129-134
• Process compliance checking using model checker, International Conference on Inventive Communication and Computational Technologies (ICICCT), Coimbatore, India, 2017, 363-368
• A Novel Approach for Compliance Assurance using IoT, Research in Communication Network and Power Engineering (CNPE - 2017), 2017, 35-40
• Verification of Congestion Control Protocol in VANETS Using Formal Method, IJAR, September 2016, 10.21474/IJAR01/1682
• Ontology-based Document Mining System for IT Support Service, International Conference on Information and Communication Technologies, ICICT 2014, Coimbatore, India, 2014, 329-336, 10.1016/j.procs.2015.02.028
• Summarizing user opinions: A method for labeled-data scarce product domains, International Conference on Information and Communication Technologies, ICICT 2014, Coimbatore, India, 2014, 93-100, 10.1016/j.procs.2015.01.062
• Semantic Approach Utilizing Data Mining and Case-Based Reasoning for IT Support Service, IJRET: International Journal of Research in Engineering and Technology, 03 Issue: 03, 2014
• Study on Memory Hierarchy Optimizations, International Journal of Scientific & Engineering Research, 5 Issue: 9, 2014, 2229-5518
• BIFEMIT- A Novel Algorithm for Biometric Identification, International Journal of Computer Science Engineering and Technology (IJCSET), 3 Issue: 7, 2013, 2231-0711
• Enhanced Performance of Engineering Students through REA- A Comparative Analysis, International Conference on Advances in Computing and Communications (ACC), 2012
• A framework for optimizing GCC for ARM architecture, International Conference on Advances in Computing, Communications and Informatics (ICACCI'12), 2012, 337-342, 10.1145/2345396.2345452
• Energy- aware mobile application development by optimizing GCC for the ARM Architecture, International Conference on Eco-friendly Computing and Communication Systems (ICECCS), 2012, 1-8, 10.1007/978-3-642-32112-2_1
• Adapting barrel shifter at compilation level for efficient implementation of multiplications, International Conference on Advances in Computing and Communications (ACC), 2012
• Semantic Web mining - Ontology based approach, Conference on Computing Paradigms and Bio-informatics (CPBI 2012), 2012
• An Extension to Global Value Numbering, Advances in Computing and Communications in Computer and Information Science, 193, Part 1, 2011, 63-69, 10.1007/978-3-642-22726-4_8
• Modeling of ALFA Programs Using PVS Theorem Prover, International Conference on Advances in Recent Technologies in Communication and Computing, ARTCom 2009, 2009, 373-375, 10.1109/ARTCom.2009
• Formal Verification of Programs in ADA Language for Flight Software Application, National Conference on Education and Research (ConfER 2009), 2009

Total 21 years of experience in teaching Computer Science & Engineering courses.

12 years of experience in teaching courses for the Master of Technology programme.

Served as the Head of the Computer Science & Engineering department during the period 1st January 2016 to 30th June 2018 managing a team of 45 members.

Published 21 research papers in various international conferences and journals.

Served as the curriculum co-ordinator of Ernakulam I cluster of the APJ Abdul Kalam Technological University for the PG programme in Computer Science.

Served as the UG coordinator of the institution coordinating the academic activities of eight graduate programmes.

Instrumental in organising 8 national and international conferences.

Research guidance in industrial projects.

Guided graduate and undergraduate projects in IoT, Blockchain Technology, Compiler Design and Computer Architecture.

Led the department to get the accreditation of the National Board of Accreditation (NBA) and National Assessment and Accreditation Council (NAAC).

 Devised a five-year plan for the department VISION 2022 and initiated the implementation of the activities.