> David Langus Rodriguez
Note: My last name (Langus Rodriguez) is composed of TWO words separated by a " " (space). I do NOT have a middle name or a hyphen in my last name.

> /home/users/cornell/cs/phd-students/dlangusr

> Welcome to my academic log. I'm a first year PhD student in Computer Science at Cornell University. My research interests broadly focus on System Security and Formal Methods.
> [This website] will be used to track my PhD progress ONLY, see [./contact.info] for more.
> Type 'help' for available commands or navigate using the links on the left.
>

# Personal information file
# Created: Apr 24 2025

# About David Langus Rodriguez:
# ------------------------------------------------------------------------------------------
# I am a PhD Student in Computer Science at Cornell University.
# My research investigates Software Testing and Runtime Verification, under the mentorship of Fred Schneider and Owolabi Legunsen.

# Before joining Cornell, I was an Associate Technical Staff at MIT Lincoln Laboratory, where I contributed to the development of secure-by-design software systems such as: CHSS and Magnetite OS. There, I also helped design a key management system for satellite mesh networks and collaborated with MIT Prof. Mengjia Yan on automating formal methods for hardware verification.

# I hold a Master of Science in Electrical and Computer Engineering from University of Florida for which I took the following MIT courses: 6.5950 - Hardware Secure Design and 6.5610 - Applied Cryptography and Security. Prior to that, I earned a Bachelor of Science in Computer Engineering from Florida International University working under the guidance of Prof. Selcuk Uluagac.

->
-> [04.04.25] - Decided to start my CS PhD journey at Cornell!
-> [03.24/03.26.25] - Visited Cornell on "CS PhD Visit Days"
-> [02.17.25] - Awarded Bowers CIS Deans Excellence Fellowship
-> [02.07.25] - Accepted to Cornell University CS PhD program

[1]

->

> Login: dlangusr Name: David Langus Rodriguez
> Directory: /home/users/cornell/cs/phd-students/dlangusr Shell: /bin/bash
> Office: Computer Science Department
> Address: Cornell University, Ithaca, NY
> Email: dl2289 [at] cornell [dot] edu

> Available connections:
> [Personal Website]
> [LinkedIn]
> [GitHub]

> English, Spanish, and Hebrew