Philipp Weis

I am a third year graduate student. My research interests are in computational and descriptive complexity, and finite model theory. My adviser is Neil Immerman. Currently I am investigating different trade-off questions concerning number variables and formula size.

I came to UMass in the fall of 2004 as an exchange student, supported by the German Academic Exchange Service (DAAD) and the German National Academic Foundation (Studienstiftung). From fall 2001 to spring 2004 I was a student at the University of Freiburg in Germany, earning my pre-diploma in the summer of 2003.

I use the GNU Privacy Guard for encrypted email. My public key (ID 41D95A4A) is available at the keyservers or it can be downloaded here: GnuPG public key.

I organized the theory seminar in spring 2007.

Publications

Philipp Weis and Neil Immerman. Structure theorem and strict alternation hierarchy for FO² on words. Computer Science Logic 2007.

Michael Hay, Gerome Miklau, David Jensen, Philipp Weis and Siddharth Srivastava. Anonymizing social networks. University of Massachusetts, Amherst. Technical Report 2007.