David Langus Rodriguez

David Langus Rodriguez is an associate technical staff member in the Secure Resilient Systems and Technology Group at MIT Lincoln Laboratory. His work focuses on designing, testing, and verifying software and hardware systems, with an emphasis on enhancing the security and reliability of cyber-physical systems. Specifically, his current research explores runtime verification techniques for improving software correctness.

Since joining MIT Lincoln Laboratory in 2022, Langus Rodriguez has contributed to research efforts spanning secure-by-design software, satellite communication security, and hardware assurance. His work includes contributions to the Cyber-Hardened Satellite Software and the Magnetite Operating System, as well as the development of a key management system for satellite mesh networks.

In addition, Langus Rodriguez collaborated with researchers at MIT and Princeton University to introduce a novel approach to speed up processor verification by reducing the manual effort required to establish hardware correctness. This work was published at the 2026 IEEE Symposium on Security and Privacy.

Previously, Langus Rodriguez was a CyberCorps Scholarship for Service Fellow at Florida International University. During this time, he was a researcher in the Cyber-Physical Security Laboratory and worked on a framework to accurately fingerprinting uncrewed aerial vehicles communication over LoRa. This study led to a publication at the 2022 Military Communications Conference. In the summers, he conducted research as an intern at Lawrence Livermore National Laboratory, Sandia National Laboratories, and the University of Florida.

Langus Rodriguez earned a BS degree in computer engineering from Florida International University and an MS degree in electrical and computer engineering from the University of Florida. He is currently pursuing a PhD degree in computer science at Cornell University.