Research

My current work is in databases, where I am interested in all aspects of data integration, management of semistructured data, and database theory. I also have interests in programming languages; I have worked on static analysis in the past.

In the summer of 2007, I interned at Google with Alon Halevy and his research group. It was a great experience in every way.

Papers

Databases

• Jayant Madhavan, David Ko, Lucja Kot, Vignesh Ganapathy, Alex Rasmussen, Alon Halevy. Surfacing the Deep Web. VLDB 2008.
• Lucja Kot and Walker White. Characterization of the Interaction of XML Functional Dependencies with DTDs. ICDT 2007. The long version is Cornell CS Technical Report 2006-2039.

Programming Languages

• Lucja Kot and Dexter Kozen. Kleene Algebra and Bytecode Verification. BYTECODE '05.
• Lucja Kot and Dexter Kozen. Second-Order Abstract Interpretation via Kleene Algebra. Cornell CS Technical Report 2004-1971.

Teaching

At Cornell, I have taught CS 381 (Introduction to Theory of Computation) twice: Summer 2004, Summer 2005. I have also worked as a Teaching Assistant for several courses.

Personal

Here is the official Lucja FAQ (how is my name pronounced? etc.).

My Flickr site has a lot of my photos, including pictures from my wedding in May '07.