Dr. Mayer Goldberg

gmayer foto Assistant professor

Contacts

Email:
Homepage:
Office: 106 in 37 building
Phone number: 08-6477873
Fax number: 08-6477650
Box number: 44
Office hours: Mon 12:00-14:00

Teaching

Fall 2020-2021 20213021 Compiler Principles
Fall 2019-2020 20213021 Compiler Principles
Spring 2020 20221141 Advanced Programming Methods
Spring 2020 20224811 Introduction to Functional Programming
Fall 2018-2019 20213021 Compiler Principles
Spring 2019 20224811 Introduction to Functional Programming
Summer 2019 20012051 Principles of Programming Languages for IAF
Fall 2017-2018 20213021 Compiler Principles
Fall 2017-2018 20012051 Principles of Programming Languages for IAF
Spring 2018 20012051 Principles of Programming Languages for IAF
Spring 2018 20212091 Computer Architecture and system programming laboratory
Spring 2018 20212071 System Programming Laboratory
Summer 2018 20012051 Principles of Programming Languages for IAF
Fall 2016-2017 20214021 Project in Bioinformatics
Fall 2016-2017 20213021 Compiler Principles
Fall 2016-2017 20012051 Principles of Programming Languages for IAF
Spring 2017 20212091 Computer Architecture and system programming laboratory
Spring 2017 20214001 Research Project
Spring 2017 20012051 Principles of Programming Languages for IAF
Spring 2017 20224811 Introduction to Functional Programming
Fall 2015-2016 20213021 Compiler Principles
Fall 2015-2016 20012051 Principles of Programming Languages for IAF
Spring 2016 20214001 Research Project
Spring 2016 20012051 Principles of Programming Languages for IAF
Spring 2016 20221141 Advanced Programming Methods
Spring 2016 20214021 Project in Bioinformatics
Fall 2014-2015 20213021 Compiler Principles
Fall 2013-2014 20012051 Principles of Programming Languages for IAF
Fall 2013-2014 20213021 Compiler Principles
Spring 2014 20221141 Advanced Programming Methods
Fall 2012-2013 20213021 Compiler Principles
Spring 2013 20221141 Advanced Programming Methods
Fall 2011-2012 20213021 Compiler Principles
Fall 2011-2012 20012051 Principles of Programming Languages for IAF
Fall 2010-2011 20213021 Compiler Principles
Fall 2010-2011 20012051 Principles of Programming Languages for IAF
Spring 2011 20221141 Advanced Programming Methods
Spring 2011 20012051 Principles of Programming Languages for IAF
Fall 2009-2010 20213021 Compiler Principles
Spring 2010 20221141 Advanced Programming Methods
Fall 2008-2009 20213021 Compiler Principles
Spring 2009 20221141 Advanced Programming Methods
Fall 2007-2008 20213021 Compiler Principles
Spring 2008 20221141 Advanced Programming Methods
Fall 2006-2007 20213021 Compiler Principles
Spring 2007 20221141 Advanced Programming Methods
Fall 2005-2006 20213021 Compiler Principles
Spring 2006 20221141 Advanced Programming Methods
Fall 2004-2005 20213021 Compiler Principles
Spring 2005 20225231 Introduction to Functional Programming
Spring 2005 20221141 Advanced Programming Methods

Research groups

Logic and Semantics
Programming languages
Theorem proving and type theory