Introduction

The year 1999-2000 has been a successful year for the department of Computer Science and Engineering at IIT Bombay. The department continues to attract funding from the Government and the Industry. The year is marked by setting up of the centre for  Formal Design and  Verification  funded by BARC/DAE and the founding of the  Centre  for Research  on Intelligent Internets with   funding from  TCS. The department continued its committment in the dimensions of research, development and training.

Academics

The  department of  Computer  Science and Engineering offers an undergraduate  B. Tech.  program,  an  M. Tech. program, an M.S. program, and a Ph. D. program. The M. Tech. is a second level and and  flexible program in CSE. It permits a student to specialize in  areas  such  as  theoretical  computer science, algorithms, combinatorics, programming languages, databases, data mining, machine intelligence, networks, hypertext information  retrieval,  architecture, parallel computing, distributed computing, graphics  and object oriented systems. The department admitted 43  students in the B. Tech.  program, 56 students  in  the  M. Tech. program, 2  students  for  the  Ph.D.  program and 1 student for the M.S. program. The  department continued to receive attractive  fellowships  for  its M.Tech and Ph.D programs from the Industry with 1 Ph.D and  4  M.Tech  fellowships from IBM,  2 Ph.D. fellowships  from  Infosys  and 1 M.Tech fellowship from D.E. Shaw.


Students Intake

M.Tech.	56
B.Tech.	43
Ph.D.	02
M.S.	01

Degrees Awarded

M.Tech.	47
B.Tech.	38
Ph.D.	04

Research and Development Activities

Sponsored Research Projects

Ongoing Projects	28
New Projects	17
Completed Projects	6
Faculty Involved	17
Outlay of New Projects	3.53 crores

List of Major Sponsored Research Projects














































Consultancy Projects:

Funds received:   53.93 Lakhs

No.Of Projects:   28

No.Of Faculty Involved: 6

List of Major Consultancy Projects A Semantic   Basis for DDMP, by SAS, Bangalore.
Faculty involved Prof.S.Ramesh, Funds: Rs.75,000.

Developing a Verification System for 1960 Processor, Agency : VSSC, Trivandrum
Faculty involved : Prof.S.S.S.P.Rao,    Prof.G.Sivakumar,    Prof.S.Ramesh   Funds: Rs.7.00 lakhs.

Consultation to OSS Systems India Pvt.Ltd. on retinership basis  
Faculty involved : Prof.S.S.S.P.Rao,  Funds : Rs.2.00 lakhs

FPGA  based  Logic  Design  and  Verification  for  Networking    Application   by  OSS Systems India Pvt.Ltd. 
Faculty involved:    Prof.S.S.S.P.Rao     Funds : Rs.3.00 lakhs

Advise  on  hardware software Evaluation.    Organisation :     Thane Muncipal  Corporation. 
Faculty  involved:   M.R.Bhujade.      Duration :3 months. Funds : Rs.1.32 lakhs.

Review   of   Course   material,   Tata   Infotech.   
Faculty      involved: Prof.S.Sudarshan. Funds: Rs.10,000.

Specification  and  Analysis  Tool  for  Policy  Specification     Networks,    USA.  
Faculty  involved :   Prof.    G.Sivakumar      with   Prof.S.S.S.P.Rao.  Funds : 4000 US $ for 1 year.

Layout-driven  logic transformations for   improving   circuit     area,   delay, power and noise under design constraints.   Agency :  Fujitsu  Laboratories  of  America,  Inc.  
Faculty     involved : Prof.  Supratik  Chakraborty.  Funds:  $36,000  for     entire  project   (from Jan to Dec.2000)

Continuing Education Programmes

The  department offered 10 CEP courses  in  various  specialized  topics and the funds collected through CEPs and training programs  exceed Rs. 36.17 lakhs. In   addition  to  the  CEPs  and  open   programs,   Instruction  Enhancement Programmes (IEPs) were also offered.
List of CEPs:

1. Object Oriented Methodology for Software Development,   for TCS, Mumbai, April 19-22, 99.

2. Information Technology for ICICI, Mumbai, May 03,99.

3. Object Oriented Methodology for TATA Infotech Ltd., Mumbai,   May 17 - 19, 99.

4. Software Development Techniques & Tools for Origin Info.Tech.,     Mumbai, June 15 - July 07, 99.

5. Database Management Systems for Wico International, Hyderbad, August 02 - 03, 99.

6. Network Security for UBEST India, Calcutta, December 03 - 04,     99.

7. Linux System Administration, Networking and Internet for CMS     Computers Ltd., Mumbai, February 21 - 25, 00.

8. Software Engineering for Origin Info.Tech., Mumbai,     March 13 - 31

9. Preparation of Training Material on Computer Science     Fundamentals For TCS, Chennai, February.   

10. Indian Language Based Document Processing 2days,December      1999     With the Hindi Cell, IIT Bombay.

List of Instruction Enhancement Programmes (IEPs) Conducted under project SSS-IMPACT

1. Enterprise Resource Planning (ERP), June 14-June 25, 1999

2. Object Oriented Systems, June 28-July 2, 1999

3. Distributed Computing Using JAVA, July 5- July 9, 1999.

4. Basic PC Hardware and Networking Workshop, 2nd to 4th April     1999

5. VHDL and Designing with FPGA,  3rd to 7th May 1999

6.Basics of Networking, Linux and Windows NT, 13th and 14th Aug.    1999

7.Linux System Administration Networking and Internet,    21st to 25th Feb. 2000

8.Introduction to VLSI Design,6th to 17th Dec. 1999

New Infrastructure

Software lab was upgraded with 12 Intel Pentium - II, 400 MHz, 4.3 GB PCs and 18 Intel Celeron 400MHz, 4.3 GB PCs. A Sun Ultra Sparc 10, 100 Mbps Ethernet switch was added to Informatics Lab.

Publications

Faculty/Scientific Staff Publication

Books/Chapters in Book 2

Int'l Journal Papers 18

Int'l Comference/Proceedings papers 24

National Conference/Proceedings Papers 1

Books and Book Chapters:

• D.M.Dhamdhere  
    Operating Systems Concepts, Tata McGraw Hill,  1999.
• Ketan  Mulmuley  
     Randomized  algorithms  in   computational geometry,     a book chapter, in Handbook of Computational Geometry,    pages 703-724, North-Holland, 2000.

Papers in  Journals ( International):

• U.P. Khedker, D.M. Dhamdhere   Bidirectional Data Flow Analysis : Myths and Reality,   ACM SIGPLAN Notices, vol. 34, 6 (June 1999), 47-57.
• R.Krishnan, G.Sivakumar, P. Bhattacharyya,    Extracting Decision Trees from Trained Neural Networks,    Pattern Recognition Journal Volume 32, December, 1999.
• Emad A. Fahdel, P. Bhattacharyya,    Application  of  Steerable  Transform  Using  Neural  Networks      for  Signature Verification,    Pattern Analysis and Application Journal, Volume 2, No. 2,    June, 1999,    Springer London.
• Ketan Mulmuley                  Lower bounds for a parallel model without bit operations.   The  SIAM  Journal of computing, vol 28, no.  4,  1999,  pages    1460-1509  
• Yun K.Y., James K.W., Fairlie-Cuninghame R, Chakraborty Supratik   and Cruz R.L.,    A Self-Timed Real-Time Sorting Network   Accepted for publication in IEEE Transactions on VLSI Systems.   
• Chakraborty Supratik, Yun K.Y., and Dill D.L.   Timing Analysis of Asynchronous Systems using Time Separation    of Events, IEEE Transactions on Computer-Aided Design of    Integrated Circuits and Systems,  Vol 18, No. 8, pp. 1061-1076,   Aug 1999.  
• J. R. Haritsa, and K. Ramamritham   Real-Time  Databases  in  the New  Millenium,  (to  appear  in)     Real-Time  Systems, 2000.  
• J. R. Haritsa, K. Ramamritham, and R. Gupta   The  PROMPT Real-Time Commit Protocol, IEEE Trans. on  Parallel     and    Distributed  Systems,  pp. 160-181, Vol  11,  Number  2,    February 2000.  
• A. Burns, D. Prasad, A. Bondavalli, F. Di. Giandomenico,   K.  Ramamritham, J. A. Stankovic, and L. Strigini   The    Meaning  and   Role  of  Value  in  Scheduling  Flexible      Real-time  Systems,    Journal of Systems Architecture, Vol. 46 (2000), p. 305-325.  
• N.Suri and K. Ramamritham   Editorial: Special Section on Dependable  Real-Time  Systems,    IEEE  Trans. on Parallel and Distributed Systems,    June 1999, Vol 10, No. 6, pp. 529-531.  
• B. Hamidzadeh, Y. Atif, K. Ramamritham   To    Schedule   or   to   Execute:   Decision   Support    and      Performance    Implications,    Real-Time Systems, May 1999, Vol 16, No. 2/3, pp. 155-187.   
• J. A. Stankovic, K. Ramamritham, D. Niehaus, M.  Humphrey, and   G. Wallace   The  Spring  System: Integrated Support for  Complex  Real-Time    Systems,  Real-Time Systems, May 1999, Vol 16, No. 2/3, 97-125.
• W.Burleson, J.Ko, D. Niehaus, K.Ramamritham, J.A.Stankovic,    G.Wallace  and C. Weem    The     Spring    Scheduling    Co-Processor:   A    Scheduling    Accelerator,    IEEE Trans. on VLSI Systems, Vol. 7, No. 1, March 1999, pp. 38-   47.
• S. Sriram and R. K. Joshi,   Filter   Objects  for  Distributed  Object  Systems,   Accepted      for publication in Journal of Object Oriented Programming.
• R.K. Joshi,    Filter    Configurations  for  Transparent   Interactions    in     Distributed  Object   Systems",  accepted  for  publication  in     Journal  of Object- Oriented Programming   
• S. Ramesh,    Implementation  of Communicating Reactive  Processes,  Parallel    Computing, Vol. 25, No. 6, 1999.
• R. Krishnan, G. Sivakumar, P. Bhattacharya,    A  search  technique for rule extraction  from  trained  neural    networks Pattern Recognition Letters, 20 (1999), 273-280. 
• Sundar Vishwanathan,   An Approximation Algorithm for finding a long path in    Hamiltonian Graphs,   In Proceedings of the Eleventh Annual ACM-SIAM symposium    on Discrete Algorithms, pp 680-685, Jan 2000.   (Full version of the paper invited to appear in a special   issue of the Journal of Algorithms.)
• Soumen  Chakrabarti,  Byron  Dom,  S.  Ravi    Kumar, Prabhakar     Raghavan,     Sridhar  Rajagopalan,  Andrew  Tomkins,  Jon   M.    Kleinberg,   and     David  Gibson.  Hypersearching   the   Web    Scientific American, June   1999 (invited).   
• Soumen  Chakrabarti,  Byron E. Dom,S.  Ravi   Kumar,  Prabhakar    Raghavan, Sridhar Rajagopalan, Andrew Tomkins,David Gibson, and    Jon Kleinberg.  Mining the Web's Link Structure.   In IEEE Computer, vol. 32, no. 8,August 1999. 
• Soumen Chakrabarti,     Recent results in automatic Web resource discovery.   ACM Computing Survey, December 1999 (invited).

Papers in Proceedings/Conferences (International)   

• D. Kapur and G. Sivakumar    Proving   Associative-Commutative   Termination   Using    RPO-   compatible Orderings  Selected Papers on Automated Deduction in     Classical  and   Non-Classical Logics,    Lecture Notes in Artificial Intelligence 1761, Springer-Verlag,    August 1999, pp. 39-61.
• A. Gopa Sen, P. Bhattacharyya,     Rule Extraction from Real Valued Neural Networks,    International  Conference on Applied Pattern  Recognition  and     Digital Techniques, December 1999, Calcutta, India.
• P. Bhattacharyya,     Tools for Universal Networking Language Expression Processing,    International Symposium on Universal Networking Language,    Brussels, November, 1999.
• Ketan Mulmuley with P. Shah,      A Lower bound for  the  shortest path problem,     to appear in the IEEE 15th annual conference  on     Computational Complexity, Italy, July, 2000.
• V. Vinay and K. Ramamritham,    Scheduling   Algorithms   for   the  Broadcast   Delivery    of     Multimedia Products,    (to   appear) Second International Workshop on Advanced  Issues    of E- Commerce and  Web-Based Information Systems, June 2000.  
• M.  S.  Raunak,  P.  Shenoy,  P.  Goyal  and  K.  Ramamritham,    Implications   of  Proxy  Caching for   Provisioning   Networks     and Servers, (to appear in) ACM Sigmetrics, June 2000.
• M. Xiong and K. Ramamritham,    Deriving  Deadlines  and Periods for  Update   Transactions  in    Real-Time  Databases, 20th IEEE  Real-Time  Systems  Symposium,    December 1999, pp. 32-43.  
• A. Datta, K. Ramamritham, and H. Thomas,    Curio:  A Novel Solution for Efficient Storage and Indexing  in     Data  Warehouses, Proceedings of the 25th VLDB Conference,  Sep    1999.  
• J. Piater, R. Grupen, and K. Ramamritham,    Learning   Real-Time   Stereo  Vergence  Control,   14th   IEEE     International    Symposium  on   IntelligentControl/Intelligent    Systems and Semiotics,    Sep 1999.  
• C. Pedregal Martin and K. Ramamritham,    Recovery    Guarantees    in  Mobile   Systems,   International     Workshop   on    Data  Engineering  for   Wireless  and  Mobile     Access,  Seattle,  Wash.,   August 1999.  
• K. Goyal, K. Ramamritham, A. Datta, H. Thomas,    Indexing  and  Compression in Data Warehouses,  Proceedings  of     the   Int'l.   Workshop   Design   and  Management   of    Data     Warehouses  '99,    Heidelberg, Germany, June 14-15, 1999.  
• J. Fernandez, K. Ramamritham,    Adaptive   Dissemination  of  Data  in   Real-Time   Asymmetric    Communication  Environments, EuroMicro Conference on  Real-Time    Systems, June  1998,    pp. 195-203.  
• K-J Lin, A. K. Mok, K. Ramamritham, H. F. Wedde,    A  Completely Integrated Approach to Developing,  Implementing,     and    Evaluating   Distributed  Active   Database   Management     and   Its   OS Support, Joint 24th IFAC/IFIP Workshop on  Real-   Time Programming  and   Systems,June 1999.  
• C. Shen, O. Gonzalez, K. Ramamritham, and I. Mizunuma,    User  Level Scheduling of Communicating Real-Time Tasks,    IEEE  Real-Time  Technology and  Applications  Symposium,  June    1999.
• M. Xiong, K. Ramamritham, J. Haritsa, and John A. Stankovic,    MIRROR:   A   State-Conscious  Concurrency  Control    Protocol      for   Replicated    Real-Time   Databases,    IEEE    Real-Time     Technology   and   Applications Symposium, June 1999.  
• J. Shanmugasundaram, A. Nithrakashyap, R. Sivasankaran and   K. Ramamritham,    Efficient  Concurrency Control for Broadcast Environments,  ACM    SIGMOD    International Conference on Management of Data,  May-   June 1999.
• D. Shah, L. V. S. Lakshmanan, K. Ramamritham, and S. Sudarshan,   Interestingness  and Pruning of Mined Patterns SIGMOD  Workshop    on     Data Mining and Knowledge Discovery, May 1999.
• S.Ramesh and P. Bhaduri,    Validation   of  Pipelined  Processor  Designs  using   Esterel    Tools:     A Case Study, Proc. of CAV '99,  LNCS  Vol.1633, Springer 1999.
• P.Roop, A.Sowmya and S.Ramesh,    Automatic Component Matching using Forced Simulation, Proc.  of     13th   Int. Conf. on VLSI Design, IEEE Press, January 2000.
• Prasan Roy, S. Seshadri, S. Sudarshan and Siddhesh Bhobhe,   Efficient   and   Extensible   Algorithms   For   Multi   Query    Optimization,   in SIGMOD 2000, May 16-18, 2000, Dallas TX         
• Pradeep Shenoy, Jayant Haritsa, S. Sudarshan, Gaurav Bhalotia,   Mayank Bawa and Devavrat Shah,   Turbo-charging Vertical Mining of Large Databases,   in SIGMOD 2000, May 16-18, 2000, Dallas TX
• Mohana  K.  Lakhamraju, Rajeev  Rastogi, S.  Seshadri  and  S.     Sudarshan    Online Reorganization in Object Databases in SIGMOD 2000,  May     16-18, 2000, Dallas TX
• C.R.Venugopal, S.S.S.P.Rao, Sachin Patkar,   Priority Scheduling in Parallel I/O Systems   1999  International  Conference  on  Parallel  and  Distributed     Processing  Techniques  and Applications (PDPTA'99), June 28  -    July 1,  1999,     Las Vegas Nevada, USA
• C.R.Venugopal, S.S.S.P.Rao, Sachin Patkar,   Parallel I/O : Modelling and Scheduling Policies   TENCON'99, Korea, 1999
• C.R.Venugopal, S.S.S.P.Rao,   Modelling & Priority Scheduling in Parallel I/O Systems   Eleventh   IASTED   International  Conference  on  Parallel   &     Distributed    Computing & Systems (PDCS'99)
• C.R.Venugopal,  S.S.S.P.Rao,    Performance     Evaluation    of     Parallel    I/O    Systems        7th   Intl.Conference  on  Advanced Computing &   Communiations     (ADCOM-99)    Dec.20-22, 1999, Roorkee,India.  
• Soumen Chakrabarti, Martin van den Berg and Byron Dom,    Distributed Hypertext Resource Discovery Through Examples.    VLDB 1999, Edinburgh, Scotland. 
• Soumen Chakrabarti, Sandeep Srivastava, Mallela Subramanyam and    Mitul Tiwari,   Using  Memex  to  archive  and  mine  community  Web   browsing    experience.    In the 9th International World Wide Web Conference, Amsterdam,    May 2000.

Papers in journals (National)

• Syam S.Pannala, Sachin Chitnis, S.S.S.P.Rao,    Intra-Basic  Block  Optimisation :  Revisited  for  UltraSPARC    Architecture,   accepted forpublication in CSI Journal.
•  MOUs An MOU was signed  with TCS for setting up  the  Centre for Research on Intelligent Internets  in the Department of  Computer  Science and Engineering,  IIT  Bombay.

Significant awards and distinctions

• Ketan Mulmuley : Guggenheim Foundation Fellowship, for year 1999-2000.
  
• Supratik Chakraborty : Intellectual Property Award from Fujitsu Labs of America, Inc.
  
• S.Ramesh : Has been invited to serve as a Member of the Technical  Committee  CCD  (Distributed Computer Control), International Federation  of  Automatic Control (IFAC) for 3 years starting from 2000. 
  

Faculty Participation/Presentations in Conferences/Workshops/Seminars

• Krithi Ramamritham
  International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Dec 1999.
  2nd International Workshop on Mobility in Databases and Distributed Systems, Florence, Italy, September 1999.
  
  
• Supratik Chakraborty
  Participation in Design Automation Conference, 1999
  Participation in International Conference on Computer-Aided Design, 1999
  
  
• S.Ramesh
  Presented a paper titled `Validation of Pipelined Processor Designs using Esterel Tools: A Case Study, in the international conference  on  Computer aided Verification, CAV '99, held in Trento, during June 1999.
  Participated and presented a paper at the sixth workshop on `Synchronous Languages' held during November - December 1999 at Hyeres, France.
  
  
• Pushpak Bhattacharyya
  International Symposium on Universal Networking Language, Brussels, November, 1999.
    International  Conference  on Applied Pattern  Recognition  and    Digital   Techniques, December 1999, Calcutta, India.
    International Workshop on Document Analysis,   Speech   and  Natural  language  Processing,  December,   1999,    Calcutta, India. 
  
  
• Soumen Chakrabarti
    Presented  seminars  on  machine learning  for  hypertext    at    Microsoft Research and Yahoo!
    Presented  a  research seminar on time-series  data  mining  at    Compaq System   Research Center
    Presented a seminar on semistructured data analysis at    Stanford University.
    Presented a tutorial at SIGMOD 1999.
    Presented a research paper at VLDB 1999. National
  
  
• G.Sivakumar
    Delivered  several lectures in the 4-day workshop on    SECNET: 
    Network Security December 5-9, 1999  at IIT Bombay attended  by    40 professionals. 
  
  
  
• S.Sudarshan
    attended Indian Database Workshop, Pune
  
  
• Soumen Chakrabarti
    Presented tutorial at Indian Database Workshop, Pune  Invited lectures/invited visits
  
  
• S.Ramesh
  Visited    Army  Research  Laboratory,  Adelphi,   Maryland   and  delivered   a  lecture  titled  `Communicating   Reactive   State  Machines: Design, Model and Implementation' during June 1999.
  Visited Univeristy of New Southwales, Sydney from Sept. 19th till October  18th, 1999 and continued the joint work in the  area  of  component-based development of ractive systems.
  
  
  
• Pushpak Bhattacharyya  
   Automatic Linking of Hypertext Documents,  German Research Center for Information Processing (GMDI/IPSI),  Darmstaadt, Germany, November, 1999.
        Automatic Linking of Hypertext Documents,  German Center for Artifcial Intelligence (DFKI),   SaarBruchen, Germany, November, 1999.
   Indian Language Based Document Processing, Hindi Cell, IIT,  Dec 1999.
  
  
• Sharat Chandran
          Tutorial at CSI Annual Convention.         UNESCO Invited Talk.
  
  
• Soumen Chakrabarti
          Invited tutorial at CSI Pune Chapter Convention.
          Invited tutorial at CSI Annual Convention Mumbai Chapter.
          Invited talk at CSI Student Convention Mumbai.
  
  
• G.Sivakumar
  Invited Lecture under the IEEE Distinguished Visitor Program on  Internet Security'' at Thadomal College, Mumbai, March 22, 2000. 
  Invited Lecture at the CSI student chapter workshop Emerge2000 on  Linux for Enterprise Networks.'' at Mumbai, March 16, 2000. 
  Invited Lectures on Java Distributed Computing and  Internet Security at IIM, Ahmedabad, March 9-10, 2000. 
  Invited Tutorial at CSI Annual Conference on Linux and Networking at Mumbai, November 3, 1999
  
  
• Ketan Mulmuley
  Geometric  Complexity  Theory, in SPIC  mathematical  foundation,  Chennai, March 2000.
  
  
• Krithi Ramamritham
  Malardalen University, Vasteras, Sweden, Nov. 1999. 
  Rama Rao Distinguished Speaker   Series, IIT Kanpur, August 1999. 
  IBM  T.J. Watson Res. Ctr., May 1999. 
  Carnegie Mellon Univ., Pittsburgh, PA, April 1999. 
  

Program Committee Membership in Conference

• Soumen Chakrabarti
     Program committee member, 9th World Wide Web Conference,         Amsterdam, May 2000. 
    Program  committee member, ACM SIGKDD International  Conference    on Knowledge Discovery and Data Mining, San Diego, 1999. 
  
  
• R.K.Joshi
  Program  committee  member  for  National  Conference  on  Object Technology, 1999 (NCOOT'99), Chennai, India.
  
  
• S. Sudarshan 
      On programme committee of      International Conference of Data Engineering (ICDE) 2000
      SIGMOD Intl' Conference on Management of Data, 2000
      Deductive and Object Oriented Databases (DOOD), 2000
  
  
• Krithi Ramamritham
  Conference on Management of Data, Pune, India, Dec 2000  (Program  Chair) 
  International Conference on Data Engineering,  2001 (Vice-chair). 
  Real-time Systems Symposium 99, 2000. 
  International School and Symposium on Formal Techniques  in Real- time and Fault-tolerant Systems, Sep 2000. 
  IFAC Workshop on Dist. Computer Control  Systems 2000. 
  Workshop on Pervasive Computing, August 2000. 
  Conference on High Performance Computing (HiPC'00), Dec 2000. 
  International Conference on Mobile Data Access (MDA'99) December,  1999, Hong Kong. 
  International Workshop on Advanced Issues of E-Commerce and  Web- based Information Systems 1999, 2000. 
  Fifth  International Workshop on Multimedia  Information  Systems  (MIS'99), Oct 1999. 
  ACM SIGMOD International Conference on Management of  1999. 
  International Conference on Data Engineering 1999. 
  Intl.  Workshop  on Parallel and  Distributed  Real-Time  Systems  (WPDRTS),  April 1999. 
  
  
• S.S.S.P.Rao
   Member of Programme Committee, International Conference of  VLSI   Design,   Jan. 2000 held at Calcutta.
  

Honorary Work

 


• D.M.Dhamdhere  
  Member,  Governing  Council,  National  Center  for  Software      Technology, Mumbai.     Member, Technology Advisory and Review Board, TRDDC, Pune.     Referee, ACM TOPLAS and ACM SIGPLAN PLDI Conference.
  
  
• Krithi Ramamritham
  Fellow IEEE, since Jan 1998.
  Editorial Board: ACM SIGMOD Digital Review, since summer 1999. 
  IEEE Transactions on Parallel and Distributed Systems, since  Jan  1997. 
  Intl. Journal of Applied Software Technology, since 1995. 
  Distributed Systems Engineering Journal, since 1992. 
  Real-Time Systems, since 1987. 
  Guest  Editor,  IEEE  Transactions on  Parallel  and  Distributed  Systems, June 1999. 
  
  

Technical Committee Organization

• IFAC Technical Committee on Distributed Computer Control (steering committee member).
• NSF Workshop on Information and Data Management March 2000 (Steering Committee Member).
• International Workshop on Advanced Issues of E-Commerce and Web-based Information Systems (WECWIS 2000) June 2000 (Steering Committee Member)

Panelist in Conferences/Workshops:

Intl. Conference on Data Engineering, Feb 2000.

Intl. Conference on High Performance Computing, Dec 1999.

• M R Bhujade
  
  • Expert member, for AICTE committee on evaluation of viability of New MCA Institutions
  • Review of papers for 7th International Conference on Advanced computing (ADCOMP 99)
• Pushpak Bhattacahryya
  
  • Honorary member and chairman, Universal Networking Language project International Committe on resources, United Nations University, Tokyo.
  • Honorary member, Universal Networking Language project International Committe on UNL specifications, United Nations University, Tokyo.
  • Panelist, Computer Processing of Indian Languages: Present Trends and Future Directions, in International Workshop on Document Analysis, Speech and Natural language Processing, December 1999, Calcutta, India.
• S. S. S. P.Rao
  
  • Co-ordinator, Distinguished Visitors Programme (India), IEEE Computer Society since 1998.
  • External Assessor, Department of Computer Science Engineering and Technology, Faculty of Computer Science and Information Technology, Universiti Malaya, Malasia for the period April 99 - April 2002.
• Sharat Chandran
  
  • Reviewer for SIGMOD, Naval Research Board, IEEE SMC, ICD.

Faculty Specializations

• D.M.Dhamdhere:   Optimizing compilers, Language processing tools, Operating systems, Distributed systems.
  
  
• Pushpak Bhattacharyya:  Natural Language Processing,  Machine Learning, Neural Networks,   Hypertext Information Processing
  
  
• Krithi Ramamritham:  Data-based systems, real-time systems, distributed systems
  
  
• G. Sivakumar:   Automated Reasoning, Formal Methods, Networks
  
  
• R.K. Joshi:  Object Oriented Systems, Software Engineering,   Distributed Systems
  
  
• Ketan Mulmuley:  Complexity theory, Geometric algorithms, parallel algorithms.
  
  
• S. S. S. P.Rao:  Reconfigurable Computing, Embedded Systems, VLSI Design,   System Hardware Design
  
  
• Sharat Chandran:  Graphics, Vision,Parallel Computing
  
  
• S. Sudarshan:   Database systems
  
  
• S. Ramesh:  Formal Specification and Verification (Formal Methods),  Distributed Real-Time Control Systems,  Embedded Systems, Program Analysis Tools
  
  
• Supratik Chakraborty:  Formal techniques for analysis,  validation and verification   of digital systems, Asynchronous timing analysis
  
  
• S. Arunkumar:  Reliable Computing, Networks and Systems
  
  
• M R Bhujade:  Computer Archietcture, parallel and distributed Processing,  Design automation of Logic, Naeural Networks and Applications
  
  
• S.Biswas:  Programming  Languages,  Compiler  Optimization,   Parallelizing   compilers.
  
  
• Soumen Chakrabarti:  Hypertext and semi-structured databases and data mining.  Hypermedia protocols for the Internet.
  
  
• A.A.Diwan:  Algorithms, Graph Theory, Combinatorics.
  
  
• R.D.Kumar:  Operating Systems, Performance Evaluation, Programming.
  
  
• Prof. S.L.Mehndiratta:  Networks, Distributed Systems
  
  
• G.Nagaraja:  Machine Learning, Pattern Recognition, nowledge based systems.
  
  
• D.B.Phatak:  Database   Systems,  Performance   Evaluation,   Object-Oriented Systems
  
  
• Abhiram G Ranade:  Algorithms, Parallel Computing
  
  
• Amitabha Sanyal:  Programming Languages.
  
  
• N.L.Sarda:  Temporal Databases, Datawarehousing, Software Engineering
  
  
• Milind Sohoni:  Geometric and Algebraic Algorithms, Distributed Systems Theory.
  
  
• Sundar Vishwanathan:  Combinatorics, Algorithms, Complexity Theory.
  
  

Last Modified Date: 06-Sep-2010