Jainendra Navlakha Portrait

Jainendra K Navlakha


Immediately after his Ph.D. in Computer Engineering and Information Sciences from Case Western Reserve University in December 1977, Dr. Jai Navlakha joined 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: 1988-1992, 1999-2002, and 2009-2011. From 2006 to 2009, he was the Associate Dean of Graduate Studies and the Director of Corporate & Global Programs in the College of Engineering & Computing.

Since 2011, he is the coordinator for internal assessment and ABET accreditation of the BS in CS Program. Under his guidance, the School received its last ABET accreditation in Summer 2017. This Self-Study Report was selected for display of “Well-Prepared Self-Study Reports” at the 2017 ABET Symposium held in April 2017.

His research; in the areas of Program Verification, Analysis of Algorithms, Expert Systems, Neural Network Applications, and Disaster Management; is extensively published in reputed Journals and International Conferences. Currently, he is actively involved in CS education and student mentorship. In March 2018, he taught an intensive one-week self-designed new course on Disaster Informatics at MNIT in Jaipur, India. In May 2018, he was an invited speaker at the NIAS-MAIYA Mentoring Workshop in Bangalore, India.

Honors and Awards
  • Honorary Professorship, Universidad Nacional Daniel Alcides Carrion, School of Post Graduate Studies, Peru, 2007
  • Fulbright Senior Scholar – Voronezh Institute of High Technologies, Voronezh, Oct. 2007
  • Appointed member of 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
  • IEEE Distinguished Lecturer for South America, Nov.-Dec. 1984
  • Member of the delegation of “Computer software specialists and engineers” to People’s Republic of China, April-May 1983.
Research and Educational Interests
  • Data Structures
  • Databases
  • Programming Languages
Background Education

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

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