Post Doctoral Research

Teaching UG/PG and Research

Teaching UG/PG and Research

Noida Campus, Noida (Sponsoredby Rockwell Noida).Recent InvitedTalks/ResearchVisits1. Delivered a technical talk on πcost and An introduction to DRπ, DRωπat Institute of Mathematical Modelling at Denmark Technical Univer-sity, Copenhagen on 27th April 2010 ; Was invited, during 26th April2010-29th April 2010, for feasibility study and possibility of research con-tribution on modelling the work flow of health system of Denmark in aprocess algebraic frame work during the week 25th April 2010-29th April2010.2. Delivered technical talks on A Routing Calculi at Centre for Formal Designand Verification of Software at IIT Bombay, Mumbai and Bhabha AtomicResearch Centre, Mumbai on 8-9 February 2010.3. Delivered a way forward note at a faculty development seminar on Chal-lenges in Adoption of Industrial Automation: An Indian Perspective atGautam Buddh Technical University, Noida Campus, Noida on 10th Au-gust 2011.

SouthAsian University, New Delhi. (July 2011)2. Visiting Faculty, Department of Computer Science and Engineering, In-dian Institute of Technology Ropar, Punjab (December 2009)Post Graduate(Master ofTechnology)ThesisSupervision1. A Distributed Routing calculi with Node Mobilty, Vijay Katta, 2010 atU.P. Technical University Lucknow, India (Now Gautam Budh TechnicalUniversity Lucknow)2. A Fault Tolerant Routing Calculi, Rama Kant Baghel,2011,Gautam BudhTechnical University Lucknow, India.3. Modelling Stop and Wait Protocol Behaviour in pi-calculus using MobiltyWork Bench,2011, Gautam Budh Technical University Lucknow, India.Other TechnicalSkills1. Programming Languages: Well versed with SML, PROLOG, C/C++.Implemented the algorithm for deciding efficiency pre-bisimulation in SML,ready to be plugged in CWB-NC (Concurrency Work Bench-New Cen-tury).2. Verification Tools: worked on CWB-NC (Concurrency Work Bench-New Century), SPIN, Mobility Work Bench.vi

Teaching Assistant

Taking tutorial classes and marking assignmentsCourses: Computability and Complexity Theory(G5003), Foundations ofComputation (G6007).

Taking tutorial/lab classes and marking assignmentsiiCourses: Introduction to Computers and Programming (CSL 101/102).3. Institute of Engineering and Technology Lucknow, India

Taking classes for undergraduate/postgraduate computer sciencestudentsCourses: Design and Analysis of Algorithms, Computer Networks, Com-putability and Complexity Theory.Other duties: In-charge Purchase, Hostel warden, Deputy Dean Aca-demics, Professor In-Charge Training and Placement Cell.Gautam Buddh Technical University, Lucknow (formerly UPTU,Luckow)-Assignments: Member BOS UPTU Lucknow for ComputerScience, Member of Counselling Monitoring Committee of SEE-UPTU2009 (State level assignment), Programme Co-ordinator NSS and NodalOfficer of Youth affairs cell of UPTU, Assistant Co-ordinator State En-trance Examination (SEE) GBTU-2010, Deputy Co-ordinator State En-trance Examination (UPSEE) GBTU-2012.

Taking classes for undergraduate computer science studentsCourses: Data Communication, Computer Networks.Other duties: In-charge Literary activities and various other departmentand institute level administrative responsibilities.Non academic1. University of Sussex, UKInternational and Study Abroad Office