[email protected] Admission Helpline - 8010700500 / 9887313330

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 and Achievements


Virtual Global Artificial Intelligence Conference conducted by UEM Jaipur
Upasana Chakraborty | 2020-09-12 21:23:53


congratulations to Tanmoy Karmakar, 2nd year B.Tech CSE student of UEM Jaipur for having acquired internship offer as flutter developer from Ivypods Technology Pvt. Ltd.
Upasana Chakraborty | 2020-06-20 22:27:46


Panel Discussion organized by the University of Engineering & Management (UEM), Jaipur* amongst the Directors/Principals of different schools of Rajasthan on 22nd June 2020
Upasana Chakraborty | 2020-06-20 22:25:39


congratulations to Bhagwan Singh, 1st year MBA student (passing to 2nd year now) of UEM Jaipur for having acquired job offer from Shriram City Group.
Upasana Chakraborty | 2020-06-17 20:51:59


Press Releases


News published in Rajasthan Patrika dated 5th July, 2020 regarding Ph.D program at the UEM Jaipur



News releases in leading newspapers of Rajasthan regarding UEM Jaipur being awarded 1 out of 12 leading institutes of the country (1st in Rajasthan) with the E-Lead Certificate for providing online learning by QS – the most prestigious award on globe



Press Release in Dainik Bhaskar regarding complete online continuation of classes, laboratories and exams at the UEM Jaipur



Dr. Satyajit Chakrabarti featured in The Bengal Post



Rankings


World champion by developing a gaming console (Amantron Gaming console)

IEEE Maker project, IEEE, USA – 2016


Champion East

NEN (National Entrepreneurship Network) E-Week, 2011-2016


Champions Runner-up Award, West

NEN (National Entrepreneurship Network) E-Week, 2016


Rated Silver A+++ Business School

“Just Careers” Magazine, 2011


Best Debutant Award, West

NEN (National Entrepreneurship Network) E-Week, 2015


3rd amongst all Government & Private Colleges in West Bengal

The Telegraph, 2009


One amonst the two finalists from India by dreveloping their own innovative Car

International BAJA SAE Motosports Competition


Outstanding Engineering Institute in Eastern India

Star News, 2011


1st amongst all students of India including all IITs and NITs

NPTEL program (IIT Kharagpur and IIT Chennai), 2016


Calendar


Contact Us

We'll get back to you soon.


X
Get in Touch