Prof. D. S. Yadav
Director Prof. D. S. Yadav joined as First Director of Government Engineering College, Banda on 21 January 2015. Before taking this assignment, he was Pro. Vice Chancellor of Dr. A.P.J. Abdul Kalam Technical University, U.P., Lucknow during March 2013- Nov 2014. Earlier, 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 the Department of Computer Science at Faculty of Mathematics and Computer Science (2011-2013). Prof. Divakar Singh Yadav is Professor of Computer Science at Institute of Engineering and Technology, Lucknow.
Prof. Yadav obtained Ph.D. in Computer Science from University of Southampton, U.K under Commonwealth Scholarship & Fellowship Plan, U.K. Earlier, he obtained M.Tech in Computer Science from Indian Institute of Technology, Kharagpur and B.Tech in Computer Science from G.B. Pant University, Pantnagar. Dr. Yadav possesses more than 25 years of experience in academics/research in India and Abroad. He served as Head of the Department of Computer Science and Engineering at IET Lucknow for two terms (2002-2004,2010-2011), Head of the Training and Placement Cell of IET Lucknow (2008-2011), Asstt. Dean of Student Welfare at South Asian University (2011-2013) and Chairperson of Department of Computer Science, South Asian University (2012-2013). He was member of Academic Council of South Asian University, member of Board of Studies of Computer Science, University Admission Committee at South Asian University, New Delhi, member of BOS/RDC at APJAKTU Lucknow and other state universities. Besides serving as member of several expert committees of Dr. A.P.J. Abdul Kalam Technical University, U.P., 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. During 2004-2007, he worked with renowned computer scientist Professor Michael Butler at University of Southampton, U.K., where he worked on technologies for construction of formal models of business critical software systems and discovery of invariant properties to reason about their behavior. He has also contributed to European Union funded IST project RODIN (2004-2007), a joint research project of leading European universities and industrial partners located in U.K, Germany, France and Finland. He also participated in World Wide Grand Challenge on Dependable Systems Evolution (GC6) instituted by the UK Computing Research Council (UKCRC), Engineering and Physical Research Council (EPSRC) and British Computer Society during 2006-2008. This challenge was to achieve a significant body of verified programs that have precise specifications and machine-checked proofs of correctness. After a series of meetings of various international research groups held at Abingdon, Oxford and University of York, the experience of various groups was published in a special issue of prestigious computer science journal ‘Formal Aspects of Computing’, jointly published by British Computer Society and Springer-Verlag in 2008.
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. He has delivered many lectures/key note address in India and abroad; organized and contributed to several Faculty Development Programs and training programs for student, teachers and officers of the government organizations. As a technologist/engineer, he is interested in the application of Information Technology for e-governance; IT enabled services especially in the education sector.
He has been conferred with ‘Young Scientist Award’ of the Government of Uttar Pradesh in 2003, British Government ‘Commonwealth Scholarship Award’ in 2004, and a ‘Distinguished Author Award’ of FEPI at India Education Conference, New Delhi in 2008.
He has visited many universities and organizations in Europe and Far East. He has visited Australia, Belgium, France, Germany, Italy, Malaysia, Netherlands, Poland, Russia, Sri Lanka, Switzerland and United Kingdom.