Introduction

    In the academic year 2004-2005, the Department of Computer Science and
 Engineering (CSE) continued maintaining its leadership among peer institutions
 of its kind. With 26 faculty and 36 research scholars on its roll, CSE, IIT Bombay
 also continued as the largest and most active research program in the country.
 This was endorsed when 2 of our students won awards given by IBM for Oustanding 
Research Scholars (4 awards total from 18 nominations all over India).

Academic Programmes

    The department admitted 41 students in the B.Tech program, 55 stuents in the
M.Tech program, 08 students for the Ph.D program and 22 students for the Dual
Degree program. Degrees were awarded to 32 B.Tech students, 39 M Tech students,
1 MS student and 2 Ph.D.students.  The department continued to receive
attractive fellowships for its B.Tech, M.Tech, and Ph.D programs from the
industry with 1 B.Tech and 2 M.Tech fellowships from MISYS, 3 Ph.D. fellowships
from Infosys, and 2 M.Tech fellowships from VijayVashee and 3 Dual Degree from
Vincent Fernandes donation.

Research and Development Activities

Sponsored Research Projects

Ongoing Projects             30    
New Projects                 7     
Faculty involved             18    
Outlay of new projects Rs.   71,61,642/- approximately                      
  

Details of New Sponsored Research Projects initiated in 2004-2005

Ontology Based Framework for Integration of Geographic Information, Sponsored by:
Dept. of Science and Technology (DST).

Performance of SMPs on the Linux TCP/IP Stack, Sponsored by:UNM Systems, Pune.

Automated Derivation of Topology and Resource Requirements, Sponsored by:Intel IT, USA.

Improving GCC Ports of ABACUS and ANUPAMA. Sponsored by : Defence        
Research & Development Organization.

Automated Knowledge Level Software Engineering. Sponsored by: Department of Science
& Technology.

Association for Computing Machinery - International Collegiate Programming Contest-
IBM Canada Ltd. Sponsored by:IBM Canada Ltd.

Design, Development and installation of tool kits for auto co- registration and 3-D
image fusion of multimodality volumetric images.  Sponsored by : KA  BRNS.

Ongoing Projects

Centre for Formal Design and Verification of Software. Sponsored by : Board of
Research in Nuclear Science, Govt. of India.

Ontology Based Framework for Integration of Geographic Information. Sponsored by :
Dept. of Science and Technology(DST).

Seminar on IRISS-2004 (Intel Research Institution Students Seminar). Sponsored by
:Private Organization.

Development Gateway Foundation ICT Research and Training Centre, India.Sponsored by
:Private Organization.

MTech Project, Bio-informatics. Sponsored by :Tata Infotech.

Consolidated Tata Infotech Projects. Sponsored by :Tata Infotech.

MTech sponsored Project.Sponsored by:M/s Switchon Networks, Pune.

4 MTech Students sponsored Project. Sponsored by :TIL.

Time category in Computer Science and Engineering. Sponsored by: Donation.

Partial redundancy elimination.Sponsored by:Indo-US Collaboration

Sponsorship of 4 MTech Students. Sponsored by : M/s Switchon Networks, India, Pune.

A Service-Oriented Architecture for Anonymous Remote Computing (ARC) on Internet.
Sponsored by : Indo-US Collaboration.

Centre in Excellence in Intelligent Internets. Sponsored by:TCS.

MTech Sponsored Project. Sponsored by :TCS.

M.Tech Projects, VxCC Compiler, Garbage Collection Sponsored by: Tata Infotech.

Short Adhoc Appointment for joint projects. Sponsored by :Tata Infotech.(Private
Organization).

Network Security - M.Tech Project. Sponsored by :TIL.

Java Compilation issue. Sponsored by : Intell, USA.

Framework for National Entrepreneurs Support Programme for IT at Premier
Institutes.. Sponsored by : Ministry of information Technology & Communication. 

Low Power Analysis & Implementation in an ASIC (M/s Conexant Systems India Pvt.
Ltd.). Sponsored by : Private Organization.

Parallel Extensions to C for UMS architecture - I & II. Sponsored by :MTech Project.

Sponsorship of 2 MTech Projects. Sponsored by : M/s Tata Research Development &

Design Centre, Pune-411013.

Ministry of Resource Centre for Indian Language Technoogy Solutions - Marathi &
Konkani.. Sponsored by :IT.

MTech Sponsored Project. Sponsored by :TCS.

Automated Performance Analysis of Distributed Systems. Sponsored by: MHRD. 

Scheme of Modrob Animated Avatar Experiments Modern under Graduate Laboratory in
Computer Graphics. Sponsored by :MHRD.

M.Tech Proj. Re-Engg. Of procedural code to object oriented
code.. Sponsored by : Tata Infotech.

Sponsorship of MTech Project. Sponsored by : M/s Tata Research
Development and Design Centre, Pune.

Faculty Partnership Award. Sponsored by : Indo-US Collaboration

Java parser - M.Tech project. Sponsored by :TIL.

Consultancy Projects

No. of Jobs            =  14            

No.of faculty involved =   5             

Income generated       = Rs.89,60,773/-    

Extension Programmes

Continuing Education Programmes

"Prolog Programming and Natural Language Processing" from 24.12.2004 to 31.12.2004. 

"Component Technologies" from 10.06.2005 to 11.06.2005. 

"Introduction to Database Systems" from 01.01.2005 to 01.01.2005. 

"Design and Analysis of Algorithms"from 19.03.2005 to 21.03.2005.  

"Certification Course on Advance Programming" from 30.05.2004 to 13.06.2004. 

"Performance Analysis of Systems and Networks" from 23.07.2004 to 23.07.2004. 

"Performance Analysis of Systems and Networks" from 20.11.2004 to 20.11.2004. 

Workshops and other Events

  The department organized three major events this year. A one -day "Workshop on
Morphology" was organized by Prof. Pushpak Battacharya on 31st March, 2005.  Prof.
Sharat Chandran co-ordinated the hosting   of the Regional Finals of the ACM
International Collegiate  Programming Contest in December 2004. Lastly, a workshop
on Security and Networking was organized by the CSEA in 13th Feb. 2005, under the
leadership of Prof. Sivakumar.

Publications

Faculty/Scientific Staff Publication

- Books/Book chapters written/edited        

Books                                         3
Chapters in Book                              1
International Journal Papers                  7
International Conference/Proceedings papers   30
National Journal papers                       1                             
National conference papers                    3            

Books

Database System Concepts Edition 5. By: Abraham Silbershatz, Henry F. Korth and S.
Sudarshan in 2005. Publisher: McGraw Hill.

Operating Systems - A Concept-based approach, Chinese Language Edition. By:
Dhamdhere D.M.. Publisher: McGraw-Hill.

Computer Vision, Recent Perspectives. By: B. Chanda and Sharat Chandran and Larry
Davis. Publisher: Allied Publishers and ACM Digital Library.

Book Chapters

Sharat Chandran and Abhineet Sawa. 
Chapter No. 3. Real-Time Detection and Understanding of Isolated Protruded Fingers,
in Advances in Real-Time Vision for Human-Machine Interaction, Springer Verlag.
 

Papers in International Journals

Viahnu A Subash, Sarda N.L., Subash Babu A.  "SCM Enablers and Goals Impact Modeler
(SEGIM) : An eTrainer", Information and Operations Management Education, in 2005,
Vol. no.1, Issue no.1.

D Silva V. J., Ramesh S. and Sowmya A "Synchronous Protocol Automata for Modelling
and Verification of Communication Architectures", IEE  Proceedings Computers And
Digital Techniques, in January, 2005..
 
Sharat Chandran, Biswarup Choudhury and Aviral Pandey âEfficient
LightField based camera walk", (to appear in) Pattern Recognition Letters.

Shankara Narayanan Krishna "New Results in Contextual/rewriting P
Systems",Fundamenta Informaticae,Vol. no. 64, page no. 241-253.

Shankara Narayanan Krishna
"P Systems with Mobile Membranes", (to appear in) Natural  Computing.

Sharat Chandran, Mayur Srivastava, 
"Irregular, Unknown Light Sources  in Dynamic Global      Illumination", Image and
Vision Computing, http://dx.doi.org/10.1016/j.imavis.2004.03.014 .

Rushikesh K. Joshi, Subash Rajaa, 
"Modeling VP operation: the Diwali Festival Problem", (to appear in) ACM SIGOPS
Operating Systems  Review, ACM Press, NY,USA.
http://portal.acm.org/citation.cfm?id=1055218.1055222,in April 2005,  Vol. no. 39,
Issue no. 2, page no. 51-53.

Papers in National Journals

Abhiram Ranade, Srikrishna M, Tilak K and Datar M, 
"Mumbai Navigator", Indian Journal of Transport Management, Vol. no. 29, Issue no.
1, page no. 50-68.

International Conference/workshops

Naresh Singmar, Vipul Mathur, Varsha Apte, Manjunath D, 
"A Combined LIFO-Priority Scheme for Overload Control of E-commerce Web Servers", 
International Infrastructure Survivability Workshop, Lisbon, Portugal, in December,
2004.

Vipul Mathur, Varsha Apte, 
"A Computational Complexity-Aware Model for Performance Analysis of Software
Servers", Modeling, Analysis and Simulation of Computer and Telecommunications
Systems, Volendam, Netherlands, in October, 2004.

Ganesh Ramakrishnan, Soumen Chakrabarti, Deepa Paranjpe, Pushpak Bhattacharyya,
"Is question answering an acquired skill?", International World Wide Web Conference,
New York, http://www.cse.iitb.ac.in/~soumen/doc/www2004/, in 2004.

Baru Rao, Sarda N.L.,
"Knowledge Ontology in Software Maintenance Outsourcing ", Proc. of Ist Intl.
Conference on Knowledge Eng. and Decision Support, Portugal, in July 21-23, 2004,
page no. 223-231.

Soumen Chakrabarti, Alan Frieze, Juan Vera, 
"The effect of search engines on preferential attachment", ACM-SIAM Symposium on
Discrete Algorithms (SODA), ACM-SIAM Symposium on Discrete Algorithms (SODA),
http://www.cse.iitb.ac.in/~soumen/doc/soda2005/,in 2005.

Soumen Chakrabarti, 
"Discovering links between lexical and surface features in questions and answers",
ACM SIGKDD Conference on Knowledge Discovery and Data Mining, WebKDD Workshop,
Seattle, http://www.cse.iitb.ac.in/~soumen/doc/linkweb2004/, in 2004.

Shantanu Godbole, Abhay Harpale, Sunita Sarawagi, Soumen Chakrabarti, 
"Document classification through interactive supervision of document and term
labels", European Conference on Principles and Practice of Knowledge Discovery in
Databases (PKDD), Pisa, Italy, http://www.it.iitb.ac.in/~shantanu/work/pkdd04.pdf,
in 2004.


Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty, 
"Bounded Validity Checking of Interval Duration Logic", International Conference on
Tools and Algorithms for Construction and Analysis of Systems (TACAS), Edinburgh,
UK, www.cse.iitb.ac.in/~supratik/publications/papers/tacas05.ps.gz .

Baru Rao, Sarda N.L., 
"Impact of Application Knowledge on Perfective Maintenance Outsourcing - A Case
Studt.", (to appear in) Proc. of 17th Int. Conference on Software and Systems
Engineering & Their Applications, Paris, France, in Nov.30, 2004.

Chandran S and  Hebbar S and Mamania V and Sawa A, 
"Improved Cut-Based Foreground identification ", ICVGIP, Calcutta, in December 2004.

Chandran S and Karapurkar A and Goel N, 
"The Fast Multipole Method for Global Illumination in Recent Trends in Computer
Vision and Graphics.", ICVGIP, Calcutta, in December 2004.

Chandran S and Mamania V and Shaji A, 
"Markerless Motion Capture from Monocular Videos in Recent Trends in Computer Vision
and Graphics", ICVGIP, Calcutta, in December 2004.

Nagaraja G
"Performance Studies on KBANN", (to appear in) 4th International Conference on
Hybrid Intelligent Systems, Kitakyushu, Japan.

Ramesh S, Sampada Sonalkar, Dsilva V. J., Vijayalakshmi B, Navin Chandra, 
"A Toolset for Modeling and Verification of GALS Systems", (to appear in) Computer
Aided Verification (CAV), Boston, USA, in July 2004.

Shariq Rizvi, Alberto Mendelzon, Sudarshan S and Prasan Roy, "Extending Query
Rewriting Techniques for Fine-Grained Access Control", ACM Conference on Management
of Data (SIGMOD), Paris,
http://www.cse.iitb.ac.in/~sudarsha/Pubs-dir/nontruman-sigmod04.pdf, in 2004.

Shankara Narayanan Krishna, 
"P Systems with Symport/Antiport : The Traces of RBCs", Workshop on Membrane
Computing (WMC), Milan, Italy, in LNCS, Vol. no. 3365, page no. 331-343.

Shankara Narayanan Krishna, 
"The Power of Mobility : Four Membranes Suffice", (to appear in) Computability in
Europe (CiE), Amsterdam, in LNCS, Vol. no. 3526, page no. 242-251.

Veena Dixit, Satish Dethe, Rushikesh K. Joshi, 
"Morphology-based Spellchecking for Marathi, an Indian Language", (to appear in)
Language & Technology Conference: Human Language Technologies as a Challenge for
Computer Science and Linguistics, Poznan, Poland, in April 21-23, 2005.

Sharat Chandran and Shrinath Shanbhag, 
"MoCap Based New Walk and Climb Synthesis", ICVGIP, Calcutta.

Rajat Mohanty, Ashish Almeida and Pushpak Bhattacharyya, "Prepositional Phrase
Attachment and Interlingua", (to appear in) International Conference on Intelligent
Text Processing and Computational Linguistics (CCLING), Workshop on UNL, Mexico
City, Mexico, http://www.cse.iitb.ac.in/~pb/papers/CCLING-UNL, in February, 2005.

Ramakrishnan G, Devi S, M.K. Reddy and Pushpak Bhattacharyya, 
"A Multistage Search Strategy for Cross Lingual Information Retrieval", (to appear
in) International Workshop on Spatial Issues in Language and Vision, IIT Kanpur, in
March, 2005.

Rajat Mohanty, Ashish Almeida, Srinivas Samala and Pushpak
Bhattacharyya, 
"The Complexity of OF in English", (to appear in)International
Conference on Natural Language Processing (ICON), Hyderabad, 
India, in December, 2004.

Debasri Chakrabarty and Pushpak Bhattacharyya,
"An Investigation in Verb Knowledge Base Creation", (to appear in) International
Conference on Natural Language Processing (ICON), Hyderabad, India, in  December,
2004.

Manish Sinha, Mahesh Kumar, Prabhakar Pande, Lakshmi Kashyap and
Pushpak Bhattacharyya, 
"Hindi Word Sense Disambiguation", (to appear in) International Symposium on Machine
Translation, Natural Language Processing and Translation Support Systems, Delhi,
India.
http://www.cse.iitb.ac.in/~pb/papers/HindiWSD.pdf, in November, 2004.

Medimi Srinivas and Pushpak Bhattacharyya, 
"Unsupervised PP Attachment Disambiguation Using Semantics ",(to appear in)
International Conference on Natural Language Processing (ICON), Hyderabad, India.

Kedar Bellare, Anish Das Sharma, Atish Das Sharma, Navneet Loiwal and Pushpak
Bhattacharyya,,
"Generic Text Summarization Using Wordnet", (to appear in) Language Resources
Engineering Conference (LREC),Barcelona,Spain. 

Mrugank Surve, Sarvjeet Singh, Satish Kagathara, AgroExplorer Group and Pushpak
Bhattacharyya, 
"AgroExplorer: a Meaning Based Multilingual Search Engine,",
(to appear in) International Conference on Digital Libraries,
Delhi, India, in February, 2004.

Ambar Gadkari, Ramesh S, Parekhji R,
"CESC: A Visual Formalism for Specification and Verification of SoCs", ACM Symposium
GLSVLSI, USA, in April 2004.

Kamat V, Kulkarni A. R. and Ramesh S., 
"Slicing Tools for Synchronous Reactive Programs", ACM SIGSFOT Int. Symposium on
Software Testing and Analysis (ISSTA), Boston, in July 2004.

Ambar Gadkari and Ramesh S, 
"Automated Synthesis of Assertion Monitors Using Visual Specification,", IEEE/ACM
International Conference on DATE, Munich, in February.

National Conference/workshops

Vasudeva E, Rushikesh K. Joshi, 
"A scheme for implementing mobile ambients over an ARC framework Workshop on
Software Design and Architecture, IIIT Bangalore, in Dec. 23-24, 2004.

Satish Kagathara, Manish Deodalkar and Pushpak Bhattacharyya,
"A Multistage Search Strategy for Cross Lingual Information Retrieval", (to appear
in) Symposium on Indian Morphology, Phonology and Language Engineering (SIMPLE), IIT
Kharagpur,
http://www.cse.iitb.ac.in/~pb/papers/multistage-, in February, 2005.

Venkata Sivaram Sastry, Salil Badodekar and Pushpak Bhattacharyya,
"Question to Query Conversion in the Context of a Meaning Based,
Multilingual Search Engine", (to appear in) Symposium on Indian
Morphology, Phonology and Language Engineering (SIMPLE), IIT
Kharagpur, http://www.cse.iitb.ac.in/~pb/papers/Question-to-Query.pdf, in February,
2005

Talks By Visitors

Computer Vision for Industrial Inspection and Biometrics-based
Personal Authentication, Prof. Ajay Kumar on February 2, 2005.

Computer-Aided Diagnosis (CAD): Application to Breast and Prostate Cancer, Mr. Anant
Madabhushi on January 19, 2005.


Executable Specifications: From Foundations to Microsoft Tools,
Yuri Gurevich on January 17, 2005. 

Forbidden patterns and distances,  Prof.Janos Pach on January 12, 2005.

Challenges and Applications of Image and Video Processing,Serene
Banerjee CAD Engineer Intel Inc.,Hillsboro on January 12, 2005. 

New constructions of Probabilistically Checkable Proofs, Madhu Sudan on January 10,
2005.

A Semantic Framework for Biographical Summarization,Prof. Inderjeet Mani  on January
8, 2005.

File Virtualization with DirectNFS, Anupam Bhide on September 8, 2004.

Invited Talks by CSE Faculty

Bhattacharya Pushpak
"Multilingual Meaning Based Search" at Universal Digital Library Conference on
19.03.2005 at IIIT Allahabad.
"Natural Language Processing: Promises and Challenges" at Asian Computing Conference
and Exhibition on 13.03.2005 at Lahore, Pakistan.
"Tutoral on Probabilistic Parsing (with Dr. rajat Mohanty and Ms Anupama Dutta)" at
International Conference on Natural Language Processing on 19.12.2004 at IIIT
Hyderabad.
"Interlingua Based MT and Verb Knowledge Base Creation " at Research Seminar on
13.05.2004 at CSE Department, Stanford University.
"Interlingua Based MT and Verb Knowledge Base Creation " at Research Seminar on
22.06.2004 at Microsoft Research, Redmond, Seattle.
"Interlingua Based MT and Verb Knowledge Base Creation " at Research Seminar on
16.06.2004 at Yahoo, Sunnyvale, California.
"Interlingua Based MT and Verb Knowledge Base Creation " at Research Seminar on
10.07.2004 at CS Department, University of California, Berkeley.
"Universal Networking Language and Development Gateway Activities " at Research
Seminar on 29.06.2004 at Development Gateway Foundation, Washington, DC.
"Can Autonomous Agents Have Natural Language Interfaces?" at Research Seminar on
25.07.2004 at Honda Research Institute, Mountainview, California.

Chakrabarti Soumen
"Machine learning for hypertext applications" at Distinguished lecture, Max-Planck
Institute ADFOCS summer course on 06.09.2004 at Saarbrucken, Germany.
"Breaking through the syntax barrier: Searching with entities and relations" at
Invited plenary talk, European Conference on Machine Learning and European
Conference on Principles and Practice of Knowledge Discovery in Databases on
20.09.2004 at Pisa, Italy.

Chakraborty Supratik
"Automatic Disjunctive Decomposition for Symbolic Reachability Analysis" at Talk at
Hardware Verification Group, Stanford Universtiy on 22.06.2004 at Stanford
University.
"Symbolic Reachability Analysis with Disjunctive Decomposition" at CS and Embedded
Systems Joint Seminar at National University of Singapore on 10.11.2004 at National
University of Singapore, Singapore.

Chandran Sharat
"Multimedia Computing" at Workshop for Bombay University Teachers. on 08.01.2005 at
Mumbai.
"Computer Vision: Recent Perspectives" at Workshop for Mumbai University Teachers on
15.02.2005 at Mumbai.
"Efficient Light Field Based Camera Walk" at Hongkong University of Science and
Technology Colloquium Series on 21.03.2005 at Hong Kong., "Graph-based
segmentation." at GE Workshop on 15.07.2004 at Bangalore.
"Tutorial on Software Architecture Descriptions" at 3rd Software Design and
Architecture Workshop, Dec 2004 on 24.12.2004 at IIIT Bangalore.
"A Model of Dynamically Pluggable First Class Aspects" at Software Architecture
Workshop on Model Driven Architecture and Aspect Orientation on 04.04.2005 at TCS,
Delhi.
"Early Aspects in Agent Oriented Modeling " at First ITPAR Workshop on on Knowledge
Based Software Engineering on 20.01.2005 at TIFR, Mumbai.
"Enterprise Middleware Architectures: An Introduction" at Convergence 2005: Workshop
on Computing Infrastructure in Enterprise Networks on 06.03.2005 at KReSIT, IIT
Bombay.
"Introduction to Object Orientation" at AICTE sponsored Workshop on Object Oriented
Analysis and Design on 20.12.2004 at R.I.T. Islampur.

Krishna S.
"Membrane Division: Are Polarizations Required?" at Brainstorming Week on Membrane
Computing (BWMC) on 01.02.2005 at University of Seville, Seville, Spain.

Nagaraja G.
"Machine Learning" at Invited Lectures on 23.03.2004 at TRDDC, Pune. "International
Conference on Knowledge based systems" at Invited Lecture and Session Chair on
01.01.2004 at Govt. College, Goa.


Sudarshan S.
"Fine-grain authorization" at CASCON on 04.10.2004 at Toronto.
"Fine-grain authorization in Databases" at - on 05.11.2004 at Univ. Washington,
Seattle.

Honorary Work

Chakrabarti Soumen 
Tutorial titled Text search for fine-grained semi-structured data at SIGKDD 2004,
with Christos Faloutsos,Area editor for Data Mining and Knowledge Discovery Journal.
 PC member, ICDE 2004,WWW 2004, VLDB 2004, SIGIR 2004,SIGKDD 2004.

Ranade Abhiram G.
Member, Scientific Computing Panel, Naval Research Board, Govt of India.

Chandran Sharat
Program Co-Chair, ICVGIP 2004, Track Chair and Speaker, CSI 2004,
Asia Regional Finals Contest Director, ACM ICPC,World Finals Coach, ACM ICPC 2005.

Faculty and their Specializations

1. S.Biswas
Programming Languages, Compiler Optimization, Parallelizing Compilers.

2. A.A.Diwan
Algorithms, Graph Theory, Combinatorics.
 
3. Amitabha Sanyal
Programming Languages.

4. Abhiram Ranade   
Algorithms.

5. D.M.Dhamdhere
Optimizing Compilers, Language Processing tools, Operating systems, Distributed
systems.

6. G.Nagaraja
Machine Learning, Pattern Recognition, Knowledge based systems

7. G.Sivakumar
Automated Reasoning, Formal Methods, Networks

8. Krithi Ramamritham
Databases, Embedded and Real-time systems, Internet and the Web


9. Ketan Mulmumey
Complexity theory, Geometric algorithms, Parallel algorithms.

10. M.R.Bhujade
Computer Architecture, Parallel and distributed Processing, Design automation of
Logic, Neural Networks and Applications.

11. Milind Sohoni
 Algebraic and Geometric Analysis, Computer-Aided Geometric Design, Distributed
Computing
   
12. N.L.Sarda
Database Systems, Software Engineering, Information Systems

13. Pushpak Bhattacharyya
Natural Language Processing , Machine Learning , Neural Networks.
 
14. R.D.Kumar
Operating Systems, Performance Evaluation, Programming.

15. R.K.Joshi
Object Oriented Systems, SoftwareArchitectures, Distributed Systems.

16. S.Arunkumar
Reliable Computing, Networks and Systems.

17. S.Ramesh
Formal Specification and Verification ,Real Time embedded Systems , Software
Engineering, Distributed Systems

18. Sharat Chandran
Computer Graphics , Computer Vision, Images, Geometry, Multimedia, Data Structures.

19. Soumen Chakrabarti
Hypertext and Semi-Structured databases and data mining , Hypermedia protocols for
the Internet.

20. S.S.S.P.Rao
Computer Architecture, VLSI Design, Reconfigurable Computing,
Embedded Systems, Microprocessors and Interfaces

21. S.Sudarshan
Databases
  
22. Supratik Chakraborty
Formal methods for verification and analysis, Asynchronous systems
 

23. Sundar Vishwanathan
Algorithms

24. Uday Khedkar
Programming Languages, Language Processing, Compilers.

25. Varsha Apte
Performance Evaluation of Computer Systems and Networks. 

26. Krishna S
DNA Computing, Membrane Computing, Grammar Systems, Combinatorics on words, Formal
Methods, Duration calculus and Logics of Time.