Principal Project Coordinator

Prof. Manish Gaur, Director at Centre for Advanced Studies Lucknow

Phone: +91 9415039258(M)

Research Area: Formal methods and verification of systems, Semantics of programming lan- guages.

Research Statement: Pdf

Fellowship: Commonwealth-UK: Post Doctoral Academic Fellow Department of Computing Science University of Glasgow, UK
Fellowship Duration: October 2012-January 2013
Supervisor: Dr Simon Gay

Education :
1. PhD in Computer Science Department of Informatics University of Sussex, UK
Award Date: December 2008
Thesis Title: A routing calculus: towards formalising the cost of compu- tation in a distributed computer network
Supervisor: Prof Matthew Hennessy and Dr Ian Mackie

2. M. Tech. in Computer Science and Engineering Department of Computer Science and Engineering Indian Institute of Technology Delhi (IIT Delhi), New Delhi, India
Date of Graduation: December 2001
Thesis Title: Deciding efficiency prebisimulation
Supervisor: Prof S. Arun-Kumar

3. B.E. in Computer Engineering Department of Computer Engineering S.V. Regional College of Engg. and Tech. Surat, India (Now S.V. National Institute of Technology Surat, India)
Date of Graduation: August 1992

1. A routing Calculi with Flooding Updates, Manish Gaur, Simon J Gay and Ian Mackie, 11th International Conference of Distributed Computing and Internet technologies (ICDCIT 2015),Bhubneshwar, India (Proceedings). Lecture Notes in Computer Science, Volume 8956, pp 181-186.
2. A Comparative analysis of NOC over MVG to improve quality of soft- ware,Dharmendra Lal Gupta, Anil Kumar Malviya, Manish Gaur and Vikash Chauhan,i-managers journal on software engineering, Vol 10, No 1, July-September 2015.
3. On E ciency Preorders, Manish Gaur and S Arun-Kumar, 5th IPM In- ternational Conference on Fundamentals of Software Engineering (FSEN 2013)(Post Proceeddings, Revised), Lecture Notes in Computer Science, Volume 8161, pp 1-12,2013, Arbab Farhad, Sirjani Marjan (Eds).
4. On E ciency Preorders, Manish Gaur and S Arun-Kumar, 5th IPM In- ternational Conference on Fundamentals of Software Engineering (FSEN 2013)(Pre Proceedings),24-26th April 2013, Tehran, Iran.
5. DR! F : A Fault Tolerant Distributed Routing Calculi, International Journal of Computer Applications, Manish Gaur and Rama Kant, Volume 40(7),pp 1-7, 2012.
6. Counting the cost in the picalculus (An extended abstract), Electronics Notes of Theoretical Computer Science, Manish Gaur and Matthew Hen- nessy, Volume 229(3), pp 117-129, 2009.
7. A Survey On Process Algebraic Stochastic Modeling of Large Distributed Systems for its Performance Analysis (Survey Paper), Manish Gaur and Rama Kant, 3rd International Conference on Eco Friendly Computing and Communication Systems (ICECCS 2014), NIT Surathkal, India. Proceed- ings in IEEE Xplore Pages 206 - 211, DOI:10.1109/Eco-friendly.2014.49.
8. Formal Methods in Adoption of Industrial Automation, Manish Gaur, Seminar on Challenges in Adoption of Industrial Automation: An Indian Perspective on 10th August 2011 at Gautam Buddh Technical University, Noida Campus, Noida (Sponsored by Rockwell Noida).
9. Distance Based Angular Multicast Routing Protocol for Mobile Ad Hoc Networks (DA-MRP), Mumtaz N,Parul Yadav and Manish Gaur, Fifth International Conference on Communication Systems and Network Tech- nologies (CSNT), 2015, IEEE Xplore proceedings, Pages: 253 - 257, DOI: 10.1109/CSNT.2015.231.
10. A routing calculus for distributed computing, Manish Gaur, Pro- ceedings of Doctoral symposium held in conjunction with Formal Methods 2008, Vol 48, pp 23-32, May 2008, at Turku Centre for Computer Science, Finland.
11. A routing calculus for distributed computing (extended abstract), Manish Gaur, Bulletin of the European Association for Theoretical Computer Science (EATCS), No 95, June 2008.
12. An On the Fly algorithm for deciding e ciency preorders, Manish Gaur and S P Tripathi, International Conference on Computer Science and Information Technologies, Ufa, Russia, 16-18 September, 2003, VOL I CSIT 2003.
13. A talk on Deciding E ciency Preorders, Manish Gaur, International Con- ference and Instructional Workshop on Industrial Mathematics(ICIWIM) 2002, 7-9 December 2002, IIT Bombay, Mumbai, India. ICIWIM-2002.
14. Switching Networks for Rural Networks, Manish Gaur and S Verma, Telecommunications for Rural India, 7-8 December 1996, IETE, Lucknow. 15. Industry Academia Interaction towards Increased Productivity and bet- ter Research and Development , Manish Gaur and R B Patel, National Conference on Industry Academia Interaction, 12-13 August 1993, M M M Engg College, Gorakhpur.
16. A Stochastic Extension of the Routing Calculi, Ramakant and Man- ish Gaur, IJCA Proceedings on International Conference on Distributed Computing and Internet Technology ICDCIT 2015(1):13-17,January 2015.
17. A Survey on Formal Modeling for Secure Routing in Mobile Ad-hoc Net- works, Parul Yadav and Manish Gaur, IJCA Proceedings on International Conference on Distributed Computing and Internet Technology ICDCIT 2015(1):18-23,January 2015.
18. A Routing Calculus with Backward Learning Updates,Manish Gaur and Ian Mackie and Simon J Gay, Technical Report 2012, School of Computing Science, University of Glasgow, UK.