Prof. Divakar Singh Yadav: is Professor of Computer Science at Institute of Engineering and Technology, Lucknow. He obtained B.Tech in Computer Science& Engineering, M.Tech in Computer Science from IIT, Kharagpur and Ph.D from University of Southampton, U.K. Before joining Gautam Buddh Technical University, Lucknow as Pro-Vice Chancellor, he was at South Asian University, New Delhi, an international university established by South Asian Association for Regional Cooperation (SAARC) nations, where he was Chairperson of Department of Computer Science at Faculty of Mathematics and Computer Science.
Dr. Yadav possesses more than 20 years of experience in academics/research in India and Abroad. Besides serving as member of several expert committees of U. P. Technical University, Lucknow, AICTE, New Delhi and Govt. of Uttar Pradesh, he also served as member of Advisory Boards, Technical Program Committees and reviewer for several international conferences /workshops /journals. He has long standing academic interests in database systems and distributed computing. His primary research interests are in formal methods, refinement of distributed systems using Event-B, verification of critical properties of business critical systems and reasoning about distributed database systems. He has also participated in prestigious Daghtuhl seminar at Schloss Dagstuhl-Leibniz Center for Informatics, Germany in 2006, in addition to invitation at Commonwealth Scholarship Commission, U.K. seminar held at the University of the West England, Bristol in 2007. Dr. Yadav is author of four (04) books in the area of computers and information technology including best seller ‘Foundations of Information Technology’ published in 2001. His research contributions in the area of computer science and information technologies appeared in the international journals and refereed conference proceedings published by Springer-Verlag, Elsevier and IEEE.