I am a "Premier Assistant" in the Theoretical Computer Science Lab of the Computer Science Department. My research interests are focused on logic in computer science, and more precisely on automata theory, game theory, formal verification, and controller synthesis for reactive systems.