Formal Methods and Verification of Large Systems, Semantics of Programming Languages
Dr Manish Gaur is a Professor in Computer Science at Institute of Engineering and Technology Lucknow (a constituent college of Dr APJ Abdul Kalam University Lucknow (AKTU)) and is presently working as Director of Center for Advanced Studies, AKTU. His research area can be broadly classified as Formal Methods and Verification of Large Systems; Semantics of Concurrent Programming Languages. His recent work interest includes formal modelling of stochastic behaviour of processes in a distributed network. Prof Gaur is an Honorary Research Fellow of University of Glasgow, UK. Prof Gaur obtained his doctorate degree in computer science from University of Sussex, UK; M.Tech. in Computer Sc. from IIT Delhi and Bachelor in Engineering from NIT, Surat. Prof Gaur’s academic track has been extraordinary throughout. He is a recipient of Commonwealth Academic Fellowship in 2012 and Commonwealth Scholarship in 2005 from the Commonwealth Scholarship Commission UK. Dr Gaur was awarded the Young Scientist Award of Government of Uttar Pradesh in the Year 2003 for his contributions to the academics and research. His M.Tech. Project was awarded best project during the academic year 2001-02 at department of Computer Science and Engineering at IIT Delhi leading to the conferment of prestigious Suresh Chandra Memorial Award. Dr Gaur has 22 research papers to his credit. All his publications are in widely acclaimed journals and conference proceedings. Many consultancy and infrastructure projects from reputed organizations such as Google, Uttar Pradesh Subordinate Service Commission (UPSSC) are in his credit. He has held various academic and administrative positions at the university. He has widely travelled both within India and abroad, primarily in Western Europe and Middle East, for various academic purposes such as invited talks, conferences, short courses and project collaborations. He is working as founder director of newly created institution, Center for Advanced Studies at AKTU since July 2017. The center has come up with state of art laboratories, post graduate academic programs in the field of Cyber Security, Mechtronics and Nano Technology under his leadership.