Research

  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.…

  Ladislau Boloni Professor Ph.D., Computer Science Purdue University, 2000 Email Phone Office HEC-319 Phone (407) 823-2320 E-mail Ladislau.Boloni@ucf.edu Home Page http://www.cs.ucf.edu/~lboloni Research Page ARGIS Research Research Interests Robotics and AI Deep learning from demonstration Vision-based end-to-end learning Human-robot teaming Meta learning Autonomous agents Modeling of human behavior in social and cultural environments Mutable agents…