I am a graduate student in computer science at the University of Illinois at Urbana-Champaign. I am currently a member of the Formal Methods and Declarative Languages Laboratory and a student of Professor José Meseguer.

Research Interests
Applications of formal methods to program analysis and verification. Formal semantics of distributed and concurrent programming languages and systems. Language-based security analysis. Applied cryptographic techniques to distributed systems and protocols. Logic in computer science. Logic programming and rewriting.