September 3, 2019
Liqiang Wang Professor Ph.D., Computer Science Stony Brook University, 2006 Email Phone Office HEC-437E Phone (407) 823-3187 E-mail lwang@cs.ucf.edu Home Page http://www.cs.ucf.edu/~lwang Research Interests Big Data, Cloud Computing, and High-Performance Computing Performance and Scalability Optimization Big Data Analytics Machine Learning AI Security Robustness and Resilience Distributed Machine Learning Program Analysis Concurrency Error Detection Software…
September 3, 2019
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.…
September 3, 2019
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…