This page collects a broad listing of faculty members across the institutions in India whose research areas fall within software engineering, programming languages, compilers, program analysis, formal methods, software testing, software verification, and software security — the broad scope of the PLSE. If you are working in these areas and are not listed below — or if you spot an error in your (or any other) entry — please email nvk@iitm.ac.in.
| Name | Institute | Research areas | |
|---|---|---|---|
| Deepak D'Souza | IISc | deepakd@iisc.ac.in | automated verification |
| K. V. Raghavan | IISc | raghavan@iisc.ac.in | programming languages, program analysis, programming tools |
| Uday Kumar Reddy B. | IISc | udayb@iisc.ac.in | compilers for high-performance AI hardware, AI programming frameworks, automatic parallelization |
| R. Govindarajan | IISc | govind@iisc.ac.in | Parallel processing, computer architecture, instruction scheduling |
| Amitabha Sanyal | IIT Bombay | as@cse.iitb.ac.in | program analysis, data-flow analysis, compiler optimization, functional programming, garbage collection |
| Ashutosh Gupta | IIT Bombay | akg@cse.iitb.ac.in | formal verification, model checking, constraint solving, decision procedures |
| G. Sivakumar | IIT Bombay | siva@cse.iitb.ac.in | automated reasoning, logic programming, rewrite systems |
| Krishna S. | IIT Bombay | krishnas@cse.iitb.ac.in | automata, logics, games, formal verification of timed/probabilistic systems |
| Rushikesh K. Joshi | IIT Bombay | rkj@cse.iitb.ac.in | software engineering, process modeling, design patterns, software architecture |
| S. Akshay | IIT Bombay | akshayss@cse.iitb.ac.in | formal methods, verification of timed/distributed/probabilistic systems, automata |
| Supratik Chakraborty | IIT Bombay | supratik@cse.iitb.ac.in | formal verification, automated synthesis, constrained sampling/counting, automata, logic |
| Supratim Biswas | IIT Bombay | sb@cse.iitb.ac.in | compilers, parallelizing compilers, programming languages, parallel computing |
| Uday P. Khedker | IIT Bombay | uday@cse.iitb.ac.in | program analysis, data-flow analysis, compilers, pointer analysis |
| Manas Thakur | IIT Bombay | manas@cse.iitb.ac.in | program analysis, compiler optimizations, programming languages, JIT compilers |
| R. K. Shyamasundar | IIT Bombay | rkss@cse.iitb.ac.in | concurrency, reactive systems, language/OS security, information flow control |
| Bharat Adsul | IIT Bombay | adsul@cse.iitb.ac.in | automata, logics, games, concurrency, Mazurkiewicz traces |
| Abhilash Jindal | IIT Delhi | ajindal@cse.iitd.ac.in | mobile systems, operating systems, software engineering |
| Kumar Madhukar | IIT Delhi | madhukar@cse.iitd.ac.in | program verification, model checking, syntax-guided synthesis |
| Nikhil Balaji | IIT Delhi | nbalaji@cse.iitd.ac.in | automata theory, quantitative verification, complexity |
| Priyanka Golia | IIT Delhi | pgolia@cse.iitd.ac.in | formal methods, AI |
| S. Arun Kumar | (ex) IIT Delhi, GITAM | sak@cse.iitd.ac.in | semantics and verification, programming languages, AI |
| Sanjiva Prasad | IIT Delhi | sanjiva@cse.iitd.ac.in | languages, semantics, verification, programming languages |
| Soham Chakraborty | (ex) IIT Delhi, TU Delft | soham@cse.iitd.ac.in | concurrency, weak memory models, programming languages, verification |
| Sorav Bansal | IIT Delhi | sbansal@cse.iitd.ac.in | operating systems, compilers, compiler design |
| Subodh Sharma | IIT Delhi | svs@cse.iitd.ac.in | formal methods, program analysis, concurrent systems verification |
| Vaishnavi Sundararajan | IIT Delhi | vaishnavi@cse.iitd.ac.in | formal methods, verification, logic and security |
| D. Janakiram | IIT Madras | djram@cse.iitm.ac.in | large-scale software systems development |
| K. C. Sivaramakrishnan | IIT Madras | kcsrk@cse.iitm.ac.in | programming models, compilers, static analysis, scheduling |
| Kartik Nagar | IIT Madras | nagark@cse.iitm.ac.in | automated formal verification, program analysis |
| Rupesh Nasre | IIT Madras | rupesh@cse.iitm.ac.in | compilers, parallelization |
| V. Krishna Nandivada | IIT Madras | nvk@iitm.ac.in | compilers, program analysis, programming languages, multicore systems |
| Amey Karkare | IIT Kanpur | karkare@cse.iitk.ac.in | compilers, program analysis & code optimization, functional programming, programming languages and education |
| Pritam Choudhury | IIT Kanpur | pritam@iitk.ac.in | programming languages, type theory, static analyses, language-based security, formal verification, logic |
| Sruti Srinivasa Ragavan | IIT Kanpur | srutis@iitk.ac.in | HCI, software engineering, end-user programming, education |
| Subhajit Roy | IIT Kanpur | subhajit@iitk.ac.in | formal methods, AI, software engineering, programming languages, ML |
| Swarnendu Biswas | IIT Kanpur | swarnendu@cse.iitk.ac.in | programming languages, compilers, program analysis, software systems, HPC |
| Indranil Saha | IIT Kanpur | isaha@cse.iitk.ac.in | formal methods for embedded/cyber-physical systems, robotics |
| Aritra Hazra | IIT Kharagpur | aritrah@cse.iitkgp.ac.in | formal methods, design verification, VLSI CAD, AI/ML |
| Chittaranjan Mandal | IIT Kharagpur | chitta@iitkgp.ac.in | formal equivalence checking, formal verification, synthesis |
| Jibesh Patra | IIT Kharagpur | jibesh@cse.iitkgp.ac.in | Software Engineering, AI for SE, Software Security |
| Pallab Dasgupta | (ex) IIT Kharagpur, currently Synopsis | pallab@cse.iitkgp.ac.in | formal methods, CAD for VLSI and embedded systems |
| P P Chakrabarti | IIT Kharagpur | ppchak@cse.iitkgp.ac.in | software engineering in AI and AI in software engineering |
| Partha Pratim Das | (ex) IIT Kharagpur, currently Ashoka | ppd@ashoka.edu.in | digital geometry, image processing, object-oriented systems, software engineering, embedded systems |
| Rajib Mall | (ex) IIT Kharagpur, currently SNU | Rajib.mall@snu.edu.in | program analysis and testing |
| Soumyajit Dey | IIT Kharagpur | soumya@cse.iitkgp.ac.in | cyber-physical systems, formal methods, real-time scheduling, GPGPU optimizations |
| Awanish Pandey | IIT Roorkee | ap@cs.iitr.ac.in | program analysis, compiler optimizations, cyber/software security |
| Rajdeep Niyogi | IIT Roorkee | rajdeep.niyogi@cs.iitr.ac.in | automated planning, formal methods, distributed algorithms |
| Sandeep Kumar Garg | IIT Roorkee | sandeep.garg@cs.iitr.ac.in | software engineering, web services, software project management, ML, data analytics |
| Bernard Nongpoh | IIT Guwahati | bnongpoh@iitg.ac.in | program analysis, software security, fuzzing, LLMs for security, vulnerability discovery |
| Chandan Karfa | IIT Guwahati | ckarfa@iitg.ac.in | EDA, ML for EDA, formal verification, hardware security, translation validation, compiler security |
| Diganta Goswami | IIT Guwahati | dgoswami@iitg.ernet.in | distributed systems, software engineering |
| Hemangee K. Kapoor | IIT Guwahati | hemangee@iitg.ac.in | multiprocessor computer architecture, formal methods, network-on-chip design |
| Jatindra Kumar Deka | IIT Guwahati | jatin@iitg.ac.in | formal modelling and verification, CAD for VLSI and embedded systems |
| Khushraj Madnani | IIT Guwahati | khushraj@iitg.ac.in | automata theory, temporal logics, formal logics, cyber-physical systems |
| Pradip Kr. Das | IIT Guwahati | pkdas@iitg.ac.in | speech processing, man-machine intelligent systems, algorithms, software engineering, smart devices, mobile robotics, medical robotics, drone technology |
| Purandar Bhaduri | IIT Guwahati | pbhaduri@iitg.ac.in | formal verification of reactive systems, automated controller synthesis, logic/semantics of computation |
| Amrita Chaturvedi | IIT (BHU) Varanasi | amrita.cse@iitbhu.ac.in | software architecture, design patterns, ontologies, AI, semantic web, big data, ML |
| Vinayak Shrivastava | IIT (BHU) Varanasi | vsrivastava.cse@iitbhu.ac.in | software engineering, software reengineering |
| Anupam Sanghi | IIT Hyderabad | sanghi@cse.iith.ac.in | database systems, AI for databases, database testing and benchmarking |
| Ashish Mishra | IIT Hyderabad | mishraashish@cse.iith.ac.in | program verification, program synthesis, programming languages, neurosymbolic programming |
| Jyothi Vedurada | IIT Hyderabad | jyothiv@cse.iith.ac.in | program analysis, program understanding, automated concurrency testing, HPC |
| Ramakrishna Upadrasta | IIT Hyderabad | ramakrishna@cse.iith.ac.in | programming languages, compiler optimizations, parallelizing compilers, static analysis, verification |
| Sathya Peri | IIT Hyderabad | sathya_p@cse.iith.ac.in | parallel programming, software transactional memory, distributed systems, networking algorithms |
| Saurabh Kumar | IIT Hyderabad | saurabhkr@cse.iith.ac.in | cyber security, mobile security, cyber forensics, malware analysis |
| Saurabh Joshi | (ex) IIT Hyderabad, currently at Supra | sbjoshi@iith.ac.in | formal methods, program verification, SAT/SMT |
| Praveen Tammana | IIT Hyderabad | praveent@cse.iith.ac.in | systems and networking, network security, SDN, ML for networks |
| Abhishek Shrivastava | IIT Indore | abhishek@iiti.ac.in | computer programming, software engineering, computing |
| Gourinath Banda | IIT Indore | gourinath@iiti.ac.in | applied formal methods (model checking, abstract interpretation, static analysis), RTOS and realtime kernels |
| Soumi Chattopadhyay | IIT Indore | soumi@iiti.ac.in | services computing, AI, logic |
| Neminath Hubballi | IIT Indore | neminath@iiti.ac.in | network security, system security |
| Anil Shukla | IIT Ropar | anilshukla@iitrpr.ac.in | theoretical computer science, computational complexity (proof complexity) |
| Balwinder Sodhi | IIT Ropar | sodhi@iitrpr.ac.in | software engineering, software architecture, services |
| Jimson Mathew | IIT Patna | jimson@iitp.ac.in | fault-tolerant computing, HPC |
| Raju Halder | IIT Patna | halder@iitp.ac.in | formal methods for analysis and verification, abstract interpretation, blockchain |
| Debiprasanna Sahoo | IIT Bhubaneswar | dpsahoo@iitbbs.ac.in | computer architecture and formal verification of hardware circuits |
| Manoranjan Satpathy | IIT Bhubaneswar | manoranjan@iitbbs.ac.in | software testing & verification, software engineering, formal methods, HPC |
| Padmalochan Bera | IIT Bhubaneswar | plb@iitbbs.ac.in | network and systems security, cryptography, SDN protocols |
| Srinivas Pinisetty | IIT Bhubaneswar | spinisetty@iitbbs.ac.in | formal verification, runtime verification, synthesis, security |
| Abhishek Bichhawat | IIT Gandhinagar | abhishek.b@iitgn.ac.in | language-based security, formal methods, verification |
| Shouvick Mondal | IIT Gandhinagar | shouvick.mondal@iitgn.ac.in | software testing, evolution, maintenance, social aspects |
| Mohit Kumar Jangid | IIT Jodhpur | mjangid@iitj.ac.in | automated formal verification, system security and privacy, TEE, cryptography/protocol design |
| Sumit Kalra | IIT Jodhpur | sumitk@iitj.ac.in | software architecture, data analytics, IoT, smart healthcare |
| Arpita Dutta | IIT Mandi | arpitad10j@gmail.com | software testing, concolic testing, MC/DC testing, program analysis, ML for fault localization |
| Yvonne Dittrich | IIT Mandi (Adjunct; primary IT Univ. Copenhagen) | ydi@iitmandi.ac.in | empirical software engineering, cooperative/human aspects of SE, global SE, continuous SE |
| Chiranjeev Kumar | IIT (ISM) Dhanbad | chiranjeev@iitism.ac.in | wireless networks, IoT, software engineering |
| Saurabh Srivastava | IIT (ISM) Dhanbad | ssrivastava@iitism.ac.in | software architecture, conversational agents, LLMs for AI-intensive systems, software testing |
| Amit Kumar Dhar | IIT Bhilai | amitkdhar@iitbhilai.ac.in | automated computer-aided verification, model-checking, formal methods, temporal logics, SMT solvers |
| Vishwesh Jatala | IIT Bhilai | vishwesh@iitbhilai.ac.in | GPU computing, optimizing compilers for GPU performance/energy, computer architecture, HPC |
| Amaldev Manuel | IIT Goa | amal@iitgoa.ac.in | automata, logics, algebra, games |
| Niraj Kumar | IIT Goa | niraj@iitgoa.ac.in | cyber-physical systems, real-time systems, computational geometry |
| Sudakshina Dutta | IIT Goa | sudakshina@iitgoa.ac.in | formal verification, static analysis |
| Sreejith A. V. | IIT Palakkad | sreejithav@iitpkd.ac.in | algebraic automata theory, descriptive complexity, logic |
| Unnikrishnan Cheramangalath | IIT Palakkad | unnikrishnan@iitpkd.ac.in | domain-specific languages, compilation for distributed heterogeneous systems, HPC, GPU programming |
| Sridhar Chimalakonda | IIT Tirupati | ch@iittp.ac.in | empirical software engineering, semantic code search, code smells, software architecture/quality, AI4SE, SE4AI |
| Dwijen Rudrapal | NIT Agartala | dwijen.rudrapal@gmail.com | software engineering |
| Swapan Deb Barma | NIT Agartala | swapanxavier@gmail.com | software engineering |
| Karthick Seshadri | NIT Trichy | skarthick@nitt.edu | machine learning, data analytics, randomized/approximation algorithms, parallel and distributed computing |
| Priya Chandran | NIT Calicut | priya@nitc.ac.in | algorithms and complexity, computer architecture, quantum computing, formal methods for information security |
| S. D. Madhu Kumar | NIT Calicut | madhu@nitc.ac.in | cloud computing, middleware, distributed computing, DBMS |
| Vineeth Paleri | NIT Calicut | vpaleri@nitc.ac.in | compilers, programming languages |
| Shweta Singh | NIT Calicut | shweta@nitc.ac.in | software engineering, requirment engineering, AI for software engineering, ML-specific software, NLP for software engineering |
| Geeta Sikka | NIT Delhi | sikkag@nitdelhi.ac.in | software engineering, data mining and databases |
| Anirban Sarkar | NIT Durgapur | asarkar.cse@nitdgp.ac.in | software engineering, database management systems, cloud computing, software architecture |
| Rajib Kumar Chatterjee | NIT Durgapur | rkchatterjee.cse@nitdgp.ac.in | software engineering |
| Suvrojit Das | NIT Durgapur | sdas.cse@nitdgp.ac.in | formal languages and automata theory, compiler |
| Jagdeep Kaur | NIT Jalandhar | kaurj@nitj.ac.in | software engineering, AI, integration |
| Kuldeep Kumar | NIT Jalandhar | kuldeepk@nitj.ac.in | software engineering, applied machine learning, data analysis |
| Lalatendu Behera | NIT Jalandhar | beheral@nitj.ac.in | scheduling theory, real-time and safety-critical systems |
| Swarnima Singh Gautam | NIT Jalandhar | gautamss@nitj.ac.in | empirical software engineering, data mining, pattern recognition |
| Dilip Kumar Yadav | NIT Jamshedpur | dkyadav.ca@nitjsr.ac.in | software reliability and quality, software engineering |
| Rajiv Ranjan Suman | NIT Jamshedpur | rrsuman.cse@nitjsr.ac.in | algorithms, software engineering |
| Jitender Kumar Chhabra | NIT Kurukshetra | jitenderchhabra@nitkkr.ac.in | programming, software metrics, object-oriented programming, software engineering |
| Kuldeep Kumar | NIT Kurukshetra | kuldeepkumar@nitkkr.ac.in | software engineering, applied machine learning, data analysis |
| Lov Kumar | NIT Kurukshetra | lovkumar@nitkkr.ac.in | software defect prediction, mining software repositories, software analytics |
| Rajarshi Ray | NIT Meghalaya | rajarshi.ray@nitm.ac.in | verification of hybrid systems, formal methods, HPC |
| Girdhari Singh | MNIT Jaipur | gsingh.cse@mnit.ac.in | software engineering, intelligent systems |
| Anoj Kumar | MNNIT Allahabad | anojk@mnnit.ac.in | software testing, software engineering, computer graphics |
| Divya Kumar | MNNIT Allahabad | divyak@mnnit.ac.in | software engineering, soft computing, evolutionary methods |
| Naresh Kumar Nagwani | NIT Raipur | nknagwani.cs@nitrr.ac.in | data mining, text mining, software engineering |
| Pradeep Singh | NIT Raipur | psingh.cs@nitrr.ac.in | machine learning, software engineering, DBMS |
| Durga Prasad Mohapatra | NIT Rourkela | durga@nitrkl.ac.in | software engineering, software testing, software reliability, software security, program slicing |
| Annappa B. | NIT Surathkal (NITK) | annappa@nitk.edu.in | distributed computing systems, cloud computing, software engineering, big data, process mining |
| R. Leela Velusamy | NIT Trichy | leela@nitt.edu | compiler design, automata and formal languages, fault-tolerant computing, cryptography and network security |
| R. Mohan | NIT Trichy | rmohan.nitt@gmail.com | software engineering, operating systems, distributed systems, algorithms |
| Ravichandra Sadam | NIT Warangal | ravic@nitw.ac.in | programming languages and systems |
| Sangharatna Godboley | NIT Warangal | sanghu@nitw.ac.in | program analysis, software testing |
| Yenda Ramesh | NIT Warangal | rameshyenda@nitw.ac.in | formal methods, statistical model checking |
| A. S. Mokhade | VNIT Nagpur | asmokhade@cse.vnit.ac.in | software engineering, software architecture |
| Y. Raghu Reddy | IIIT Hyderabad | raghu.reddy@iiit.ac.in | software engineering, HCI, knowledge engineering, aspect-oriented software development, model-driven architectures |
| Venkatesh Choppella | IIIT Hyderabad | venkatesh.choppella@iiit.ac.in | programming languages, software architectures, formal methods, CS education |
| Suresh Purini | IIIT Hyderabad | suresh.purini@iiit.ac.in | compilers, parallel systems, distributed systems, virtualization, cloud computing |
| Karthik Vaidhyanathan | IIIT Hyderabad | karthik.vaidhyanathan@iiit.ac.in | software architecture, self-adaptive systems, SE4AI, AI4SE |
| Ramesh Loganathan | IIIT Hyderabad | ramesh.loganathan@iiit.ac.in | software engineering, entrepreneurship, innovation |
| Abhishek Kumar Singh | IIIT Hyderabad | abhishek.singh@iiit.ac.in | formal methods, programming languages, software engineering, trustworthy AI |
| Meenakshi D'Souza | IIIT Bangalore | meenakshi@iiitb.ac.in | formal methods, software testing, model-based development for embedded software |
| Sujit Kumar Chakrabarti | IIIT Bangalore | sujitkc@iiitb.ac.in | software engineering, formal methods, software testing, embedded systems |
| Shrisha Rao | IIIT Bangalore | srao@iiitb.ac.in | distributed computing (algorithms and formal methods), fault tolerance, safety-critical systems, green IT |
| Saumya Shankar | IIIT Bangalore | saumya.shankar@iiitb.ac.in | formal methods, software engineering, runtime verification and enforcement |
| Chandrashekar Ramanathan | IIIT Bangalore | rc@iiitb.ac.in | software engineering, software architecture, databases, data science, ed-tech |
| Pankaj Jalote | IIIT Delhi | jalote@iiitd.ac.in | software engineering, AI for SE, software quality and productivity, SE education |
| Rahul Purandare | (adjunct) IIIT Delhi, currently at UNL | purandare@iiitd.ac.in | program analysis, software engineering, model checking, software testing, static analysis, runtime monitoring |
| Piyus Kedia | IIIT Delhi | piyus@iiitd.ac.in | system security, safe languages, virtualization |
| Vivek Kumar | IIIT Delhi | vivekk@iiitd.ac.in | parallel programming models, runtime systems |
| Santosh Singh Rathore | ABV-IIITM Gwalior | santoshs@iiitm.ac.in | predictive modeling in software engineering, software fault prediction, empirical SE, applied ML |
| Atul Gupta | IIITDM Jabalpur | atul@iiitdmj.ac.in | software engineering (requirements engineering, NLP for SE), software testing, experimental SE, ML |
| Maithilee Patawar | IIITDM Kancheepuram | maithilee@iiitdm.ac.in | combinatorics on words, theorem provers, discrete applied mathematics |
| Milind Chabbi | IIIT Dharwad (Prof. of Practice) | Chabbi.Milind@gmail.com | parallel computing, synchronization, compilers, code generation and optimization, performance analysis, HPC |
| Ramchandra Phawade | IIT Dharwad | prb@iitdh.ac.in | concurrency, automata theory and logic in computer science |
| Angshuman Jana | IIIT Guwahati | angshuman@iiitg.ac.in | formal methods, static program analysis and verification, information flow security, abstract interpretation, model checking |
| Jayadeep Pati | IIIT Ranchi | jayadeeppati@iiitranchi.ac.in | applied machine learning, software engineering, data analysis |
| C. Aiswarya | CMI Chennai | aiswarya@cmi.ac.in | automata theory, verification of infinite-state systems, formal models of concurrent systems |
| B. Srivathsan | CMI Chennai | sri@cmi.ac.in | formal verification of real-time systems, automata theory, games, concurrency |
| K. Narayan Kumar | CMI Chennai | kumar@cmi.ac.in | verification of concurrent programs |
| M. Praveen | CMI Chennai | praveenm@cmi.ac.in | verification of concurrent infinite-state systems, logic, parameterized complexity |
| Madhavan Mukund | CMI Chennai | madhavan@cmi.ac.in | concurrent and distributed systems, formal verification, distributed algorithms |
| S. P. Suresh | CMI Chennai | spsuresh@cmi.ac.in | logic in CS, concurrency and distributed computing, formal methods for security |
| R Govind | IMSc Chennai | govind@imsc.res.in | automata theory, logical foundations, verification of concurrent/distributed systems, automated synthesis, temporal logics |
| Prakash Saivasan | IMSc Chennai | prakashs@imsc.res.in | automata theory, logic, concurrency, formal verification, weak memory models |
| N. Raja | TIFR Mumbai | raja@tifr.res.in | models of concurrent interaction |
| Shibashis Guha | TIFR Mumbai | shibashis.guha@tifr.res.in | timed and probabilistic systems, verification, reactive synthesis, formal methods, algorithmic game theory |
| Ansuman Banerjee | ISI Kolkata | ansuman@isical.ac.in | formal verification, hardware/software verification, runtime monitoring |
| Sumana Ghosh | ISI Kolkata | sumana@isical.ac.in | cyber-physical systems, formal verification of AI-assisted systems, real-time scheduling, machine learning for EDA |
| Arpit Sharma | IISER Bhopal | arpit@iiserb.ac.in | formal methods, probabilistic/stochastic model checking, model-based testing, process mining |
| Saurabh Tiwari | DAU Gandhinagar | saurabh_t@dau.ac.in | software engineering, mining software repositories, NLP for software engineering |
| Puneet Bhateja | DAU Gandhinagar | puneet_bhateja@dau.ac.in | testing distributed systems |
| Santonu Sarkar | BITS Pilani Goa | santonus@goa.bits-pilani.ac.in | software metrics, software architecture, automated software engineering, empirical SE, cloud/edge computing, program analysis, formal verification |
| Baskar Anguraj | BITS Pilani Goa | abaskar@goa.bits-pilani.ac.in | formal languages and automata theory; logic in computer science; security protocols and verification |
| Abhishek De | Krea University | abhishek.de@krea.edu.in | structural proof theory, automata theory |
| Prathamesh T V H | Krea University | prathamesh.turaga@krea.edu.in | type theory, and automated verification of mathematical proofs |
| Inzemamul Haque | Krea University | inzemamul.anamul@krea.edu.in | application of formal methods and artificial intelligence to software systems and cyber-physical systems |
| Aalok Thakkar | Ashoka University | thakkar@ashoka.edu.in | program synthesis and automata theory |
This listing is a working document compiled from public departmental faculty pages and may contain errors. The areas of interest is as mentioned by the respective individuals. Please help improve the page by emailing nvk@iitm.ac.in