LOKANNA KADAKOLMATH
Also known as: Dr. LOKANNA
Global Academy of Technology, PES Institute of Technology and Management, Visvesvaraya Technological University, Bapuji Institute of Engineering and Technology, Acharya Institute of Technology
0000-0001-8500-9431
About
A distinguished academic professor with an established reputation and strong professional standing in the field of programming and computer science, possessing extensive subject-matter expertise and a strong commitment to academic integrity. The professor demonstrates a proven record of excellence in teaching, research, and scholarly engagement, with a keen interest in developing and contributing to innovative interdisciplinary programs of study. The professor also has strong industry linkages and is committed to fostering academic–industry collaboration, mentoring students and researchers, and contributing to institutional growth and innovation.
Area of Specialization / Interest
Formal Methods, Software Engineering , Requirements Engineering, Data Science, and Artificial Intelligence and Machine Learning
Employment
-
Global Academy of Technology ASSOCIATE PROFESSOR2024 - Present
-
PES Institute of Technology and Management Associate Professor2024 - 2024
-
Acharya Institute of Technology Assistant Professor2021 - 2024
-
Vivekananda Institute of Technology Assistant Professor2013 - 2021
Education
-
Visvesvaraya Technological University Ph.D2017 - 2023
-
Bapuji Institute of Engineering and Technology M.Tech2009 - 2012
-
Ghousia College of Engineering B.E2002 - 2005
-
Government Polytechnic Bijapur karnataka Diploma1997 - 2000
Projects & Funding
Projects & funding information is unavailable.
Publications (10)
- A Critical Study on the Influence of Formal Methods on Software Engineering Methodologies and Practices Save
- Fundamentals of Julia Programming: A Beginner’s Guide Save
- Smart Plant Disease Diagnosis via MERN Stack Interface and PyTorch Deep Learning Models Save
- iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System Save
- Goal-Oriented Modeling of an Urban Subway Control System Using KAOS Save
- Model-Checking-Based Automated Test Case Generation for Z Formal Specification of an Urban Railway Interlocking System Save
- i*-Based Goal-Oriented Modeling and Requirements Specification of an Urban Railway Interlocking System Save
- A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System Save
- Modeling and formal verification of SMT rail interlocking system using PyNuSMV Save
- Machine Learning in Augmented Reality for Features Extraction Save