I currently hold a 5-year research fellowship from the Spanish
Ministry of Science and Innovation. In addition to doing research, I
teach computer laboratory for Programació I and Grafs.
I was born in Bulgarian. In Sofia, I studied at SMG and FELS. In 2001, I graduated from the
California Institute of Technology with a Bachelor of Science in Engineering and Applied Science (honors), and in 2006, from the
University of California at Berkeley with a PhD in Computer Science under the supervision of Prof. Alistair Sinclair.
Before joining the University of Barcelona I did a two-year postdoctoral stay at
IBM Almaden, and
a one-year visiting professorship at
Universitat Politècnica de Catalunya in Barcelona.
A. Atserias, E. Maneva.
Sherali-Adams relaxations and indistinguishability in counting logics
To appear in SIAM Journal on Computing.
An extended abstract appeared in the 3rd Innovations in Theoretical Computer Science Conference (ITCS), 2012. pdf, slides
A. Atserias, E. Maneva. Mean-payoff games and propositional proofs
Information and Computation, Volume 209, Issue 4, pages 664-691, 2011.
An extended abstract appeared in the 34th International Colloquium on Automata, Languages and Programming (ICALP),
Volume 6198 of Lecture Notes in Computer Science, Springer-Verlag,
pages 102-113, 2010. pdf
N. Bhatnagar, E. Maneva. A computational method for bounding the probability of reconstruction on
trees
SIAM Journal on Discrete Mathematics, Volume 25, Issue 2, pages 854-871, 2011.
pdf
M. Wainwright, E. Maneva, E. Martinian. Lossy source compression using low-density generator matrix codes: analysis
and algorithms
IEEE Transactions of Information Theory, Volume 56, Issue 3, pages 1351-1368,
2010.
A part of this work appeared
in IEEE International Symposium on Information Theory (ISIT),
pages 1493-1497, 2005. pdf
P. Gopalan, P. Kolaitis, E. Maneva, C. Papadimitriou. The connectivity of Boolean satisfiability: computational and structural
dichotomies
SIAM Journal on Computing, Volume 38, Issue 6, pages 2330-2355, 2009.
An extended abstract appeared in the 33rd
International Colloquium on Automata, Languages and
Programming (ICALP),
Volume 4051 of Lecture Notes in Computer Science, Springer-Verlag,
pages 346-357, 2006. ArXiv
F. Ardila, E. Maneva. Pruning processes and a new characterization of convex geometries
Discrete Mathematics, Volume 309, pages 3083-3091, 2009. Arxiv
E. Maneva, A. Sinclair. On the satisfiability threshold and clustering of solutions of random 3-SAT formulas
Theoretical Computer Science, Volume 407, pages 359-369, 2008. Arxiv
E. Maneva, E. Mossel, M. Wainwright. A new look at Survey Propagation and its generalizations
Journal of the ACM, Volume 54, Issue 4, pages 2-41, 2007.
A preliminary version appeared in the 16th ACM-SIAM Symposium on
Discrete Algorithms (SODA), pages 1089-1098, 2005. pdf
E. Maneva, A. Shokrollahi. New model for rigorous analysis of LT codes
IEEE International Symposium on Information Theory (ISIT),
pages 2677-2679, 2006. ArXiv
A. Bogdanov, E. Maneva, S. Riesenfeld. Power-aware base station positioning for sensor networks
23rd Conference of the IEEE Communications Society (INFOCOM), pages 575-585, 2004. pdf
A. Fabrikant, A. Luthra, E. Maneva, C. Papadimitriou, S. Shenker. On a network creation game
22nd ACM Symposium on Principles of Distributed Computing (PODC),
pages 347-351, 2003. pdf
E. Maneva, J. Smolin. Improved two-party and multi-party entanglement purification protocols
"Quantum Computation and Quantum Information Science", AMS
Contemporary Mathematics Series, Volume 305, pages 203-212, 2002. ArXiv
SAMPLE collaboration: D.T. Spayde et al. Parity violation in elastic electron-proton scattering and the proton's
strange magnetic form factor
Phys. Rev. Lett., Volume 84, pages 1106-1109, 2000. ArXiv
Belief propagation algorithms for constraint satisfaction problems Ph.D. Thesis, Department of Computer Science,
University of California at Berkeley, August 2006. Supervised by A. Sinclair.
pdf
P versus NP: el problema estrella de la matemàtica de la computació
Butlletí de la Societat Catalana de Matemàtiques, Volume 27, Issue 1, pages 39-62, 2012.
journal
