Primary tabs


Dr Jagannath Vithalrao Aghav




Computer & IT


Phone Number: 

+91-20-25507358 (O)


Teaching Experience: 


Research Experience: 




PhD (2005) in Computer Science from TIFR Mumbai India and Postdoctoral (2003) at Swiss Federal Institute of Technology (EPFL) Lausanne Switzerland. His area of interest are: formal verification, data analytics, machine learning, and synchronous programming.

• Gold Medal in BE and ME
• Sarojini Damodaran International Fellowship in PhD
• National Merit Scholarship
• Computer Division Gold Medal (Best Journal Paper)
• ISTE Visiting Professor

Teaching Responsibility: 

Courses offered jointly with Industries:

1. Introducation to Business Analytics (with Credit-suisse, TCS) B Tech Comp and IT
2. Business Analytics (with SAS), B Tech
3. Development and Verification of Secure Software Systems (with Microsoft), B Tech
4. Object Oriented Modeling and Design (with Wikipedia), B Tech
5. Storage, Virtualization, and Cloud Computing (with IBM), M Tech

M Tech Courses:
6. Real Time Systems
7. Complexity and Algorithms
8. Advanced Operating Systems
9. Embedded Systems

B Tech Courses:
10. Software Engineering
11. Theory of Computation
12. Compiler Construction
13. Multimedia Communication Systems
14. Data Structures
15. Discrete Mathematics
16. Automata and Computability
17. Theory of Computer Science
18. Automata Theory

19. Design and Analysis of Algorithms TY Comp 

20. Algorithms and Complexity,TY IT

Additional Responsibility: 

• Vice Chair IEEE Computer Society India (Govt/Academia)
• NBA Evaluator (Tier-I and Tier-II)
• MPSC Expert (Class-1 Services)
• Member RRC, BoS of Universities, NITs, and autonomous Institutes
• ACM Chapter faculty
• Expert AICTE, UGC, evaluation of research proposals
• Wikipedia Teaching Fellow
• TEQIP Dept Coordinator
• Reviewer IEEE, Elsevier
• PhD admissions coordinator
• Examiner at Universities and NITs for M Tech and PhD Thesis
• Examiner PhD (Entrance Exams) and Member FY, SY B Tech admissions
• PC Member (CSIBIG-2014 SCEECS-2014, 2012, ICRITO-2014, ICCCT-2012, CONSEG 2012, ICCCT, ICSC, HSVV, SPV, IDEP)
• Faculty Advisor M Tech, B Tech, 
• DTE Nominee, Faculty Recruitment and Member, Staff Recruitment
• Chairman DTE Inspection Committees and Chancellor Nominee, Faculty Recruitment

Research Talks:

1. “Unifying Time Constraints Validation,” at Faculty Forum Computer Science Department, CWI, Netherlands.

2. “Validating Real-Time Behavioral Patterns of Embedded Controllers,'' at International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, San Francisco, USA.

3. "Developing Software Tools for System Design and Analysis," School of Computing, National University of Singapore (NUS), Singapore.

4. "Design and Validation of Embedded Systems in Esterel," School of Computer Engineering, Nayang Technological University (NTU), Singapore

5. “Data Analytics Applications: Algorithmic Perspective,” Gujarat Technological University GTU), Ahmadabad

6. Big Data: Challenges and sample solutions,” at workshop on Big data, Infosys, Hinjewadi, Pune

Other Invited Talks:

7. "Restructuring Universities for coping with the Challenges of the 21st Century" Gujarat Technical University (GTU), Ahmadabad.

8. "Accreditation: Understanding and Preparation," ISTE FDP FRCE Mumbai.

9. "Understanding and Mapping of the Course Outcomes and Program Outcomes," Symbiosis Institute of Technology (SIT), Lavale, Pune


1. SyncRT: Tool for Validation of Timing Constraints in Esterel using Lex, Yacc, C, and Tcl/Tk.

2. Industrial case study example of gear controller, various case studies, protocols, using Esterel, Charon, and UML.


Journals: 07 (Best Paper Gold Medal)
International Conferences:34. List of all publications.

Selected Publications:

1. "Deep Learning for Real Time Collision Detection and Avoidance," Jagannath Aghav, Poorwa Hirwe, and Mayura Nene, in the Proceedings of International Conference on Communication, Computing and Networking (ICCCN 2017) 23-24 March 23-24, 2017 (Best Paper Award- All Tracks). View PDF

2. "Machine Learning Solutions for an Autonomous Vehicle," Jagannath Agahv, Rinku Nemade, and Apoorva Nitsure, in the Proceedings of International Conference on Communication, Computing and Networking (ICCCN 2017) 23-24 March 23-24, 2017 (Best Paper Award - In Track) View PDF

3.  "Method for Data Analytics on Large Data Sets of Images,” Riah Sathe, Shraddha Mense, Shashwat Pradhan, Ankita Netraganti, and Jagannath Aghav, in the Proceedings of International Conference on Computing, Analytics and Security Trends (CAST), COEP, Pune, India  December 19-21, 2016. View PDF

4. “A Beacon based Retail Industry Analytics Framework,” Shubham Phadnis, Priyal Rathi, Manisha Mundhe, and Jagannath Aghav, International Conference on Recent Advancement in Computer, Communication and Computational Sciences (ICRACCCS-2016), published in Springer Book Series on “Lecture Notes on Data Engineering and Communications Technologies” (LNDECT), Udaipur, India November 25-26, 2016.

5.  “Avoiding slow running nodes in Distributed Systems,” Shyam Deshmukh, Jagannath Aghav, K. Thirupathi Rao, and Thirumala Rao B, in Springer Proceedings of Lecture Notes in Networks and Systems Series (LNNS), 3rd International Conference on Computer & Communication Technologies (IC3T - 2016), Vijayawada, Andhra Pradesh, India, October 28-29, 2016.

6. “Validating Algorithmic Trading Strategies to Predict Trends in Indian Index Option” Springer series - International Conference on Recent Advancement in Computer, Communication and Computational Sciences(ICRACCCS-2016), Udaipur, INDIA during 25-26 Nov 2016.(with Vikram Bajaj). View PDF

7. "Two - Level Diversified classifier Ensemble For Classification of Credit Entries"   International Conference on Computer, Communication and Computational Sciences (ICCCCS- 2016), Aryabhatta College of Engineering & Research Center, Ajmer, India, August 12-13, 2016. (with Pramod Patil). View PDF

8. “Health Track: Health Monitoring and Prognosis System using Wearable Sensors,” IEEE International Conference on Advances in Engineering and Technology Research (ICAETR-2014), Unnao, India, August 1-2, 2014. (with S Sonawane, H Bhamblani)
View PDF

9. “Computation Based Disease Associations in Disease Inference,” In the Proceedings of International Work- Conference on Bioinformatics and Biomedical Engineering, (IWBBIO’14), Granada, Spain, Pages 1-14, April 7-9, 2014. (with P Kale)
View PDF

10. “Job Classification for Map-Reduce Scheduler in Heterogeneous Environment,” International Conference on Cloud and Ubiquitous Computing and Emerging Technologies (CUBE’2013), ACM International Conference Proceedings (ACPS) , November 15-16, 2013, Pune, India (With S D Deshmukh, R Chakravarthy)
IEEExplore   View PDF

11.“A Holistic Approach to Autonomic Self-Healing Distributed Cloud System,” International Journal of Computer Applications, (ISBN: 973-93-80877-33-2) Vol. 76, No.3, Pages 25-30, August 2013. DOI: 10.5120/13228-0657 (with Abhishek Bhavsar, Ameya More, Chinmay Kulkarni, and Dheeraj Oswal)
Citeseer Details   View PDF

12. A Survey of Automated Techniques and Tools for Program Analysis Part I,” International Conference on Electrical Engineering and Computer Science EECS-2013, Coimbatore, India, 21st April, 2013 ISBN : 978-93-83060-02-3, (with Ashish Kulkarni)
IEEExplore   View PDF

13. “Towards a WebJDK: Extending open JDK 7 for Client File System Access over Cloud,” IEEE International Conference on Computing Communication and Networking Technologies (ICCCNT), Pages 1253-1258, April 11-12, 2013. ISBN (Print) 978-1-4673-5759-3. (with C V Deshpande, A S Shetye, S S Ghuge)
IEEExplore    View PDF

14. “Visualizing Semantic Web,” International Conference on Cloud and Ubiquitous Computing and Emerging Technologies (CUBE’2012), ACM International Conference Proceedings (ACPS), September 3-5, 2012, Pune, India, (with Meera Mudholkar , Saloni Peswani, Seema Kela, Harish Jadhao, and Anil Vegiraju)
ACM Digital Library   View PDF

15. “Generating Spring Graph To Infer RDF Data,” International Conference on Computer Science and Information Technology (ICCSIT 2012), Bangalore, India, May 19, 2012. In the Proc. of Interscience Publications.(with Meera Mudholkar, Saloni Peswani, Seema Kela, Harish Jadhao, and Prashant Gaikwad)
View Details    View PDF

16. “Automated Training and Maintenance through Kinect,” International Journal of Computer Science, Engineering and Applications, (IJCSEA), ISSN: 2231–0088 e-ISSN: 2230-9616, Vol. 2 Number 3, 2012, DOI: 10.5121/ijcsea (with Saket Warade, Claude Petitpierre, and Sandeep Udayagiri)
View Details    View PDF

17. “Extension of SPIKE for Encrypted Protocol Fuzzing,” In the Proc. IEEE International Conference on Multimedia Information Networking and Secuirty, IEEE Computer Society (CS) Press, (IEEE MINES-2011) Shanghai, China, November 4-6, 2011 (with Aabha Biyani, Gantavya Sharma, Piyush Waradpande, Purva Savaji, and Mrityunjay Gautam)
IEEE Explore   View PDF

18. “Esterel Implementation and Validation of Cruise Controller,” International Conference on Computer Science, Engineering and Applications, D.C. Wyld at al. (Editors) (CCSEA-2011) Chennai, India, July 15-17, 2011. (with Ashwin Tumma)
CiteSeer   View PDF

19. “A Software Architecture for Provisioning of Mobile Services in an OSGi implementation,” The 7th IEEE International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH’11), Polyana, Ukraine, May 11-14, 2011. (with Nikhil Sharma)
View Details   View PDF

20. “Mobile Safety System for Automobiles,” International Journal of Computer Engineering and Technology (IJCET), ISSN 0976- 6367 (Print), Volume 1, Number 2, September- October 2010, pp. 166-179 (with Nikhil Sharma).
IEEEXplore   View PDF

21. “Validating Real-Time Constraints in Embedded Systems,” IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, Seoul, Korea, December, 2001. (with R K Shyamasundar)
IEEEXplore   View PDF

22. “Realizing Real-Time Constraints in Synchronous Language Specifications,” IEEE Real-Time Systems Symposium, RTSS WIP Session, Orlando, Florida, IEEE Press 2000. (with R K Shyamasundar)
Citeseer   View PDF

23. "Design Patterns of Timed Automotive Systems," EPFL-Report-52568, School of Computer and Communication Sciences, Swiss Federal Institute of Technology, Lausanne, Switzerland, 2003 (with Claude Petitpierre)
InfoScience   Google Scholar   View PDF

24. “Pentium Bug Verification,” Technical Report, STCS, Tata Institute of Fundamental Research (TIFR), Mumbai, India, August 1999. (with R K Shyamasundar).
Citeseer   View PDF


Memberships and Affiliations: 



Current Projects : 

Government funded (AICTE RPS, AICTE MODROBS, UGC) and
Industries sponsored (John Deere, SAS, Imagination, TCS, Nvidia, Symantec, PSPL)

@ 2017 COEP. All Rights Reserved. Site Developed By COEP Webteam.

© 2016 College of Engineering Pune. All rights reserved