Prof. Michael Codish

mcodish foto Associate professor

Contacts

Email:
Homepage:
Office: 108 in 37 building
Phone number: 08-6461654
Fax number: 08-6477650
Box number: 57
Office hours: Mon 14:00-16:00

Teaching

Fall 2004-2005 20211011 Introduction to Computer Science
Fall 2004-2005 20211041 Introduction To Programming For Information Systems
Spring 2006 20211011 Introduction to Computer Science
Spring 2006 20215231 Introduction to Logic Programming
Spring 2006 20225521 Advanced Topics in Computer Science 2
Fall 2006-2007 20211011 Introduction to Computer Science
Fall 2006-2007 20211041 Introduction To Programming For Information Systems
Spring 2007 20225221 Logic Programming
Spring 2007 20214001 Project Course
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 Science 2
Spring 2008 20225221 Logic Programming
Fall 2008-2009 20211011 Introduction to Computer Science
Fall 2008-2009 20211041 Introduction To Programming For Information Systems
Fall 2008-2009 20225221 Logic Programming
Spring 2009 20011011 Introduction to Computer Science for IAF
Spring 2009 20221181 Advanced Topics in Boolean Constraint Satisfiability
Summer 2009 20011011 Introduction to Computer Science for IAF
Fall 2009-2010 20225221 Logic Programming
Fall 2009-2010 20211011 Introduction to Computer Science
Fall 2009-2010 20214001 Project Course
Spring 2010 20221181 Advanced Topics in Boolean Constraint Satisfiability
Fall 2010-2011 20211011 Introduction to Computer Science
Fall 2010-2011 20225221 Logic Programming
Spring 2011 20221181 Advanced Topics in Boolean Constraint Satisfiability
Spring 2011 20011011 Introduction to Computer Science for IAF
Fall 2011-2012 20225221 Logic Programming
Fall 2011-2012 20214371 Topics in Sat Solving
Fall 2011-2012 20011011 Introduction to Computer Science for IAF
Fall 2011-2012 20211041 Introduction To Programming For Information Systems
Fall 2011-2012 20211011 Introduction to Computer Science
Spring 2012 20221181 Advanced Topics in Boolean Constraint Satisfiability
Fall 2012-2013 20211011 Introduction to Computer Science
Spring 2013 20221181 Advanced Topics in Boolean Constraint Satisfiability
Spring 2013 20225221 Logic Programming

Research groups

Logic and semantics
Programming languages