I am a Computer Scientist at LogicBlox, Inc.. At LogicBlox, we are building an application platform that integrates data and application logic (no glue!), using a declarative language, backed by a highly performant database engine. I spend my days design and implementing various aspects of our language, a dialect of Datalog.

I received my Ph.D. in Computer Science from Georgia Institute of Technology, College of Computing, under the advisement of Prof. Yannis Smaragdakis.

My Ph.D. research focuses on developing tools to reduce the accidental complexities (complexities not related to the core solutions) in software engineering. I apply programming languages techniques to raise the abstraction level used in program construction: I design language abstraction mechanisms that support better modularity and reuse, and I enable programmers to develop their own domain-specific abstractions through program generation.