Areas of Interest
- Automated Planning, Formal Methods, Web services Composition, Cybersecurity, Distributed Systems, Bioinformatics
|2020-08-10||Ongoing||Professor||Indian Institute of Technology Roorkee (IITR), India|
|2012-10-23||7 years 9 months 17 days||Associate Professor||Indian Institute of Technology Roorkee (IITR), India|
|2007-05-18||5 years 5 months 4 days||Assistant Professor||Indian Institute of Technology Roorkee (IITR), India|
|2007-10-16||2 years 9 months||Research Associate||Theoretical Computer Science Group, IMSc Chennai|
|2004-10-01||2 years 7 months 16 days||Assistant Professor||BITS Pilani, India|
|2003-01-21||1 year 7 months 6 days||Assistant Professor||KIIT, India|
|2018-11-01||2 years 2 months||DRC Chairman||IIT Roorkee|
|2018-11-01||2 years 2 months||IRC Member||IIT Roorkee|
|2016-01-01||Ongoing||Faculty Advisor, MTech||IIT Roorkee|
|2016-01-01||2 years||Member DAPC||IIT Roorkee|
|2014-01-01||2 years||DAPC Chairman||IIT Roorkee|
|2015-01-01||3 years||Secretary DFC||IIT Roorkee|
|2014-01-01||2 years||Member DAC||IIT Roorkee|
|2014-01-01||2 years||Member FSC||IIT Roorkee|
|2013-01-01||1 year||IAPC Member||IIT Roorkee|
|PhD||Computer Science and Engineering||Indian Institute of Technology Kharagpur||2004|
Sponsored Research Projects
|Topic||Funding Agency||Start Date||Period|
|A Novel Approach to Plan Synthesis using Bounded Memory||IITR||2007-09||3 years|
|LAPUE: Logical Analysis of Plans in Uncertain Environments||DST New Delhi||2011-08||3 years 6 months|
|Information Security Education and Awareness (ISEA) Project phase II||DeitY||2015-04||5 years|
- ACM, Member
- ERCIM, Member
|Title||Course Code||Class Name||Semester|
|Theory of Computation||CS353||BTech CSE 3rd year 2017-18||Autumn|
|Principles of Programming Languages||CS312||BTech CSE 3rd year 2016-17||Spring|
|Advanced Operating System||CS502||MTech CSE 1st year 2016-17||Autumn|
|Formal Methods and Software Verification||CS512||MTech CSE 1st year 2016-17||Autumn|
|Advanced Automata Theory||CS514||PhD 2015-16||Autumn|
Research Scholar Groups
|Manik Chandra||Service Oriented Architecture|
|Sandip T. Shingade||Distributed System|
|Maram Hasan||Multi-agent systems|
|Topic||Scholar Name||Status of PHD||Registration Date|
|A Framework for Network Forensic Analysis||Pilli Emmanuel Shubhakar||A||2008-01|
|Similarity Analysis of Biological Sequences by Alignment-free Methods||Manoj Kumar Gupta||A||2009-01|
|Multiagent Planning with Interacting Actions||Satyendra Singh Chouhan||A||2013-07|
|Mobile Crowd Sensing in Urban Spaces using Seamless Indoor-Outdoor Localization||Tarun Kumar Kulshrestha||A||2015-07|
|Context-aware service composition with functionally equivalent services||Sujata Swain||A||2014-07|
|Data and Information Extraction from Online News and Social Media.||Jayendra Barua||A||2013-07|
|A distributed approach for collaborative task execution in a dynamic environment||Amar Nath||A||2014-12|
|A Game Theoretic Framework for Load Balancing in Distributed Systems||Avadh Kishor||A||2015-07|
Visits to outside institutions
|Institute Visited||Purpose of Visit||Date|
|Theoretical Computer Science Group, IMSc Chennai||Collaborative research||2020-08-31|
|Department of Computer Science, University of Perugia, Italy||Collaborative research||2014-01-01|
Participation in short term courses
|Couse Name||Sponsored By||Date|
|Advances in Information Security and Cryptology||not applicable||2020-08|
|Recent Trends in Network Security||not applicable||2020-08|
|Instructional Seminar on Logical Aspects of Multi Agent Systems (ISLAMAS 2015)||IMSc Chennai||2020-08|
|Indian School on Logic and Applications (ISLA 2014)||DST||2020-08|
|Formal Methods Update Meeting 2012||not applicable||2020-08|
Courses or Conferences Organised
|Conference Name||Sponsored By||Date|
|Research Promotion workshop on Introduction to Graph and Geometric Algorithms||NBHM||2020-08|
|Formal Methods Update Meeting 2009||IITR (partial)||2020-08|
|Theoretical Computer Science Lecture by Prof Kamal Lodaya (IMSc Chennai)||IITR (partial)||2020-08|
Special Lectures Delivered
|Design and Analysis of Authentication Protocols||IITR||2020-08|
|Formal Specification of Authentication Protocols||IITR||2020-08|
|Verification of Authentication Protocols||IITR||2020-08|
|Planning in multi agent systems||IMSc Chennai||2020-08|
|A method for generating knowledge based programs as conditional plans||Department of Computer Science, University of Perugia, Italy||2020-08|
|Advanced concepts of functional programming in Haskell||Department of Computer Science, University of Perugia, Italy||2020-08|
|Verification and Synthesis of Multiagent Plans||CMI, Chennai||2020-08|
|Robot Programs||IFCAI University, Dehradun||2020-08|
|Automated Planning: Introduction and Recent Trends||University of Madras, Chennai||2020-08|
|Some Approaches for Deductive Planning||IITR||2020-08|
|Plan Specification Techniques||IITR||2020-08|
National International Collaboration
|I am the academic coordinator of the Erasmus+ Programmme Inter-institutional agreement 2014-20 between IIT Roorkee and University of Perugia, Italy.||University of Perugia, Italy|
Particulars of course
- I was the course Instructor for the following Distance Learning courses conducted by the Distance Learning Programme Division (DLPD), BITS PILANI, (2005-2007). Courses: Data Structures and Algorithms, Structure of Programming Languages, Network Security. - TPC member: AAMAS 2021, ICEIS 2020, MIND 2020, ICEIS 2019, MIND 2019, EDA 2018, SMARTCOMP 2017, AIST 2017, DIAS 2017, INTIS 2016, SAAAS 2016, TENSYMP 2015, SRF-ICDCN 2015, ICACNI 2014, ICDCIT 2014, ICDCIT 2011, IBM-ICARE 2010, IITM 2010.
Refereed Journal Papers
Selected Journal Publications
A. Kishor, R. Niyogi. An evolutionary approach for optimal multi-objective resource allocation in distributed computing systems. Concurrent Engineering: Research and Applications, 28(2): 97-109, 2020.
A. Kishor, R. Niyogi, B. Veeravalli. A game-theoretic approach for cost-aware load balancing in distributed systems. Future Generation Computer Systems, 109:29-44, 2020.
S. Swain and R. Niyogi. FESC: Functionally Equivalent Service Composition. Internet of Things, 9, 1-10, 100151, 2020.
T. Kulshrestha, D. Saxena, R. Niyogi, J. Cao. Real-time Crowd Monitoring using Seamless Indoor-Outdoor Localization. IEEE Transactions on Mobile Computing, 19(3): 664-679, 2020.
J. Barua and R. Niyogi. Improving Named Entity Recognition and Disambiguation in News Headlines. Int. J. Intelligent Information and Database Systems. 12(4):279-303, 2019.
A. Nath, Arun AR, R. Niyogi. A distributed approach for road clearance with multi-robot in urban search and rescue environment. Int. J. of Intelligent Robotics and Applications, 3(4): 392-406, 2019. [mentioned in: https://rescuesim.robocup.org/research/publications/agent-competition/]
S. Swain and R. Niyogi. SmartMedicist: A context-aware system for recommending an alternative medicine. Int. J. of Pervasive Computing and Communications, 14(2):147-164, 2018.
S. S. Chouhan and R. Niyogi. DiMPP: A complete distributed algorithm for multi-agent path planning. J. of Experimental &Theoretical Artificial Intelligence, 29(6): 1129-1148, 2017.
S. S. Chouhan and R. Niyogi. MAPJA: Multi agent planning with joint actions. Applied Intelligence, 47(4): 1044-1058, 2017.
S. Akarsh, A. Kishor, R. Niyogi, A. Milani, and P. Mengoni. Social Cooperation in Autonomous Agents to avoid the tragedy of the commons. Int. J. of Agricultural and Environmental Information Systems, 8(2), 1-19, 2017.
S. S. Chouhan and R. Niyogi. Plan restructuring in multi agent planning. Procedia Computer Science, 46, 396-401, 2015.
V. Raychoudhury, J. Cao, R. Niyogi, W. Wu, and Y. Lai. Top-k leader election in mobile ad hoc networks. Pervasive and Mobile Computing, 13, 181-202, 2014.
M. K. Gupta, R. Niyogi, and M. Misra. A 2D Graphical representation of protein sequence and their similarity analysis with probabilistic method. Match Communications in Mathematical and in Computer Chemistry, 72(2), 519-532, 2014.
A. K. Lal and R. Niyogi. A multi-agent planning approach to model a tele-surgery domain. Int. J. of Intelligent Systems and Applications, 5(9), 27-38, 2013.
M. K. Gupta, R. Niyogi, and M. Misra. An alignment free method to find similarity among protein sequences via general form of Chou's pseudo amino acid composition. SAR and QSAR in environmental research, 24(7), 597-609, 2013.
M. K. Gupta, R. Niyogi and M. Misra, A New Adjacent Pair 2D Graphical Representation of DNA Sequences, J. of Biological Systems, 21(3), 1350005-1-1350005-15, 2013.
S. S. Chouhan and R. Niyogi. An analysis of the effect of communication for multi agent planning in a grid world domain. Int. J. of Intelligent Systems and Applications, 4(5), 8-15, 2012.
E.P. Subhakar, R. C. Joshi and R. Niyogi. Network forensics frameworks: survey and research challenges. Digital Investigation, 7(1-2), 14-27, 2010.
N. Ukey, R. Niyogi, K. Singh, A. Milani, and V. Poggioni. A bidirectional heuristic search for web service composition with costs. Int. J. on Web and Grid Services, 6(2), 160-175, 2010.
R. Niyogi. A Logic Based Approach to Planning for Specifying a Class of Temporally Extended Goals. Int. J. on AI Tools, 13(3), 469-485, September 2004.
Selected Conference Publications
A. Nath, Arun AR, R. Niyogi. A distributed approach for autonomous cooperative transportation in a dynamic multi-robot environment. The 35th ACM/SIGAPP Symposium on Applied Computing (SAC 2020), 30 March-3April 2020, Brno, Czech Republic.
A. Kishor and R. Niyogi. Multi-objective load balancing in distributed computing environment: an evolutionary computing approach. The 35th ACM/SIGAPP Symposium on Applied Computing (SAC 2020), 30 March-3April 2020, Brno, Czech Republic.
A. Nath, Arun AR, R. Niyogi. DMTF: a distributed algorithm for multi-team formation. 12th Int. Conf. on Agents and Artificial Intelligence (ICAART 2020), 22-24 February 2020, Valletta, Malta.
A. Milani, R. Niyogi, G. Biondi. Neural network based approach for learning planning action models. 19th Int. Conf. on Computational Science and its Applications (ICCSA 2019), LNCS 11624, pp 526-537, 1-4 July 2019, Saint Petersburg University, Saint Petersburg, Russia.
A. Nath, Arun AR, R. Niyogi. An approach for task execution in dynamic multirobot environment. 31st Australasian Conf. on AI (AI 2018), LNAI 11320, pp.71-76, 11-14 December, 2018, Victoria University, Wellington, New Zealand.
A. Milani and R. Niyogi. Automated Web Services Composition with Iterated Services. 23rd Intl Symposium on Methodologies of Intelligent Systems (ISMIS), pp185-194, 26-29 June 2017, Warsaw, Poland.
S. Swain and R. Niyogi. A planning based approach for context aware services composition in pervasive systems, Intl Conference on Distributed Computing and Networking (ICDCN), 4-7January2017, Hyderabad, India.
S. Swain and R. Niyogi. An ontology based approach for satisfying user requests in context aware settings. 30th IEEE Intl. Conference on Advanced Information Networking and Applications (AINA), pp1130-1137, 23-25 March 2016, Cras-Montana, Switzerland.
S. S. Chouhan and R. Niyogi. Multi agent planning with collaborative actions. 29th Australasian Joint Conf. on AI (AI 2016), pp609-620, 5-8 Dec 2016, Hobart, Australia.
S. S. Chouhan and R. Niyogi. DMAPP: a Multi agent planning with collaborative actions. 28th Australasian Joint Conf. on AI (AI 2015), pp609-620, 30 Nov-4 Dec 2015, Canberra, Australia.
R. Niyogi and A. Milani. Planning with Sets. 22nd Intl Symposium on Methodologies of Intelligent Systems (ISMIS), pp399-409, 21-23 October 2015, Lyon, France.
R. Sharma, M. Misra, and R. Niyogi. RaMaN: A dynamic clustering protocol resilient against colluded role-manipulability and node replication attacks. Int. Conf. on High Performance Computing and Simulation (HPCS 2014), pp871-876, 21-25 July, 2014, Bologna, Italy.
R. Niyogi and V. Jain. A method for generating knowledge based programs as conditional plans. Eighth International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2013), 20-23 November 2013, Shenzhen University, Shenzhen, China.
M. K. Gupta, R. Niyogi, and M. Misra. An experimental analysis of phylogenetic trees based on topological score. International Conference on Informations Systems Design and Intelligent Applications (INDIA 2012), 5-7 January 2012, Visakapatnam, India.
E.P. Subhakar, R. C. Joshi and R. Niyogi. Router and Interface marking for network forensics. Seventh Annual IFIP WG 11.9 International Conference on digital forensics, pp209-220, 29 Jan-2 Feb 2011, Orlando, USA.
E.P. Subhakar, R. C. Joshi and R. Niyogi. Data Reduction by Identification and Correlation of
E.P. Subhakar, R. C. Joshi and R. Niyogi. An IP Traceback Model for Network Forensics. 2nd International
R. Niyogi and R. Ramanujam. An epistemic logic for planning with trials. Second International Workshop on Logic, Rationality and Interaction (LORI-II), pp238-250, 8-11 October 2009, Chongqing, China.
R. Niyogi. Planning with Trial and Errors. International Conference on Intelligent Agent and Multi-Agent Systems (IAMA09), 22-24 July, 2009, Chennai, India.
R. Niyogi. An Approach to Planning with External Events and Auxiliary Goals. Fourth International Conference on Intelligent Computing and Information Systems (ICICIS'09) In cooperation with ACM SIGMIS, pp386--391, 19-22 March 2009, Cairo, Egypt.