Skip to content

University of Engineering & Management Jaipur

Eminent Speaker Program by Dr. Madhavan Mukund, Professor and Dean of Studies, Chennai Mathematical Institute, at the UEM Jaipur

UEM JAIPUR ACM STUDENT CHAPTER and Dept. of COMPUTER SCIENCE & ENGINEERING, UEM JAIPUR are organizing an Eminent Speaker Program by Dr. Madhavan Mukund, Professor and Dean of Studies, Chennai Mathematical Institute, at the UEM Jaipur premises on 15th November, 2019 on the topic “Automata and Program Verification”.
Madhavan Mukund studied at IIT Bombay (B.Tech) and Aarhus University (Ph.D.). He has been a faculty member at Chennai Mathematical Institute since 1992, where he is presently the Dean. His main research area is formal verification. He has active collaborations within and outside India and regularly serves on international conference programme committees. He is the President of Indian Association for Research in Computing Science (IARCS). He also served as President of the ACM India Council (1st July 2016 – 30th June 2018). He has been the National Coordinator of the Indian Computing Olympiad since 2002 and was the Executive Director of the International Olympiad in Informatics from 2011 to 2014.

SYNOPSIS:
The finite-state automaton model is a very useful abstraction that allows us to capture essential features of a computational system. The language of temporal logic allows us to make assertions about the executions of such finite-state systems. Typically, these assertions are combinations of safety properties (“nothing bad happens”) and liveness properties (“something good eventually happens”). These temporal requirements can then be checked algorithmically with respect to the given finite-state automaton model of the underlying system. This process is called model-checking.
In this talk, the central ideas involved in model-checking will be introduced. It will be shown how to model a program as a finite-state system, also the language of temporal logic will be introduced and the algorithmic process for verifying assertions in temporal logic will be described.

News & Achievements
At the University of Engineering and Management (UEM), Jaipur, excellence is not just a goal—it is a tradition.
At the University of Engineering and Management (UEM), Jaipur, excellence is not just a goal—it is a tradition. Our students continue to set benchmarks in academic and extracurricular domains, winning accolades at prestigious competitions across the country. This week, UEM Jaipur proudly recognizes the outstanding achievements of its students: Robowar Champions: Yogesh Taparia, Sumit Lamba, and Soham Wadekar secured the 1st prize in Robowar (a battle of self-designed robots) at IIT Ropar. Coding Excellence: Vishnu Singh and Balram Kulhari won the 3rd prize at the Code for Bharat Hackathon, hosted at Microsoft Office, Gurgaon. Multiple Victories Across India: Several UEM Jaipur students, including Tejas Kharkar, Ashish Kumar Jha, Manmohan Singh, Himanshu Jangid, Mayank Sharma, Rajput Yashu, Divyansh Sachdev, and Mohit Raj, achieved significant wins in competitions held at NIT Srinagar, SLIET Punjab, RGIPT UP, and JECRC Jaipur. Campus Placement Success: The university proudly celebrates the placement of its final-year students at Metacube Software as IT Developers, with an impressive starting salary of ₹6.5 LPA. The recruited students include Soumen Pal, Anushree Agarwala, Avinash Kumar Mehta, Aman Sharma, Sourabh Chhipa, Debabrata Maity, Anurag Kumar, Swayam Khatter, Shanu Aaryan, and Gopendu Manna. Leadership in Event Management: Our students successfully volunteered in organizing a Teachers’ Award Program for school educators, further demonstrating their leadership and organizational skills. UEM Jaipur takes immense pride in its students’ achievements and remains committed to fostering a culture of innovation, excellence, and success. Congratulations to all our students for their hard work and dedication! #TopRankedUniversity#uemian#uem#UEMJaipur
Read more
Mar 24, 2025
Award Program, Awards & Achievements, Bharat Hackathon, competitions, UEM Jaipur, University, University Daily News
More
Rankings
2023
In 2023, Govt. of India, Ministry of Education has ranked UEM JAIPUR in 1st position in North-Western India through Institution's Innovation Council.
In 2022, UEM JAIPUR has ranked in 2nd position in entire North-Western India, under the Institutions Innovation Council (IIC) by the Ministry of Education, Govt. of India.
"1st in Rajasthan State 3rd in All India (BCA & MCA Both)"
Award-Best University with quality Education in Jaipur in the Event Global Education Achievement Awards 2023
2022
'GOLD BAND' with A Grade by R World Institution Ranking
'Govt. and Private Institutions- All India Ranks - 32 Top Private Institutions- All India Ranks- 26 1st in Rajasthan and 10th in Entire North India
In 2022, UEM JAIPUR has been ranked as the "Most Promising University" by Atal Ranking of Institutions on Innovation Achievements - ARIIA rankings, the 2nd most prestigious rankings by Ministry of Education, Govt. of India.
2021
Most International Education Pride Award 2022 Trusted University for Innovation, Research and Placements in Rajasthan
2017
NEN (National Entrepreneurship Network) E-Week, 2011-2016
NEN (National Entrepreneurship Network) E-Week, 2016
"Just Careers" Magazine, 2011
NEN (National Entrepreneurship Network) E-Week, 2015
NPTEL program (IIT Kharagpur and IIT Chennai), 2016
IEM - Best Self-financed Engineering Institute in West Bengal, "Picture Perfect" - ABP Group, 2010
Press Releases
More