Yogesh Rathia

Prof. Yogesh Rathia is a faculty member in the area of Computer Science with expertise in formal verification, backend systems, and full-stack web development. He holds an M.Tech in Computer Science and Engineering from IIT Ropar. His academic interests focus on ensuring the correctness and reliability of software systems using formal methods.

Prof. Yogesh has worked on the verification of concurrent and distributed systems using model checking tools such as SPIN, along with the design and development of scalable real-time web applications and database-driven platforms. He actively integrates research-oriented thinking, problem-solving, and practical system design into his teaching methodology, enabling students to connect theoretical foundations with real-world software systems.

Prof. Yogesh Rathia has academic and technical experience in computer science, with expertise spanning software verification, backend systems, and full-stack web development. He has worked on the verification of concurrent and distributed systems using model checking tools such as SPIN.

In addition, he has experience designing and developing scalable real-time web applications and database-driven platforms. His combined academic and technical background enables him to bring both theoretical and practical perspectives into the classroom.

Formal Verification | Model Checking | Concurrent Systems | Distributed Systems | Backend Systems | Full-Stack Web Development | Software Reliability

Prof. Yogesh believes that conceptual clarity and logical reasoning are the foundations of computer science education. His teaching approach emphasizes core principles through hands-on coding, system modeling, and real-world examples.

He encourages students to bridge theory and practice by applying concepts to practical problems. By fostering an interactive and application-oriented learning environment, he aims to develop analytical skills, technical confidence, and curiosity among students.

Object-Oriented Analysis and Design | Competitive Programming

Prof. Yogesh Rathia is engaged in scholarly activities in the areas of formal verification, concurrent systems, and software correctness. His academic work focuses on ensuring the reliability of software systems using formal methods and model checking tools.

He also contributes to technical education by integrating practical system design, coding practices, and problem-solving approaches into student learning and mentoring.

Email: yogesh.rathia@ddn.upes.ac.in