Research interest

Quantum Computing

Quantum computing studies information processing with quantum states and operations. Formal semantics and probabilistic reasoning offer ways to describe quantum programs precisely and examine the relationship between their mathematical models and observed outcomes.

This research interest includes quantum semantics and verification. The related published paper below addresses post-quantum cryptography for UAV communications: it combines lightweight data protection with key establishment designed to resist quantum-enabled attacks. It provides a connection to quantum-era security while operating on conventional computing platforms.