A central theme throughout my research is identifying intellectually stimulating and practically relevant problems at the intersection of networking and security. I focus on rigorous problem formulation based on real-world constraints and develop principled solutions with provable guarantees. My work combines theory and practice, using tools from applied cryptography, game theory, optimization, approximation algorithms, queuing theory, and robust system design. These methods allow me to build solutions that are not only analytically sound but also efficient and secure in real-world applications.
This project develops SemSat, a semantic-aware edge intelligence system that enables Low Earth Orbit (LEO) satellites to understand Earth observation imagery and make intelligent downlink decisions. By deploying compact vision-language models on satellite edge platforms and coordinating with cloud and ground infrastructure, SemSat performs real-time classification, prioritization, and semantic compression to drive efficient downlink scheduling under tight bandwidth and resource constraints.
This project was supported by NVIDIA Academic Grant.
This project aims to build a secure, efficient, and collaborative framework for networking across independent Low Earth Orbit (LEO) satellite systems. By addressing fragmentation and enabling cross-operator coordination, it seeks to lay the groundwork for a scalable and trustworthy space ecosystem.
This project was supported by CU Denver Open/All-Disciplines Seed Grant.