Professional Activities and Memberships

• Fellow of The Higher Education Academy (FHEA)
• Program committee member:
  OCaml 2020, BAPL 2020, SOAP 2020 PC, Onward! 2017, HVC 2017, PLDI 2016, OOPSLA 2016 EPC, CAV 2016 ERC, PLDI 2015, POPL 2015, ECOOP 2014 ERC, PLDI 2013 ERC, CC 2013, VMCAI 2013, ISMM 2012, FoSSaCS 2011, PLDI 2011 ERC, ESOP 2010, CAV 2010, SAS 2010, VSTTE 2010, VMCAI 2010, VMCAI 2009, FTfJP 2009, FMICS 2009
• 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
• Member of discussion panel on "Great scientific testing and verification work that is just on the cusp of industrial uptake and impact" at FaceTAV 2017
• Publicity Chair: Highlights 2017, ETAPS 2015
• Coordinator of MSc Projects with Industry at EECS of QMUL (2014-present)
• Intern coordinator, Software Technology Department, IBM Research, 2010

Brief Biography

2018-present	Compiler Engineer, Jane Street, London, UK
2014-2018	Lecturer (Assistant Professor), Queen Mary University of London, UK
2011-2013	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