Dr. Elazer Birnbaum

Dr. Elazer Birnbaum

Name: 
Dr. Elazer Birnbaum
Position: 
Lecturer
Department: 
Computer Science - B.Sc. Program
Phone Number: 
04-6850321

Areas of Interest

Artificial Intelligence
Algorithms in Logic

Research

Algorithms in Logic, Artificial Intelligence, Error-correcting Codes.

 

Teaching

o    Teaching in academic institutions:
1989-1991: Lifshitz College for Education, Jerusalem
1990-1991: Computer Science Department, Open University of Israel
1990-1998: Computer Science Department, Hebrew University, Jerusalem
1995-2007: Computer Science Department, Hadassah College, Jerusalem
2001: Computer Science Department, Jordan Valley College
2007-present: Computer Science Department, Tel-Hai College, Upper Galilee


o    Courses taught in the past five years:
Discrete Mathematics (undergraduate)
Automata and Formal Languages (undergraduate)
Artificial Intelligence (undergraduate)
Computability and Complexity (undergraduate)
Compilers (undergraduate)

Awards

Excellent Lecturer for 2009-2010 year

Excellent Lecturer for 2012-2013 year

Excellent Lecturer for 2015-2016 year

 

Publications

1.    M.Sc. thesis:
Thesis Title: Counting Propositional Models
Institution: Hebrew University, Jerusalem
Supervisor: Prof. Eliezer Lozinskii
Date of receipt of degree: 09/1992 (with special distinction)


2.    Ph.D. thesis:
Dissertation Title: A Study of Inconsistent Knowledge Systems (in the Framework of Automated Inference)
Institution: Hebrew University, Jerusalem
Supervisor: Prof. Eliezer Lozinskii
Date of receipt of degree: 01/2002


3.    Open University Books:
1.    Study guide for the “Algorithms and Complexity” course (together with Prof. Avraham Ginzburg and Dr. Judith Bar-Ilan), Open University of Israel, 1992 (Heb.)
2.    Study guide for the “Error-Correcting Codes” course (together with Prof. Avraham Ginzburg and Dr. Mireille Avigal), Open University of Israel, 1993 (Heb.)
3.    Update of the study guide for the “Computability and Introduction to Complexity” course, Open University of Israel, 1995 (Heb.)
4.    Advisor, Study guide for the “Introduction to the Theory of Computability and Complexity” course, Open University of Israel, 2007 (Heb.)
5.    Advisor, Study guide for the “Introduction to Artificial Intelligence” course, Open University of Israel, 2011 (Heb.)


4.    Articles in refereed journals:
1.    E. Birnbaum and E. L. Lozinskii, The Good Old Davis-Putnam Procedure Helps Counting Models, Journal of Artificial Intelligence Research 10 (1999), 457-477
2.    E. Birnbaum and E. L. Lozinskii, Consistent Subsets of Inconsistent Systems, Journal of Experimental and Theoretical Artificial Intelligence 15 (2003) 25-46
3.    N. Voloch, E. Birnbaum and A. Sapir. Generating Error-Correcting Codes based on Tower of Hanoi Configuration Graphs, IEEE 28-th Convention of Electrical and Electronics Engineers in Israel (2014) 1-4.

 

Full CV