Current/Recent Professional Activities

• Program committee member:

  PLDI 2013 ERC, CC 2013, VMCAI 2013 ISMM 2012, FoSSaCS 2011, PLDI 2011 (ERC: external review committee), ESOP 2010, CAV 2010, SAS 2010, VSTTE 2010, VMCAI 2010, VMCAI 2009, FTfJP’09, FMICS’09.

• Workshop co-organizer:
  • Verification of Concurrent Data Structures (Verico), co-located with POPL 2011.
  • Tools for Automatic Program AnalysiS (TAPAS), co-located with SAS 2011.

• Intern coordinator, Software Technology Department, IBM Research, 2010.

Brief Biography

2011-present	Software Engineer, ARM, Cambridge, UK
2008-2011	Research Staff Member, IBM Research, T.J. Watson Research Center, NY, US
2003-2007	Ph.D. in Computer Science from Tel Aviv University, Israel
2000-2003	M.Sc. in Computer Science from Tel Aviv University, Israel
1997-2000	B.Sc. in Computer Science and Economics (double major) from Tel Aviv University, Israel
2007 spring	Research Intern, Microsoft Research, Cambridge, UK
2006 fall	Research Intern, IBM Research, T.J. Watson Research Center, NY, US
2005 fall	Research Intern, Microsoft Research, Redmond, US
2004 fall	Research Intern, Microsoft Research, Redmond, US
2000-2003	Budget planning and management officer, Israel
1998-2001	Program developer, Educational multimedia games, Center of Educational Technology, Israel

Teaching Experience

• Compiler construction (Fall 2005, Fall 2004)
• Software engineering (Spring 2004) - C programming language, basic Unix, C-shell, Makefile.
• Workshop on Security (Fall 2003)