CS Faculty

 

  Mark Heinrich Associate Professor Ph.D., Electrical Engineering Stanford University, 1999 Email Phone Office HEC 345-D Phone (407) 882-0138 E-mail heinrich@cs.ucf.edu Home Page http://www.cs.ucf.edu/~heinrich Research Interests Parallel Computer Architecture Heterogeneous/GPGPU Architectures Energy-efficient architectures Cloud-based Mobile and Web Services Scalable Cache Coherence Protocols Other Experience Associate Chair and Undergraduate Coordinator for CS/IT, 2019-present CS Senior Design…

  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…

  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…