Emeritus Faculty

  Dan C. Marinescu Professor Ph.D., Electrical Engineering and Computer Science Polytechnic Institute, Bucharest, 1975 Email Phone Office HEC-304 Phone (407) 823-4860 E-mail dcm@cs.ucf.edu Home Page http://www.cs.ucf.edu/~dcm Research Page ARGIS Research Research Interests Scheduling Workflow Management and Grid Computing Parallel Algorithms and Performance Evaluation of Parallel and Distributed Systems Quantum Computing and Quantum Information Theory…

  Gary T. Leavens Professor Ph.D., Electrical Engineering & Computer Science Massachusetts Institute of Technology, 1989 Email Phone Office HEC-329 Phone (407) 823-4758 E-mail Gary.Leavens@ucf.edu Homepage http://www.cs.ucf.edu/~leavens Research page ARGIS Research Research Interests Formal Methods in Software Engineering Specification of OO software components Design of JML (see jmlspecs.org). Theory of behavioral subtyping and specification inheritance.…