About the Director

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). His research area can be broadly classified as Formal Methods and Verification of Large Systems; Semantics of Concurrent Programming Languages. His recent work interest include formal modelling of stochastic behaviour of processes in a distributed network. Prof. Gaur is an Honorary Research Fellow of University of Glasgow, UK. He obtained his doctorate degree in computer science from the University of Sussex, UK; M.Tech. in Computer Science from IIT Delhi and Bachelor in Engineering from NIT, Surat(then SV REC, 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 17 research papers to his credit. All his publications are in widely acclaimed journals and conference proceedings. He has held various academic and administrative positions at the university. Currently Dr Gaur is working as Dean of Student Welfare and also holding additional responsibility of Director, Skill Development Institute, Trans Ganga City, Unnao. He has also served as Head of the department of Computer Science & Engineering and Professor In-Charge of Training and Placement Cell at IET, Lucknow. He is 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. In July 2017 Prof Gaur joined as Director, Institute of Advancedd Studies at AKTU, Lucknow.