Prof. Michael Codish

mcodish foto Professor

for my office hours see in Semester A 2018-2019 see
https://www.cs.bgu.ac.il/~intro191/Office_Hours

Contacts

Email:
Homepage:
Office: 108 in 37 building
Phone number: 08-6461654
Fax number: 08-6477650
Box number: 57
Office hours: Wed 8:00-10:00

Teaching

Fall 2018-2019 20211011 Introduction to Computer Science
Spring 2019 20225221 Logic Programming
Fall 2017-2018 20211011 Introduction to Computer Science
Spring 2018 20225221 Logic Programming
Fall 2016-2017 20211011 Introduction to Computer Science
Spring 2017 20225221 Logic Programming
Fall 2015-2016 20221181 Advanced Topics in Boolean Constraint Satisfiability
Fall 2015-2016 20211011 Introduction to Computer Science
Spring 2016 20225221 Logic Programming
Fall 2014-2015 20211011 Introduction to Computer Science
Spring 2015 20225221 Logic Programming
Spring 2015 20214371 Topics in Sat Solving
Spring 2015 20215231 Introduction to Logic Programming
Fall 2013-2014 20211011 Introduction to Computer Science
Fall 2013-2014 20221181 Advanced Topics in Boolean Constraint Satisfiability
Fall 2013-2014 20011011 Introduction to Computer Science for IAF
Spring 2014 20225221 Logic Programming
Spring 2014 20214371 Topics in Sat Solving
Fall 2012-2013 20211011 Introduction to Computer Science
Spring 2013 20225221 Logic Programming
Spring 2013 20221181 Advanced Topics in Boolean Constraint Satisfiability
Fall 2011-2012 20211011 Introduction to Computer Science
Fall 2011-2012 20211041 Introduction To Programming For Information Systems
Fall 2011-2012 20225221 Logic Programming
Fall 2011-2012 20011011 Introduction to Computer Science for IAF
Fall 2011-2012 20214371 Topics in Sat Solving
Spring 2012 20221181 Advanced Topics in Boolean Constraint Satisfiability
Fall 2010-2011 20225221 Logic Programming
Fall 2010-2011 20211011 Introduction to Computer Science
Spring 2011 20221181 Advanced Topics in Boolean Constraint Satisfiability
Spring 2011 20011011 Introduction to Computer Science for IAF
Fall 2009-2010 20211011 Introduction to Computer Science
Fall 2009-2010 20225221 Logic Programming
Fall 2009-2010 20214001 Research Project
Spring 2010 20221181 Advanced Topics in Boolean Constraint Satisfiability
Fall 2008-2009 20225221 Logic Programming
Fall 2008-2009 20211011 Introduction to Computer Science
Fall 2008-2009 20211041 Introduction To Programming For Information Systems
Spring 2009 20221181 Advanced Topics in Boolean Constraint Satisfiability
Spring 2009 20011011 Introduction to Computer Science for IAF
Summer 2009 20011011 Introduction to Computer Science for IAF
Fall 2007-2008 20211041 Introduction To Programming For Information Systems
Fall 2007-2008 20211011 Introduction to Computer Science
Spring 2008 20225521 Advanced Topics in Computer Sciences -2
Spring 2008 20225221 Logic Programming
Fall 2006-2007 20211011 Introduction to Computer Science
Fall 2006-2007 20211041 Introduction To Programming For Information Systems
Spring 2007 20214001 Research Project
Spring 2007 20225221 Logic Programming
Spring 2006 20215231 Introduction to Logic Programming
Spring 2006 20211011 Introduction to Computer Science
Spring 2006 20225521 Advanced Topics in Computer Sciences -2
Fall 2004-2005 20211041 Introduction To Programming For Information Systems
Fall 2004-2005 20211011 Introduction to Computer Science

Research groups

Logic and Semantics
Programming languages