Publications

Proof complexity

(with Maria Luisa Bonet, Sam Buss, Adrian Crăciun, and Gabriel Istrate) “Short proofs of the Kneser-Lovász coloring principle.” Submitted for publication. ICALP'15 version.
(with Maria Luisa Bonet and Sam Buss) “Quasi-polynomial size Frege proofs of Frankl's theorem on the trace of finite sets.” To appear in Journal of Symbolic Logic.

(with Maria Luisa Bonet and Sam Buss) “2-D Tucker is PPA complete.” Submitted for publication.

(with Itamar Sela, Tsampikos Kottos, Alex Elgart, and Doron Cohen) “Anomalous decay of a prepared state due to non-Ohmic coupling to the continuum.” Physical Review E 81.3 (2010): 036219.
(with Itamar Sela, Tsampikos Kottos, Doron Cohen, and Alex Elgart) “Quantum decay into a non-flat continuum.” Journal of Physics A: Mathematical and Theoretical 43.9 (2010): 095301.
(with Itamar Sela, Tsampikos Kottos, and Doron Cohen) “Quantum anomalies and linear response theory.” Journal of Physics A: Mathematical and Theoretical 43.33 (2010): 332001
“Wave-packet dynamics in unconventional RMT models.” Undergraduate Honors Thesis (2009).