Executive Vice President and Provost | Florida Institute of Technology
L3Harris Chair | Assured Information
Marco M. Carvalho is the executive vice president and provost of Florida Institute of Technology, where he also serves as a professor in Computer Sciences. He graduated in Mechanical Engineering from the Federal University of Brasilia, where he also completed his M.Sc. in Mechanical Engineering with specialization in dynamic systems. Dr. Carvalho also holds a M.Sc. in Computer Science from the University of West Florida and a Ph.D. in Computer Science from Tulane University, with specialization in Machine Learning and Data Mining.
Before joining Florida Tech, Dr. Carvalho served as a Research Scientist at the Florida Institute for Human and Machine Cognition (IHMC), where he led research teams in areas including knowledge elicitation and modeling, distributed intelligent systems, tactical communication systems, and human-automation teamwork for cyber operations and defense. During his tenure at IHMC Dr. Carvalho has also led research efforts sponsored by the DoE and DoD on the security of smart buildings, and environmental sensor networks.
At Florida Tech, Dr. Carvalho serves as the Executive Director of the Harris Institute for Assured Information (HIAI), where he leads a number of research efforts on the interactions of humans and autonomous systems for missions critical and cyber operations. He also leads a number of efforts sponsored by the DoD and DHS S&T on Cyber Command and Control, and Federated cybersecurity.
Ph.D. in Computer Science
Tulane University, LA/USA (2006)
M.Sc. in Computer Science
University fo West Florida, FL/USA
M.Sc. in Mechanical Engineering
Federal University of Brasilia, UnB, Brasilia, D.F.
B.Sc. in Mechanical Engineering
Federal University of Brasilia, UnB, Brasilia, D.F.
- A. Mahdavi and Carvalho, Marco, “Optimal Trajectory and Schedule Planning for Autonomous Guided Vehicles in Flexible Manufacturing System,” in International Conference in Robotic Computing, Laguna Hills, CA, 2018.
- S. Bhattacharyya, T. C. Eskridge, N. A. Neogi, M. Carvalho, and M. Stafford, “Formal Assurance for Cooperative Intelligent Autonomous Agents,” in NASA Formal Methods, vol. 10811, A. Dutle, C. Muñoz, and A. Narkawicz, Eds. Cham: Springer International Publishing, 2018, pp. 20–36.
- P. Pal et al., “Adaptive Resource Management Enabling Deception (ARMED),” 2017, pp. 1–8.
- F. Nembhard, M. Carvalho, and T. Eskridge, “A hybrid approach to improving program security,” 2017, pp. 1–8.
- S. Mammadov, D. Mehta, E. Stoner, and M. M. Carvalho, “High fidelity adaptive cyber emulation,” 2017, pp. 1–8.
- M. Hassen, M. M. Carvalho, and P. K. Chan, “Malware classification using static analysis based features,” 2017, pp. 1–7.
- M. M. Carvalho, B. M. Hambebo, and A. Granados, “RF-based Monitoring, Sensing and Localization of Mobile Wireless Nodes,” in Mobile Networks and Management, vol. 191, R. Agüero, Y. Zaki, B.-L. Wenning, A. Förster, and A. Timm-Giel, Eds. Cham: Springer International Publishing, 2017, pp. 61–71.
- T. C. Eskridge, M. Carvalho, F. Nembhard, H. Thotempudi, and P. J. Polack, “Interactive Visualization of Netflow Traffic,” Proceedings - 2015 European Intelligence and Security Informatics Conference, EISIC 2015, 2016.
- M. Carvalho, T. C. Eskridge, M. Atighetchi, and C. N. Paltzer, “Semi-automated wrapping of defenses (SAWD) for cyber command and control,” in MILCOM 2016 - 2016 IEEE Military Communications Conference, 2016, pp. 19–24.
- M. Atighetchi, F. Yaman, B. Simidchieva, and M. Carvalho, “An autonomous resiliency toolkit - needs, challenges, and concepts for next generation cyber defense platforms,” in MILCOM 2016 - 2016 IEEE Military Communications Conference, 2016, pp. 1–6.
- M. Atighetchi, B. Simidchieva, M. Carvalho, and D. Last, “Experimentation support for cyber security evaluations,” Proceedings of the 11th Annual Cyber and Information Security Research Conference, CISRC 2016, 2016.
- M. Al-Shuaili and M. Carvalho, “Personal Identity Matching,” in Computer Science & Information Technology ( CS & IT ), 2016.
- M. Al-Shuaili and M. Carvalho, “Character Mapping for Cross-Language,” International Journal of Future Computer and Communication, vol. 5, no. 1, p. 18, 2016.
- N. Soule et al., “Quantifying minimizing attack surfaces containing moving target defenses,” in Resilience Week (RWS), 2015, 2015, pp. 1–6.
- R. Ford and M. Carvalho, “A significant improvement for anti-malware tests,” WATeR 2014 - Proceedings of the 2014 2nd Workshop on Anti-Malware Testing Research, 2015.
- T. C. Eskridge, M. Carvalho, E. Stoner, T. Toggweiler, and A. Granados, “VINE: A cyber emulation environment for MTD experimentation,” MTD 2015 - Proceedings of the 2nd ACM Workshop on Moving Target Defense, co-located with: CCS 2015, pp. 43–47, 2015.
- M. Carvalho, “Resilient Command and Control Infrastructures for Cyber Operations,” in 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015.
- M. Carvalho, T. C. Eskridge, K. Ferguson-Walter, and N. Paltzer, “MIRA: A support infrastructure for cyber command and control operations,” Proceedings - 2015 Resilience Week, RSW 2015, pp. 102–107, 2015.
Computer Networks, Cyber Security, Tactical Communication and Information Systems, Cognitive Radios and Network Management, Multi-Agent Systems
Executive Director, L3Harris Institute for Assured Information
L3Harris Chair, Assured Information