Girish Chandra

Professor
Department of Computer Science and Engineering
Institute of Engineering and Technology, Lucknow
______________________________________________________________________________

1. Academic Qualification

Ph.D. in Computer Science and Engineering, Dr A.P.J. Abdul Kalam Technical
University, Lucknow, December 2015

Thesis: Formal Development of Trustworthy Electronic Payment Systems

[Link]. in Computer Science & Engineering, Indian Institute of Technology,

Kanpur, March 2002

Thesis : Classification of Modern Block Ciphers

B.E. in Computer Engineering from M.M.M. Engineering College, Gorakhpur, June

1992

2. Work Experience

Professor (AGP 10000), Department of Computer Science & Engineering, Institute
of Engineering & Technology, Lucknow, India (December 08, 2015 till date).

Associate Professor (AGP 9000), Department of Computer Science & Engineering,

Institute of Engineering & Technology, Lucknow, India (January 19, 2009 –
December 07, 2015).

Assistant Professor (AGP 8000), Department of Computer Science & Engineering,

Institute of Engineering & Technology, Lucknow, India (June 19, 2006 – June
June 18, 2009).

Assistant Professor (AGP 7000), Department of Computer Science & Engineering,

Institute of Engineering & Technology, Lucknow, India (January 01, 2006 – June
18, 2006).

Lecturer (Senior Scale), Department of Computer Science & Engineering, Institute

of Engineering & Technology, Lucknow, India (March 14, 2002 – 31.12.2005).

Lecturer, Department of Computer Science & Engineering, Institute of Engineering

& Technology, Lucknow, India (June 19, 1996 – March 13, 2002).

Lecturer, Department of Computer Science & Engg, North Eastern Regional
Institute of Science and Technology, Itanagar (April 30, 1996 – June 13, 1996).

3. Subjects Taught

At Undergraduate ([Link]) Level

Computer Based Numerical Methods, Data Structures using C., Operating System,
Discrete Structures, Performance Evaluation of Computer Systems, Theory of Automata
& Formal Languages, Digital Electronics, Computer Organization, Cryptography &
Network Security, Computer Applications

At Postgraduate (MCA/ M. Tech) level

Computer Based Numerical Techniques (MCA),
Theory of Automata & Formal Languages (MCA),
Cryptography & Network Security (MCA)
Introduction to Computers (M. Tech. Biotechnology),
Foundation of Computer Science (Section C: Theory of Automata)([Link]. (Sequential))
Cryptography & Network Security ([Link]. (Sequential))

4. Publications
1. Girish Chandra, Divakar Yadav. Formal Verification of Basic Timestamping Mechanism
using Event-B. International Journal of Computer Applications (IJCA), Foundation of
Computer science (FCS), vol. 123(8):7-11, 2015.

2. Girish Chandra, Raghuraj Suryavanshi, Divakar Yadav. Formal Verification of

distributed Checkpointing using Event-B. International Journal of Computer Science and
Information Technology (IJCSIT), Foundation of Computer science (FCS), vol. 7(5), 59-
73, 2015.

3. S. Kumar, G. Chandra, D. Yadav. Formal Verification of Security Protocol with B

Method. In: Proceeding of International Conference on Computer and Communication
Technology (ICCCT-2014), IEEE, 161-167, 2014, [Link]
ISBN: 978-1-4799-6757-5

4. Girish Chandra, Divakar Yadav. Verification of Money Atomicity in Digital Cash based
Payment Systems. In: [Link], D. Goswami (eds) ICISS 2012, Information
System Security, Lecture Notes in Computer Science, vol. 7671, Springer, 249-264, 2012,
ISBN : 978-3-642-35129-7

5. Girish Chandra, Divakar Yadav. Analyzing Data Flow in Trustworthy Electronic

Payment Systems using Event-B. In: Andres F., Kannan R.(eds), ICDEM 2010. Lecture
Notes in Computer Science (LNCS), vol. 6411, 325-332, Springer Verlag, Germany,
2012, ISBN: 978-3-642-27871-6

6. Yadav D.S., Agrawal R., Chandra G., Sarswat R.C. An approach to reduce resource
contention while scheduling time constrained long running activity in Active Database
 System, 5th International Workshop on Computer & Information Technologies, CSIT
2003, 16-18 Sept 2003, Ufa, Russia. Proceeding, Vol 1, pp 162-166, ISBN : 5-86911-
420-9

7. Agrawal, S., Mishra, B.N., Yadav, D.S., Chandra,G. et al. Recent trends in drug design:
A bioinformatics approach, 5th International Workshop on computer & Information
Technologies, CSIT 2003, 16-18 Sept 2003, Ufa, Russia. Proceedings, Vol 1, pp 49-53.
ISBN : 5-86911-420-9

8. Girish Chandra, Divakar Yadav. Formal Verification of Money Atomicity in Notational

electronic Payment Systems, (Communicated)

9. National
Kumar S., Suryavanshi R.S., Chandra G. Formal Methods: Techniques and Languages
for Software Development, International Journal of Engineering science and Advance
Research, 1(1): 35-42 2015, ISSN : 2395-0730, Rama Journals & Publications, India

5. Book

Yadav D S, Chandra G, Chalamaiah N, Information Technology And Numerical

Methods, New Age International Pvt Ltd, pp 384, ISBN: 978-81-224-1423-3

6. Seminar / Workshop Attended

1. Attended Seminar on Youth & the Global Network , Advances in computer software and
computer network applications organized by I.E.T. Lucknow and CSI Student Chapter,
Lucknow (12.04.1997)
2. Attended Seminar on R&D activities Organized by I.E.T. Lucknow (20.06.2002)
3. Attended FSTTCS’2003 Foundation of Software Technology and Theoratical Computer
Science organized by I.I.T. Mumbai. (15.1.2.2003 to 17.12.2003)
4. Attended Workshop on DB2, Web Technologies & Software Development Concepts
organized by I.E.T. Lucknow and IBM India. (11.12.2006 to 12.12.2006)
5. Attended Workshop on Recent trends in Bioinformatics organized by A.C.S. Lucknow
(29.04.2007)
6. Attended Workshop on VLSI Design Tool organized by I.E.T. Lucknow ( 17.11.2007 to
18.11.2007)
7. Attended Workshop on practicals on MATLAB for [Link] Courses organized by I.E.T.
Lucknow (08.04.2008 to 10.04.2008)
8. Attended Workshop on Microsoft .NET organized by UPTU Lucknow and Microsoft
(21.01.2008 to 25.01.2008)
9. Training on Campus Wide Networking organized by IET Lucknow and Spanco Ltd
(March 15-23, 2009)
 10. Attended a National Workshop on “Industry Academia Interaction for Innovation and
Quality Technical Education: A Path Forward for 2020” organized by IET, Lucknow
(September 04, 2013)
11. Attended a National Workshop on “Industry Academia Interaction on Frugal
Engineering” organized by IET Lucknow (October 26, 2013)
12. Attended Workshop on “Energy efficiency; oil conservation” organized by IET,
Lucknow (March 18, 2015)
13. Attended Faculty Development program on “Formal Methods and Verification of Large
systems” organized by IET, Lucknow (December 29-30, 2015)

7. Referesher Course / Short Term Course/ Faculty Development Program

• Attended Short Term Course on Restructuring and Financing of Power sector organized
by I.I.T. Kanpur ( 26.12.01 to 31.12.2001)
• Faculty Development Program on Research Methodology (30.03.2009 to 28.04.2009)
• Faculty Development Program on Probability and Statistical Tools for Researchers.
(30.03.2009 to 28.04.2009)
• AICTE recognized Short Term Course on “Cyber crime and forensic tools through ICT”
organized by NITTTR, Chandigarh at IET Lucknow (January 27-31, 2014)

• Attended Refresher Workshop on “Good Governance” organized by SPIU Unit-UP

under TEQIP-III, IET, Lucknow (February 01, 2019)

8. Professional Activities
Got opportunity to serve as follows at Institute / Department Level as assigned from time
to time

A. Academic Activities

• Have served as Member, Board of Studies, Department of Computer Science, IET,

Lucknow affiliated to Lucknow University.

• Have served as Member, Core Group of Computer Science & Information

Technology, under the supervision of Hon’ble Vice Chancellor, UP Technical
University, Lucknow.

• Have served as External Examiner with Allahabad University, Bundelkhand

University, R.M.L. University, Faizabad, Kanpur University, Purvanchal University,
Jaunpur, C.C.S. University Meerut, University of Lucknow, Lucknow, BRA
University, Agra, Amity University, Lucknow and U P Technical University,
Lucknow
 • Head / Deputy Head Examiner, Computer Science and Information Technology in
central evaluation of U. P. Technical University, Lucknow

• Have served as Member, Board of Studies, of Course Curriculum & Syllabus writing
committee for [Link] (Computer Sc. & Engg.) and [Link] (Information Technology)
of U P Technical University, Lucknow, Member, Board of studies, KNIT Sultanpur

• Have worked as Counselor for MCA Program of IGNOU being run at IET, Lucknow
study Centre.

• Subject Expert, Uttar Pradesh Police recruitment and promotion Board, 2014

• Organized NPTEL workshop at U.P.T.U Lucknow for faculty members of affiliated

colleges

• Coordinated establishment of the NPTEL Local Chapters at 35 Institutes affiliated to

AKTU, Lucknow

• Coordinating Faculty Development Programs of AKTU (53 for the session 2015-16)
being conducted at affiliated Institutes

• Coordinated the development of Question Bank Portal for AKTU Lucknow

B. Other Activities

Have served in various capacities at IET Lucknow from time to time.

• Hostel Warden for more than 07 years
• Incharge, Training and Placement for approx 10 months
• Deputy Dean, Academics
• Member, Proctorial Board
• Departmental Undergraduate Project Coordinator
• Incharge, Computing Lab, CSE Deptt. for more than 08 years.
• Incharge, Counselling Hall, UPTU counseling.
• Incharge, Security
• Incharge, Time-Table, CSE Department
• Incharge, Scholarship
• Incharge, Library automation project under MODROBS
• Member, Committee for Branch Change
• Member, Admission Committee for [Link]. (Biotechnology) and [Link].
(Environmental Engg)
• Worked in confidential work of UPTU, Luck now from time to time
• Worked as member of the committee for recruitment of Guest Faculties
• Worked as Assistant Centre Superintendent at I.E.T Lucknow for G.B.T.U.
Examination
• Worked as Nodal Officer at IET, Lucknow for UP State Entrance Examination
• Worked as Deputy Controller of examination at IET Lucknow
 • Worked as Incharge, Security at IET Lucknow
• Worked as Member, House Allotment Committee
• Working as Associate Dean, Undergraduate Studies and Entrepreneurship, AKTU,
Lucknow
• Worked as Coordinator, Monitoring Committee for ERP Implementation, IET,
Lucknow
• Worked as Member, Branch Change Committee
• Worked as Deputy Coordinator, UPSEE-2014
• Worked as Deputy Coordinator, UPSEE-2016
• Worked as Member of Coordination team for UPSEE-2015 Counseling
• Worked as Member, Coordination Committee, [Link] Counseling, 2012, UPTU,
Lucknow
• Worked as Member, Coordination Committee, PhD Entrance Examination, 2013
• Worked as Member, Coordination Committee, [Link]. Counseling, 2013, UPTU,
Lucknow
• Worked as Dy Controller of Examination, I.E.T. Lucknow
• Working as Controller of Examination, I.E.T. Lucknow
• Working as Dean Research and Consultancy, I.E.T. Lucknow
• Working as memebr, TEQIP-III Project at IET Lucknow

10. Ph. D. Thesis Supervision

Completed : NIL
In progress : 03

11. [Link] Thesis Supervised

Completed : 05

(i) Abhishek Singhal

Title: Design and Implementation of Thinning Algorithm for Object Recognition
Awarded: 2006 (UPTU, Lucknow)

(ii) Meena Verma 8805210021,

Title : Distribution of Messages by Mutual Exclusion Lamport’s Algorithm using
Event–B
Awarded: 2013 (UPTU, Lucknow)

(iii) Subodh Kumar, Roll No:8805210005

Title: Rigorous Analysis of Security Protocol
Awarded: 2014 (UPTU, Lucknow)

(iv) Natthan Singh, Roll No :8805210029

Title: A study of Rollback Recovery in Message Passing System and Modelling of
Asynchronous Check pointing Algorithm using ProB.
Awarded : 2014 (UPTU, Lucknow)

(v) Sunil Kumar Vishwakarma Roll no.:8805210022

 Title: Performance analysis of lane detection methods
Awarded:2014 (UPTU, Lucknow)

10. Other Information

1. Received Ist Position in Computer Engineering during undergraduate studies (B.E.) at
M.M.M. Engineering College, Gorakhpur.
2. Received Junior Research Fellow (JRF) at Department of Electronics Engineering,
Institute of Technology, B.H.U, Varanasi (Sept 1993 to April 1996)
3. Invited Lecture on Formal Development of Money Atomicity in Digital Cash based EPS:
A Case study at a National Seminar at BSA College Mathura Sept 30, 2012
4. Invited Lecture on Formal Development of Electronic Payment System using Event-B at
a National Conference organized by Amrapali Group of Institutions, Haldwani, March
05, 2011

11. Personal Information

Residence : Type IV B-3/203, IET Campus, Sitapur Road, Lucknow
Phone : +91-9415468176
E-Mail : [Link]@[Link]
(Girish Chandra)