Jainendra Navlakha Portrait

Jainendra K Navlakha


Dr. Jai Navlakha received his Ph.D. in Computer Engineering and Information Sciences from Case Western Reserve University in Cleveland, Ohio in December 1977. Since then, he has been employed at Florida International University, where he was promoted to the position of Full Professor in September 1987. He served as the Director of the School of Computer Science in three stints: August 1988 to August 1992, August 1999 to August 2002, and July 2009 to August 2011. From July 2006 to June 2009, he was the Associate Dean of Graduate Studies and the Director of Corporate & Global Programs in the College of Engineering & Computing. His research; in the areas of Program Verification, Analysis of Algorithms, Expert Systems, Neural Network Applications, and Disaster Management; has been extensively published in reputed archival Journals and International Conferences.

Honors and Awards
  • Editor – Journal of Computer Technology and Applications – India – Since Nov. 2013
  • Awarded Honorary Professorship, Universidad Nacional Daniel Alcides Carrion, School of Post Graduate Studies, Peru, Nov. 2007.
  • 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.
  • 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.
  • Gold Medalist – B. E. (Hons.) in Electronics Engineering, BITS, Pilani, 1972.
Research and Educational Interests
  • Data Structures
  • Databases
  • Programming Languages
Background Education

1977 Ph.D., in Computer Engineering and Information Sciences, Case Western Reserve University in Cleveland, Ohio

Professional Activities
  • Coordinator – SCIS Internal assessment
  • Coordinator – ABET Review Preparations
Selected Publications
  1. “MADIS: A Multimedia-Aided Disaster Information Integration System for Emergency Management,” (With Y. Yang, W. Lu, J. Domack, Tao Li, Shu-Ching Chen, S. Luis), 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (IEEE CollaborateCom 2012)
  2. “Disaster SitRep – A Vertical Search Engine and Information Analysis Tool in Disaster Management Domain,” (With Li Zheng, Chao Shen, Liang Tang, Tao Li, S. Luis, Shu-Ching Chen), 13th IEEE International Conference on Information Integration and Reuse (IRI 2012), Las Vegas, NV, USA
  3. “Verification of programs with procedure-type parameters,” (with G.W. Ernst and W.F. Ogden), Acta Informatica, Vol. 18, 1982, pp. 149-169
  4. “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
  5. “On choosing a software cost estimation model for your organization: A case study,” Information and Management, Vol. 18, 1990, pp.255-261
  6. “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
  7. “An analytical technique for 3-dimensional interpolation,” BIT, Vol. 24, 1984. pp. 119-122
  8. “Finding the k-th largest element in a large heap in O(k log log n) time,” Proc. of the 1982 conference on Information Sciences and systems, pp. 66-69