RAMA KANT

Address
Research cum Teaching Fellow
(World Bank Research cum Teaching Fellowship)
Department of Computer Science and Engineering
Institute of Engineering and Technology , Lucknow, India
(A constituent College of Dr.A.P.J.Abdul Kalam Technical University,Lucknow )
E-mail: [email protected]
+91 9411044600 (M)

Research Area Formal methods and verification of large systems, Semantics of programming languages.

Objective As an experienced teacher, I would like to devise captivating, fascinating, and unique
practices of teaching that creates interest in the students. With the help of my cordial
nature, I would like to build good rapport with students as well as teachers around me.

Education 1. Ph.D. in Computer Science and Engineering

(pursuing with World Bank Research cum Teaching Fellowship)
Institute of Engineering and Technology , Lucknow, India
(A constituent College of Dr.A.P.J.Abdul Kalam Technical University,Lucknow )
Supervisor: Prof. Manish Gaur
2. M. Tech. in Computer Science and Engineering
Institute of Engineering and Technology , Lucknow, India
(A constituent College of Uttar Pradesh Technical University,Lucknow,India)
Date of Graduation: 24 July 2012.
CGPA: 7.6
Thesis Title: DR F : A Fault Tolerant Distributed Routing Calculi
Supervisor: Dr. Manish Gaur
3. B. Tech. in Computer Science and Engineering
U.P.Ttechnical University Lucknow, India
Date of Graduation: July 2004
Division and Percentage Marks: First, 69.46

Experience 1. Institute of Engineering and Technology,Lucknow

(A constituent College of Dr.A.P.J.Abdul Kalam Technical University,Lucknow )
Department of Computer Science and Engineering
Research cum Teaching Fellow August 2013 - till date
Duties: Taking classes for undergraduate computer science students
Courses: Data Structure using C, Theory of Automata and Formal Languages,
Concurrent Systems
2. Anand Engineering College, Agra
Department of Computer Science and Engineering
Asstt. Professor 01.06.2010 - August 2013
Lecturer 15th Jan 2008 - 31st May 2010
Duties: Taking classes for undergraduate computer science students
Courses: Computer Concepts and Programming in C, Compiler ,Software Project
Management, Object Oriented System, Web Technology
Other Duties: Departmental Library Incharge,Subject Co-ordinator for Com-
puter Concepts and Programming in C (ECS-101/201).

i
 3. G.L.A. Institute of Technology and Management, Mathura
Department of Computer Science and Engineering
Lecturer March 2006 - Jan 2008
Duties: Taking classes for undergraduate computer science/MCA students
Courses: Data Structure, Automata Theory, Web Technology
Other Duties: Final Year Project Co-ordinator.
4. Kalicharan Nigam Institute of Technology, Banda
Department of Computer Science and Engineering
Lecturer March 2005 - March 2006
Duties: Taking classes for undergraduate computer science students
Courses: Design and Analysis of Algorithms, Computer Networks,Data Struc-
ture, Automata Theory, Distributed Systems.
5. F.E.T. Agra College, Agra
Department of Computer Science and Engineering
Guest Lecturer August 2004 - Feb 2005
Duties: Taking classes for undergraduate computer science students
Courses: Data Compression, Computer Networks.

Short Term
Course/Conferences
Faculty Coordinated/Convened
Development
Program(s) 1. Institute of Engineering and Technology, Lucknow, India
Organised a Faculty Development Program as a Coordinator
Title: ASP.NET fully sponsored by NITTTR, Chandigarh
Duration and Date: One Week,May 23-27 ,2016.
2. Institute of Engineering and Technology, Lucknow, India
Organised a Faculty Development Program as a Co-Convener
Title: Formal Methods and Verification of Large Systems
Duration and Date: 2 Day,December 28-29 ,2015.
3. Institute of Engineering and Technology, Lucknow, India
Organised a Faculty Development Program as a Co-Coordinator
Title: Nano Particles and its Applications
Duration and Date: 1 Day,April 29 ,2015.
4. Anand Engineering College, Agra
Short term course by Prof S. Arun Kumar, IIT Delhi and Dr. Manish Gaur
Title: Research Dimensions in Formal Methods
Duration and Date: 3 Days , March 11-13, 2011

Attended/Participated
1. IIT Kanpur, India
Short Term Course
Title: TEQIP Short Term Course on Research Skills and Methods
Duration and Date: 3 Day,February 19 to 21, 2016.
2. KIIT University, Bhubaneswar, Odisha, India
International Conference
Title: 11th International Conference on Distributed Computing and Internet
Technology (ICDCIT 2015)
Duration and Date: 4 Day,February 5 to 8 ,2015.

ii
 3. NITK Surathkal, Mangalore,India
International Conference
Title: 3rd International Conference on Eco-friendly Computing and Communi-
cation Systems (ICECCS 2014)
Duration and Date: 4 Day,December 18 to 21, 2014.
4. IIT Guwahati, India
International Conference
Title: IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science(FSTTCS-2013)
Duration and Date: 3 Day,December 12 to 14, 2013.
5. IIT Guwahati, India
International Workshop
Title: Breakthroughs in Theoretical Computer Science
Duration and Date: 2 Day, December 10 to 11, 2013.
6. Institute of Engineering and Technology, UPTU , Lucknow
National Workshop
Title:Industry Academia Interaction on Frugal Engineering
Duration and Date: 1 Day, October 26, 2013
7. AKWL in collaboration with U.P.Government of I.T.&E and S& T,Lucknow
Annual Convention 2013
Title:Transformation Through IT and Biotechnology Infusion
Duration and Date: 1 Day, October 19, 2013
8. Institute of Engineering and Technology, UPTU , Lucknow
National Workshop
Title: Industry Academia Interaction for Innovation and Quality Technical Edu-
cation: A Path Forward for 2020
Duration and Date: 1 Day, September 4, 2013
9. Anand Engineering College, Agra
Short term course by Prof S. Arun Kumar, IIT Delhi and Dr. Manish Gaur
Title: Research Dimensions in Formal Methods
Duration and Date: 3 Days , March 11-13, 2011
10. Institute of Engineering and Technology, UPTU , Lucknow
Faculty Devlopment Program
Title: Microsoft Faculty Devlopment Program
Duration and Date: 1 Day, June 09, 2009
11. Atal Bihari Vajpayee Indian Institute of Information Technology and
management, Gwalior
MHRD/AICTE sponsored short term training programme
Title: Multi-Objective Optimization Using Evolutionary algorithm (MOEA-08)
Duration and Date: 1 week, December 1-5, 2008

Project(s)/ 1. Uttar Pradesh Subordinate Service Commision,Lucknow

Consultancy Typing Test Software: This software was developed for conduction of online
typing test for around 20,000 candidates across three different centres over a
span of approximately 12 days. The software was planned, designed, tested and
executed successfully.
The consultancy project was worth Rs 3,80,000=00.
Duration : August-September, 2015.
2. Department of Technical Education, Government of Uttar Pradesh
SEEdS(Skill Development for Export of Educational Services): This

iii
 project was submitted for skill development of qualified manpower for export of
educational services.
The project has been approved for its implementation in August 2016.

Publication

Papers
1. Rama Kant and Manish Gaur. Article: A Stochastic Extension of the Rout-
ing Calculi. International Conference on Distributed Computing and Internet
Technology ICDCIT 2015(1):13-17, January 2015.
2. Manish Gaur and Rama Kant. A survey on process algebraic stochastic mod-
elling of large distributed systems for its performance analysis, in IEEE Xplore
,3rd International Conference on Eco-friendly Computing and Communication
Systems (ICECCS), 2014 , Dec 2014, pp. 206-211.
3. Manish Gaur and Rama Kant. Article: DR F : A Fault Tolerant Distributed
Routing Calculi. International Journal of Computer Applications 40(7):1-7, Febru-
ary 2012. Published by Foundation of Computer Science, New York, USA.

Thesis
1. M.Tech. Thesis: DR F : A Fault Tolerant Distributed Routing Calculi, Depart-
ment of Computer Science and Engg., Institute of Engineering and Technology
Lucknow, July 2012.

Personal Details 1. Fathers Name Raj Vir Singh

2. Date of Birth 15th Jan 1983
3. Address for correspondence 209, Surya Lok Colony,Khandari, Agra

References 1. Prof. Manish Gaur, Head, Department of computer Science and Engineering
Institute of Engineering and Technology
Lucknow
E-mail: [email protected]
2. Prof. S.P.Tripathi, Department of computer Science and Engineering
Institute of Engineering and Technology
Lucknow
E-mail: [email protected]
3. Dr. Vinay Kumar Singh, Head, CS/IT Department
Anand Engineering College
Agra
Mob:-09719401395
4. Dr. J.S.Yadav, Dean(Faculty)
Anand Engineering College
Agra
Mob:-09927082620

iv