Professor
Department of Computer Science & Engineering
Motilal Nehru National Institute of Technology Allahabad, Prayagraj, India-211004
E-mail: dky[at]mnnit[dot]ac[dot]in
Telephone: 9820839705(O) 983932380(M)
NMEICT-2014 during 29-08-2014 to 30-08-2014 in MNNIT Allahabad, Prayagraj
Enhancing Skill for Enterprise Scale Application
Development ((ES)2AD)-2016 during 20-06-2016 to 2-07-2016 in MNNIT Allahabad, Prayagraj
Enhancing Skill for Enterprise Scale Application
Development ((ES)2AD)-2017 during 09-06-2017 to 06-07-2017 in MNNIT Allahabad, Prayagraj
Enhancing Skill for Enterprise Scale Application Development ((ES)2AD)-2018 during 07-06-2018 to 04-07-2018 in MNNIT Allahabad, Prayagraj
Enhancing Skill for Enterprise Scale Application Development ((ES)2AD)-2019 during 07-06-2019 to 04-07-2019 in MNNIT Allahabad, Prayagraj
Expert Lectures:
Reusable Software Development using Object Oriented Principles during 27-03-2017 to 27-03-2017 in CSED MMMUT Gorakhpur, India
Architecture Modelling Through Pi- Calculus during 29-09-2016
to 29-09-2016 in CSED, Dr. BATU Lonere, Maharashtra, India
Why Object Oriented System Development during 29-08-2016
to 29-08-2016 in CSED, VBSPU Jaunpur, India
Other Significant Achievements:
Selection of Guest Faculty as a Subject Expert / O.B.C. during 21-07-2016
to 23-07-2016 in CSED, BIETJhansi, U.P.
Selection of Guest Faculty/ Lecturers during 19-01-2016
to 19-01-2016 in CSED/GEC Banda U.P.
3rd Workshop on “Formal Methods in Safety Critical and Industrial
Applications”, held at IIT, Bombay, 16 -18 June, 2005.
“Formal Methods Update”, held at IIT, Bombay, 18- 22 July, 2005.
First Indian Winter School on “Logic and its relationship with Other disciplines”, held at IIT, Bombay, 3 -18 January, 2006.
Faculty Development Program on “Wireless and Mobile Communication” , held at MNNIT Allahabad, 30 June - 12 July, 2008.
Faculty Development Program on “ Issues and Design of Distributed System and Its Applications” held at MNNIT Allahabad, 27 January – 07 February, 2009
TECS Week 2010 on “Formal methods in software, testing and debugging”, held at TRDDC, Pune, 4-8 January, 2010.
IEEE 2nd International Advance Computing Conference (IACC 2010)” held at Thapar University, Patiala, India, 19-20 Feb 2010.
International Conference on “Advances in Distributed and Parallel Computing”, held at Singapore, 1-2 November, 2010,
International conference on Software Engineering (ICSE2014) held at
Hyderabad, 31 May -07 June 2014.
Workshop-POSOS held at Hyderabad on 31 May, 2014.
Workshop-TwinPeaks held at Hyderabad on 1 June, 2014.
Workshop-MiSE held at Hyderabad on 2-3 June, 2014.
Workshop-FormaliSE held at Hyderabad on 3 June, 2014.
7th International Conference on “Software Technology and Engineering
(ICSTE2015)” held at Kowloon City, Hong Kong, 19-20 September 2015
7th International Workshop on Computer Science and Engineering (WCSE 2017) (ISBN) 2017