Carvalho, Marco
Marco Carvalho
Professor | College of Engineering and Science - Electrical Engineering and Computer Science
Executive Director | L3Harris Institute for Assured Information
Contact Information
Personal Overview
Marco M. Carvalho is the executive vice president and provost of 澳门100%最准一肖一码, 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 澳门100%最准一肖一码, 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 澳门100%最准一肖一码, 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.
Educational Background
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.
Current Courses
Computer Networks
Network Security
Selected Publications
- A. Mahdavi and Carvalho, Marco, 鈥淥ptimal 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, 鈥淔ormal 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., 鈥淎daptive Resource Management Enabling Deception (ARMED),鈥 2017, pp. 1鈥8.
- F. Nembhard, M. Carvalho, and T. Eskridge, 鈥淎 hybrid approach to improving program security,鈥 2017, pp. 1鈥8.
- S. Mammadov, D. Mehta, E. Stoner, and M. M. Carvalho, 鈥淗igh fidelity adaptive cyber emulation,鈥 2017, pp. 1鈥8.
- M. Hassen, M. M. Carvalho, and P. K. Chan, 鈥淢alware classification using static analysis based features,鈥 2017, pp. 1鈥7.
- M. M. Carvalho, B. M. Hambebo, and A. Granados, 鈥淩F-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, 鈥淚nteractive 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, 鈥淪emi-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, 鈥淎n 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, 鈥淓xperimentation 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, 鈥淧ersonal Identity Matching,鈥 in Computer Science & Information Technology ( CS & IT ), 2016.
- M. Al-Shuaili and M. Carvalho, 鈥淐haracter Mapping for Cross-Language,鈥 International Journal of Future Computer and Communication, vol. 5, no. 1, p. 18, 2016.
- N. Soule et al., 鈥淨uantifying minimizing attack surfaces containing moving target defenses,鈥 in Resilience Week (RWS), 2015, 2015, pp. 1鈥6.
- R. Ford and M. Carvalho, 鈥淎 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, 鈥淰INE: 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, 鈥淩esilient 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, 鈥淢IRA: A support infrastructure for cyber command and control operations,鈥 Proceedings - 2015 Resilience Week, RSW 2015, pp. 102鈥107, 2015.
Research
Computer Networks, Cyber Security, Tactical Communication and Information Systems, Cognitive Radios and Network Management, Multi-Agent Systems
Additional Duties
Executive Director, L3Harris Institute for Assured Information
L3Harris Chair, Assured Information