Jainendra K Navlakha


Name: Jainendra K Navlakha, Professor
Phone: 305-348-2026
Office Info: ECS 384
Office Hours: T/R 3:45-5:00 PM & BY APPT.
E-mail: navlakhacis.fiu.edu

Honors and Awards

  • FIU Award for "Outstanding Contributions to the Achievement of Affirmative Action/Employment Opportunities," Oct. 1992.
  • University Teaching Incentive program (TIP) award, 1995-96.
  • School of Computer Science Excellence-in-Service award, December 2003.
  • Awarded Honorary Professorship, Universidad Nacional Daniel Alcides Carrion, School of Post Graduate Studies, Peru, Nov. 2007.
  • Selected to be on the list of Fulbright Senior Scholar Specialists in Information Technology, 2004-2009.
  • Fulbright Senior Scholar Assignment to Voronezh Institute of High Technologies, Voronezh, Russia, Oct. 2007.
  • Appointed by Florida CFOs Mr. Tom Gallagher, Ms. Alex Sink, and Mr. Jeff Atwater to the Florida Commission on Hurricane Loss Projection Methodology as a computer system design expert – since Spring 2005
  • Distinguished Visitor of IEEE Computer Society, 1985-1986.
  • Invited by IBM in Buenos Aires, Argentina to give a two-week course on "Software complexity metrics" at University of Buenos Aires, June 1985.
  • Selected to be an IEEE Distinguished Lecturer for South America, Nov.-Dec. 1984. Gave 8 presentations on "Program Verification" and "A survey of software complexity metrics."
  • Invited to be a member of the delegation of "Computer software specialists and engineers" to visit People's Republic of China, April-May 1983. Gave 3 presentations on "Program Verification."

Research and Instructional Interest

  • Expert Systems and Neural networks
  • Software engineering and software metrics
  • Design and Analysis of Algorithms
  • Software cost estimations
  • Databases

Background Education

1977 - Ph.D., Computer Engineering and Information Sciences, Case Western Reserve University, Cleveland, OH
1974 - M. Tech. in Electrical Engineering, Computer Science, Indian Institute of Technology, Kanpur, India
1972 - B.E., Electronic Engineering, Birla Institute of Technology and Science, Pilani, India

Professional Experience

2009 - 2011
Director, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
06/06 - 06/09
Associate Dean of Graduate Studies and Director of Corporate and Global Programs, College of Engineering & Computing, Florida International University, Miami, FL 33199
08/99 - 08/02
Director, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
08/95 - 08/99
Director, Center for Computational Research, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
8/89 - 07/92
Director, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
8/88 - 07/89
Acting Director, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
09/87 - present
Professor, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
09/82 - 08/87
Associate Professor, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
01/78 - 08/82
Assistant Professor, School of Computing and Information Sciences, Florida International University, Miami, FL 33199

Professional Activities

  • Invited Speaker
    • "Proving programs with procedures," Department of Mathematics, Universidad Nacional Autonama de Mexico, Feb. 1979
    • "Introduction to program verification" 6th annual Mathematical Association of America Goldcoast section meeting, Nov. 1981.
    • "A survey of software complexity metrics" IEEE section in Buenos Aires, Argentina, Dec. 1984.
    • "Software cost estimation models"
      • IBM, Buenos Aires, June 1985.
      • Department of Computer Science at the Indian Institute of Management, Ahmedabad, India, July 1986.
    • "Software productivity metrics," Department of Computer Science, Indian Institute of Management, Ahmedabad, July 1986.
    • Keynote Speaker - "Software productivity metrics: Properties, advantages and evaluation," Fifth International Conf. on Microcomputer and Microprocessor Applications, Sep.1987.
    • (3 presentations) - Automation and Scientific Instrumentation - ASI '88, Varna, Bulgaria, Oct. 1988.
    • Error and Development effort prediction using software interfaces - Georgia State University, November 1989.
    • Introduction to Expert Systems - IEEE South Florida Chapter, July 1990.
    • Invited by LNM Institute of Information Technology, Jaipur, India in March 2005 a) to give 10 lectures on Analysis of Algorithms, b) academic and organizational consultations, and c) explore future collaborations with the College of Engineering.
  • Reviewer
    • ACM Computing Reviews, Since Feb. 1981.
    • Florida High Technology and Industry Council, since 1989.
    • Lots of International Conferences, since 1978.
    • Book review for IEEE Computer Society, 1995.
    • Book reviews for many publishers, since 1995.
  • Referee
    • National Computer Conference, 1979, 1980, 1981, 1985, 1986,1987.
    • Euromicro Journal on Microprogramming and Microprocessing.
    • IEEE Transactions on software engineering, Since Jan. 1985.
    • IEEE Software, Since Jan. 1984.
    • IEEE Computer Science and Applications Conference, COMPSAC '85.
    • Journal of Systems & Software, Since 1987.
    • IEEE Computer, since Sept. 1990
    • IEEE Transactions on Neural Networks - 1991, 1992.
    • ACM Computing Reviews, Since Feb. 1981.
    • Lots of International Conferences, since 1978.

  • Invited member -
    • IEEE Standards Committee Working Group on Software Productivity Metrics, 1983 - 1992.
    • IEEE Standards Committee Working Group on Software Quality Metrics, 1984 - 1992.

  • Member -
    • Balloting Group for 3 proposed standards by IEEE.
      • Standard for Guide to quality Assurance Plans.
      • Standard for Software Reliability measurement.
      • Recommended practice for use of ADA as a design language.
    • Board of STATUS (Science and Technology Alliance to Upgrade Services).
    • Board of SENSE (STATUS Electronic Network for Search and Exchange).

  • Local Arrangements Chairperson -
    • IEEE 1986 International Conference on Computer Languages, Miami Beach, Oct. 1986.
    • IEEE 1988 International Conference on Computer languages, Miami Beach, Oct. 1988.

  • Computer Science Judge -
    • International Science and Engineering Fair, Orlando, MAY 1991.

  • Evaluator - National Hispanic Scholarship Fund - Oct. 1991, Sept. 1992.


Selected Publications

  • "A new proof technique to establish equivalence of the original and the generated context free grammar with linear increase in size", BIT , Vol. 22, 1982, pp. 17-26.

  • "Verification of programs with procedure-type parameters", (with G.W. Ernst and W.F. Ogden), Acta Informatica , Vol. 18, 1982, pp. 149-169.

  • "An analytical technique for 3-dimensional interpolation", BIT , Vol. 24, 1984. pp. 119-122.

  • "A survey of system complexity metrics", Computer Journal , Vol. 30, No. 3, 1987, pp. 233-238.
    Highlighted in Microprocessors and Microsystems, R&D Reports , Nov.1987, pp.506.

  • "Measuring the effect of external and internal interfaces on software development", Proc. of the 20th annual Hawaii international conference on system sciences , Jan. 1987, pp. 127-137.

  • "Transputer implementation of Hopfield neural network", Proceedings of the ISMM International Conference MINI and MICRO computers, Dec. 1988, (With Bill Feild), pp. 40-43.
    Also published in Design and Electronik (German Magazine), Special Issue on Neural Networks, March 1989.

  • "Expert Assistant for a clinical hematology blood cell analyzer", SPIE Proceedings of Applications of AI VII, March 1989, pp. 894-903, (With Carole Young).

  • "The Distribution of keys in a binary heap", Proceedings of Workshop on Algorithms and Data Structures, Springer Verlag Lecture Notes No. 382, 1989. pp .510 - 516, (With Mark Weiss).

  • "On choosing a software cost estimation model for your organization: A case study", Information and Management , Vol. 18, 1990, pp. 255-261.

  • "Choosing non-random input exemplars to form stable states in a transputerbased Hopfield neural network", International Journal of Mini and Microcomputers", Vol. 12, No. 2, 1990, (With Bill Feild).
Full Listings