Dr. Lokanna Kadakolmath
Dr. Lokanna Kadakolmath
Associate Professor, Department of Computer Science & Engineering (AI & ML)
Professional Summary
Dr. Lokanna Kadakolmath is an accomplished academician with a Ph.D. in Computer Science and Engineering, along with M.Tech and B.E. degrees in the same domain. With 18 years of teaching experience and 2 years of industry experience, he has made significant contributions to both research and education. His expertise lies in Artificial Intelligence (AI), Machine Learning (ML), and Computer Science Engineering (CSE). He has published 16+ research articles, covering areas such as formal modeling, railway interlocking systems, goal-oriented modeling, and deep learning applications. He serves as a reviewer for several journals and is a Life Member of ACM.
Academic Qualifications
  • Ph.D. – Computer Science and Engineering – Visvesvaraya Technological University, Belagavi
  • M.Tech – Computer Science and Engineering– Visvesvaraya Technological University, Belagavi
  • B.E. – Information Science and Engineering– Visvesvaraya Technological University, Belagavi
Research Interests & Expertise
  • Artificial Intelligence (AI) & Machine Learning (ML)
  • Formal Methods & Verification
  • Urban Railway Signaling & Interlocking Systems
  • Computer Vision & Deep Learning Applications
  • Software & Requirements Engineering
Selected Publications
  • iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System, ACM Journal of Formal Aspects of Computing, 2024. DOI: link
  • Goal-Oriented Modeling of an Urban Subway Control System Using KAOS, Indonesian Journal of Computer Science, 2023. DOI: link
  • i*-Based Goal-Oriented Modeling and Requirements Specification of an Urban Railway Interlocking System, Journal of Scientific Research, 2022. DOI: link
  • A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System, International Journal of Safety and Security Engineering, 2021. DOI: link
  • Image Mosaicing Based on Homography, International Journal of Computer Science & Information Technology Research Excellence, 2016
  • NCCloud: Reconstructing Data Using Number of Cluster-Clouds Based on Network Coding, ELK Asia Pacific Journals, 2015
  • (Full publication list available on request)
Conference Papers
  • Model-Checking-Based Automated Test Case Generation for Z Formal Specification of an Urban Railway Interlocking System, ICERECT 2022. DOI: 10.1109/ICERECT56837.2022.10060801
  • i*-Based Goal-Oriented Modeling and Requirements Specification of an Urban Railway Interlocking System, ANTIC-2021, Banaras Hindu University, 2021
  • A Survey on Evolution of an Urban Railway Signaling and Control System, ICMCE, Gazi University, Turkey, 2021
  • Modeling and Formal Verification of SMT Rail Interlocking System Using PyNuSMV, RAIT, IIT Dhanbad, 2018. DOI: 10.1109/RAIT.2018.8388983
  • Machine Learning in Augmented Reality for Feature Extraction, ICCSTAR, 2017
Funded Research Projects
  • Machine Learning Scheme in Augmented Reality for Feature Detection, INetFrame Technologies Pvt. Ltd., ₹2,80,000, Completed
  • Human Activity Recognition Using Deep Learning for Dash Cams and Street Surveillance, Karnataka State Council for Science and Technology, ₹5,000, Completed
Awards & Recognitions
  • Achieved NPTEL ELITE Silver Certification in Introduction to Graph Algorithms, demonstrating strong problem-solving and algorithmic analysis skills.
  • Best Presenter Award (ICERECT-2022) – For presenting "Model-Checking-Based Automated Test Case Generation for Z Formal Specification of an Urban Railway Interlocking System" at ICERECT-2022, P.E.S. College of Engineering, Mandya.
  • Best Paper Award (ICERECT-2022) – For "Model-Checking-Based Automated Test Case Generation for Z Formal Specification of an Urban Railway Interlocking System" at ICERECT-2022, P.E.S. College of Engineering, Mandya.
  • Academic Mentor (2019) – Bites-Xcelerator Student Project Awards.
Professional Memberships
  • Association for Computing Machinery (ACM)
  • International Association of Engineers (IAENG)
  • Institute of Electrical and Electronics Engineers (IEEE)
Contact Information