Lukas Kroc

I am a PhD student in Computer Science at Cornell University. My academic interests are in the area of boolean problem satisfiability. This particular subfield of Artificial Intelligence shares problems with seemingly unrelated fields such as Statistical Mechanics and Information Theory, which makes it possible to apply techniques developed in one field in another. This often involves working with systems of many simple elements connected in a way that results in a complex and hard-to-understand behavior.

I am also a big fan of New Mexico and Santa Fe area in particular, so I hope to be able to make some trips around during the summer :-) .