Download Dr. Iddo Lev

Dr. Iddo Lev
[email protected]
www.iddolev.com
Summary
Computer scientist and software engineer, with over 15 years of experience in industry and
academia, specializing in the fields of Natural Language Processing, Artificial Intelligence,
Symbolic Computation, and Logic. I am currently a co-founder of the Permatech Software
Cooperative, which provides software development services for web and mobile applications
and complex content websites for social and commercial organizations.
Industry Experience
2013 – current
2008 – 2013
2000 – 2002
1997
1994 – 1997
Co-founder, Business Development, Software Engineer
Permatech Software Cooperative, Tel Aviv
The company provides software services: web and mobile applications and
complex content websites, for social and commercial organizations.
CTO, Software R&D: IntuView, Herzliyya Pituakh
The company develops systems for automatic information extractions
from documents for the intelligence community.
Built large parts of the system: regex, morphology, semantic parser,
semantic search, rule system, entity aggregation, report generation, GUI.
Software R&D: Baobab Technologies, Hod Hasharon
The company developed natural language computerized dialog systems.
Built large parts of the system: regex, morphology, semantic parser,
reasoning and understanding the user’s intentions.
Software Engineer: ESI Expert Systems Industries, Herzliyya Pituakh
Freelance Programmer: Various projects
Education
2002 – 2007
1997 – 2000
1994 – 1997
Stanford University, Ph.D. in Computer Science, with a minor in Linguistics
Dissertation: “Packed Computation of Exact Meaning Representations”
Summa Cum Laude
Tel Aviv University, M.Sc. in Computer Science
Dissertation: “Preferential Systems for Plausible Non-Classical Reasoning”
Summa Cum Laude
Tel Aviv University, B.Sc. in Computer Science, Statistics, and O.R.
Summa Cum Laude
Dr. Iddo Lev

page 1 of 2
Research Experience
2002 – 2007
Research Assistant, Stanford University
Project: Tools for precise understanding of natural language texts
 Built a system for solving logic puzzles from their textual descriptions.
 Analyzed advanced linguistic constructions, reviewed relevant
linguistic literature, improved existing analyses by making them more
systematic, simple, and comprehensive.
 Proved soundness and completeness of the algorithm I developed at
PARC.
2006
Research Assistant, Palo Alto Research Center, NLTT group
 Solved the open problem: how to combine “glue semantics” for
natural language semantics with the “choice space” method for
efficiently managing natural language ambiguity.
 Developed an algorithm that combines both methods and efficiently
computes packed meaning representations given packed syntactic
analyses.
 Integrated the algorithm with XLE (Xerox Linguistics Environment).
1997 – 2000
Researcher, Tel Aviv University
 Research in Logic on non-monotonic reasoning with inconsistencies,
and non-deterministic semantics for Genzen-type proof systems.
 Developed a knowledge-representation language and an inference
engine for it based on propagation of constraints. Implemented the
KR language as an extension of Lisp (CLOS) using its meta-object
protocol (MOP).
List of publications available upon request
Teaching Experience
2005 – 2006
2000 – 2001
Teaching Assistant, Stanford University, Computer Science Department
Classes in Computational Logic and Natural Language Understanding
Teaching Assistant, Tel Aviv University, School of Computer Science
Logic for Computer Science
Awards and Scholarships
2002–3
2000
1997
School of Engineering Fellowship, Stanford University
The Celia and Marcos Maus annual prize in computer science, Tel Aviv University
Scholarship for academic achievements, Tel Aviv University
Technical Skills
NLP, AI, KR, Logic, C/C++, Java, SQL, Lisp (including MOP), Prolog, Pascal, Windows, Unix
Dr. Iddo Lev

page 2 of 2