oxim.ch - Stefan Schneider

Example domain paragraphs

I was a PhD student advised by Ramamohan Paturi . My research focus is on fine-grained complexity and exact (exponential-time) algorithms for satisfiability problems, but I am also interested in related questions such as circuit lower bounds, exact algorithms for other NP-complete problems and complexity theory in general.

Before attending UCSD I got my Bachelor and Master from ETH Z&uumlrich. My advisor for my Master Thesis was Emo Welzl