עומר לב
There are known knowns. These are things we know that we know.
There are known unknowns. That is to say, there are things that we know we don't know.
But there are also unknown unknowns. There are things we don't know we don't know.
Donald Rumsfeld
Studying towards a PhD under the supervision of Prof. Jeff Rosenschein in the field of multi-agent systems, and specifically, computational social choice
Papers:
Convergence of Iterative Voting - Omer Lev and Jeffrey S. Rosenschein; To appear in The Eleventh International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), June 2012, Valencia, Spain.
An Algorithm for the Coalitional Manipulation Problem under Maximin - Michael Zuckerman, Omer Lev, and Jeffrey S. Rosenschein; Appeared in The Tenth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), May 2011, Taipei, Taiwan, 845-852 PDF
and in previous form at COMSOC 2010 PDF
On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata - Benjamin Aminof, Orna Kupferman and Omer Lev; Published in LPAR 2008 PDF
TA for the course “Operating Systems” (2nd year).
Working at NDS as a part-time programmer, focusing on C++, python and .NET technologies.