Mayer Goldberg's Homepage (‮מֵאִיר גּוֹלְדְּבֵּרְג‬)

Table of Contents

Everybody seems to understand that astronomers do astronomy because astronomy is interesting. Why don't they understand that I do computer science because computer science is interesting? And that I'd do it regardless of whether or not it made money for anybody?

Donald E. Knuth

1 Contact Information

2 Research

  1. Research Interests
    • The Lambda Calculus
    • Programming Languages
    • Functional Programming
    • Object-Oriented Programming
    • Computational Reflection
    • Continuations & Control
    • Interpretation & Compilation
    • Automated theorem proving (Coq, NuPRL, etc)
  2. Research Students
    1. Present research students
      • Lior Zur-Lotan (MSc, 2021)
    2. Past research students
      • Valery Frolov (MSc, 2012)
      • Guy Wiener (PhD, 2012)
      • Sonia Margulis (MSc, 2011)
      • Avi Shefi (MSc, 2009)
      • Yelena Lev (MSc, 2008)
      • Yigal Greenshpun (MSc, 2007)
      • Guy Wiener (MSc, 2007)
      • Assaf Shemesh (MSc, 2006)

3 Teaching

4 Departmental duties

5 Personal Interests

6 A website that is seriously out-of-date…

My apologies!

Since around 2014, I was having difficulties updating and managing my website. A combination of technical difficulties, changing platforms, and lack of time, all prevented me from keeping my website up-to-date. Anyway, I think I managed to solve many of the old problems, and get my website up and running again. I'm updating it continuously. So please stay turned! ☺

Author: Mayer Goldberg (‮מֵאִיר גּוֹלְדְּבֵּרְג‬)

Created: 2021-04-03 Sat 01:28