Academic Profile
Prof. (Dr.) K. R. Chowdhary has devoted more than four decades to higher education, research, and academic leadership in Computer Science. His professional career spans teaching, research, academic administration, curriculum development, faculty mentoring, and institution building.
His academic interests include Artificial Intelligence, Theory of Computation, Natural Language Processing, Distributed Algorithms, Compiler Design, Operating Systems, and Computer Science Education. He has authored internationally published textbooks and continues to contribute to engineering education through books, online learning resources, invited lectures, and academic consultancy.
Academic Contributions
- More than four decades of teaching, research, and academic administration.
- Author of internationally published books in Artificial Intelligence and Computer Science.
- Research publications in journals, conferences, and edited volumes.
- Supervision of doctoral research scholars leading to awarded Ph.D. degrees.
- Curriculum design, programme development, and academic quality assurance.
- Invited lectures, keynote addresses, Faculty Development Programmes, and workshops.
- Academic leadership in universities and engineering institutions.
Explore My Academic Work
- Courses Taught
- Ph.D. Supervision
- Research Publications
- Professional Experience
- Research & Development Projects
- Academic Qualifications & Honours
Complete publication records, citation metrics, and academic profiles are available through the scholarly profile links provided on the homepage.
Selected Citations in Wikipedia
The following references illustrate citations of my published books in Wikipedia articles, reflecting their educational and scholarly use.
- Fundamentals of Discrete Mathematical Structures (PHI Learning, 2015) View Citation
- Fundamentals of Artificial Intelligence (Springer Nature, 2020) Mind
- Fundamentals of Artificial Intelligence Propositional Logic
- Fundamentals of Artificial Intelligence Glossary of Logic
- Theory of Computation: Automata, Formal Languages, Computation and Complexity (Springer Nature, 2025) Automated Theorem Proving