He received his Ph.D. in declarative programming languages in 2008 from Stanford University and has spent 13 years designing and implementing policy-aware systems in different domains, e.g. networking, cloud computing, configuration management, web security, game-playing, and access-control. He is currently the chief architect of Congress, an OpenStack project providing Policy as a Service.